How to reason defeasibly

This publication has 17 references indexed in Scilit:

• A general framework for reason maintenance
  Artificial Intelligence, 1991
• A skeptical theory of inheritance in nonmonotonic semantic networks
  Artificial Intelligence, 1990
• All I know: A study in autoepistemic logic
  Artificial Intelligence, 1990
• A circumscriptive theorem prover
  Artificial Intelligence, 1989
• Defeat among arguments: a system of defeasible inference
  Computational Intelligence, 1987
• Formalizing nonmonotonic reasoning systems
  Artificial Intelligence, 1987
• The Reference Class
  Philosophy of Science, 1983
• Non-monotonic logic I
  Artificial Intelligence, 1980
• A truth maintenance system
  Artificial Intelligence, 1979
• Limiting recursion
  The Journal of Symbolic Logic, 1965