KI - Künstliche Intelligenz · 2017 · 13 citations · 19 references
ComputingComputer EngineeringComputer ScienceAlgorithmsFault-tolerant ComputingFault-tolerant SystemsAssertion-based VerificationFault DetectionReliable System DesignSoftware Fault ToleranceVerificationAssertion CheckingAssertional ReasoningError ReductionPolynomial OptimizationPolynomial-time Algorithms
19
Consistent query answers in inconsistent databases
Marcelo Arenas, Leopoldo Bertossi, Jan Chomicki · 1999 · 887 citations · Full text
2009 · 495 citations
Preferred subtheories: an extended logical framework for default reasoning
Gerhard Brewka · 1989 · 422 citations
On inference from inconsistent premisses
Nicholas Rescher, Ruth Manor · Theory and Decision · 1970 · 314 citations