Making inconsistency respectable: Part 2 — Meta-level handling of inconsistency

This publication has 9 references indexed in Scilit:

• A conceptualization of preferences in non-monotonic proof theory
  Published by Springer Nature ,2005
• Tolerating inconsistency (software development)
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Making inconsistency respectable: A logical framework for inconsistency in reasoning, part I — A position paper
  Published by Springer Nature ,1991
• MetateM: A framework for programming in temporal logic
  Published by Springer Nature ,1990
• The declarative past and imperative future
  Published by Springer Nature ,1989
• An assumption-based TMS
  Artificial Intelligence, 1986
• On the semantics of updates in databases
  Published by Association for Computing Machinery (ACM) ,1983
• A truth maintenance system
  Artificial Intelligence, 1979
• On the theory of inconsistent formal systems.
  Notre Dame Journal of Formal Logic, 1974