Tractable Closed World Reasoning with Updates

This publication has 12 references indexed in Scilit:

• A survey of complexity results for non-monotonic logics
  The Journal of Logic Programming, 1993
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
  Artificial Intelligence, 1992
• An Empirical Study of Sensing and Defaulting in Planning
  Published by Elsevier ,1992
• A circumscriptive theorem prover
  Artificial Intelligence, 1989
• Reasoning about action I
  Artificial Intelligence, 1988
• Planning for conjunctive goals
  Artificial Intelligence, 1987
• Closed-world databases and circumscription
  Artificial Intelligence, 1985
• Games against nature
  Journal of Computer and System Sciences, 1985
• On the Use of an Extended Relational Model to Handle Changing Incomplete Information
  IEEE Transactions on Software Engineering, 1985
• Circumscription—A form of non-monotonic reasoning
  Artificial Intelligence, 1980