A theory of nonmonotonic inheritance based on annotated logic

This publication has 8 references indexed in Scilit:

• RI: a logic for reasoning with inconsistency
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Bilattices and the semantics of logic programming
  The Journal of Logic Programming, 1991
• A skeptical theory of inheritance in nonmonotonic semantic networks
  Artificial Intelligence, 1990
• Paraconsistent logic programming
  Theoretical Computer Science, 1989
• Default reasoning in semantic networks: A formalization of recognition and inheritance
  Artificial Intelligence, 1989
• Multivalued logics: a uniform approach to reasoning in artificial intelligence
  Computational Intelligence, 1988
• A logical framework for default reasoning
  Artificial Intelligence, 1988
• An approach to default reasoning based on a first-order conditional logic: Revised report
  Artificial Intelligence, 1988