For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
28
views
36
references
 Top references
cited by
22
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      3,465
      similar
       All similar
      • Record: found
      • Abstract: not found
      • Article: not found

      Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation

      Author(s): , ,
      Publication date Created:
      Publication date (Print):
      Journal: Information and Computation
      Publisher: Elsevier BV

      Read this article at

      ScienceOpenPublisher
      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.

          Related collections

          Most cited references36

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

          A Computing Procedure for Quantification Theory

          Martin Davis, Hilary Putnam (1960)
          Article 0 comments Cited 222 times – based on 0 reviews     Review now
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Classical negation in logic programs and disjunctive databases

            Michael Gelfond, Vladimir Lifschitz (1991)
            Article 0 comments Cited 221 times – based on 0 reviews     Review now
              Bookmark
              • Record: found
              • Abstract: not found
              • Conference Proceedings: not found

              The complexity of relational query languages (Extended Abstract)

              Moshe Vardi (1982)
              Article 0 comments Cited 92 times – based on 0 reviews
                Bookmark
                All references

                Author and article information

                Journal
                Title: Information and Computation
                Abbreviated Title: Information and Computation
                Publisher: Elsevier BV
                ISSN (Print): 08905401
                Publication date Created: June 1997
                Publication date (Print): June 1997
                Volume: 135
                Issue: 2
                Pages: 69-112
                Article
                DOI: 10.1006/inco.1997.2630
                SO-VID: 90cc47c5-d840-4266-981c-f466b6cb9424
                Copyright © © 1997
                License:

                http://www.elsevier.com/tdm/userlicense/1.0/

                History

                Data availability:

                Comments

                Comment on this article