Contradiction: When avoidance equals removal Part I

This publication has 11 references indexed in Scilit:

• Contradiction: When avoidance equals removal Part II
  Published by Springer Nature ,1994
• An Abductive Framework for Generalized Logic Programs
  Published by MIT Press ,1993
• Scenario Semantics of Extended Logic Programs
  Published by MIT Press ,1993
• Reasoning with Inconsistency in Extended Deductive Databases
  Published by MIT Press ,1993
• Diagnosis and debugging as contradiction removal in logic programs
  Published by Springer Nature ,1993
• A database needs two kinds of negation
  Published by Springer Nature ,1991
• Problems and Promises of Computational Logic
  Published by Springer Nature ,1990
• A logical framework for default reasoning
  Artificial Intelligence, 1988
• Paraconsistent logic programming
  Published by Springer Nature ,1987
• On the theory of inconsistent formal systems.
  Notre Dame Journal of Formal Logic, 1974