General theory of cumulative inference

This publication has 13 references indexed in Scilit:

• On the relation between default and autoepistemic logic
  Artificial Intelligence, 1988
• Nonmonotonic Reasoning
  Annual Review of Computer Science, 1987
• On the logic of theory change: Partial meet contraction and revision functions
  The Journal of Symbolic Logic, 1985
• How to give it up: A survey of some formal aspects of the logic of theory change
  Synthese, 1985
• On the logic of theory change: Safe contraction
  Studia Logica, 1985
• Conditional Logic
  Published by Springer Nature ,1984
• Quick completeness proofs for some logics of conditionals.
  Notre Dame Journal of Formal Logic, 1981
• Circumscription—A form of non-monotonic reasoning
  Artificial Intelligence, 1980
• A logic for default reasoning
  Artificial Intelligence, 1980
• On Closed World Data Bases
  Published by Springer Nature ,1978