Blog
About

140
views
0
recommends
+1 Recommend
1 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Disjunctive Rules and Null Values: Logic Programs with Incomplete Information

      Proceedings of the International Workshop on Advances in Databases and Information Systems (ADBIS ‘96) (ADBIS)

      Advances in Databases and Information Systems

      10-13 September 1996

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          The introduction of negation in rule bodies of logic programs may lead to semantic ambiguities: Normal programs can have more than one stable model and the three-valued well-founded model may leave the truth status of some ground atoms undetermined. We show that this kind of ambiguity can be naturally combined with ambiguities caused by incomplete information. We define generalized notions of stable and well-founded models which allow to combine recursion, negation and incomplete information within a uniform framework. The well-founded approximation is composed of two not necessarily identical anti-monotonic operators. A general characterization of the best well-founded approximation is given.

          Programs with disjunctions, maybe tuples and null values are studied as examples of logic programs with incomplete information. What concerns null values, our approach can also be seen as a generalization of Biskup’s proposal for relational databases.

          Related collections

          Most cited references 11

          • Record: found
          • Abstract: not found
          • Article: not found

          Classical negation in logic programs and disjunctive databases

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            The Semantics of Predicate Logic as a Programming Language

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Semantical considerations on nonmonotonic logic

               Robert Moore (1985)
                Bookmark

                Author and article information

                Conference
                September 1996
                September 1996
                : 1-18
                Affiliations
                Institute of Computer Science III, University of Bonn

                Römerstr. 164, 53117 Bonn, Germany
                Article
                10.14236/ewic/ADBIS1996.12
                © Jürgen Kalinski. Published by BCS Learning and Development Ltd. Proceedings of the International Workshop on Advances in Databases and Information Systems (ADBIS ‘96). Moscow

                This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

                Proceedings of the International Workshop on Advances in Databases and Information Systems (ADBIS ‘96)
                ADBIS
                Moscow
                10-13 September 1996
                Electronic Workshops in Computing (eWiC)
                Advances in Databases and Information Systems
                Product
                Product Information: 1477-9358BCS Learning & Development
                Self URI (journal page): https://ewic.bcs.org/
                Categories
                Electronic Workshops in Computing

                Comments

                Comment on this article