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

      On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision

      Author(s):
      Publication date Created:
      Publication date (Print):
      Journal: Journal of Applied Non-Classical Logics
      Publisher: Lavoisier

      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 references9

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

          A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth

          Hans L. Bodlaender (1996)
          Article 0 comments Cited 247 times – based on 0 reviews     Review now
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            On the complexity of propositional knowledge base revision, updates, and counterfactuals

            Thomas Eiter, Georg Gottlob (1992)
            Article 0 comments Cited 23 times – based on 0 reviews     Review now
              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Characterizing diagnoses and systems

              Raymond Reiter, Alan K Mackworth, Johan de Kleer (1992)
              Article 0 comments Cited 20 times – based on 0 reviews     Review now
                Bookmark
                All references

                Author and article information

                Journal
                Title: Journal of Applied Non-Classical Logics
                Abbreviated Title: Journal of Applied Non-Classical Logics
                Publisher: Lavoisier
                ISSN (Print): 1166-3081
                ISSN (Electronic): 1958-5780
                Publication date Created: April 13 2012
                Publication date (Print): April 13 2012
                Volume: 11
                Issue: 1-2
                Pages: 11-34
                Article
                DOI: 10.3166/jancl.11.11-34
                SO-VID: 59a2f5ce-0578-4d37-8e3d-726e6fc7bbfb
                Copyright © © 2012
                History

                Data availability:

                Comments

                Comment on this article

                scite_

                Similar content2,731

                See all similar

                Cited by26

                See all cited by

                Most referenced authors35

                See all reference authors