On the consistency of defeasible databases
From MaRDI portal
Publication:1190793
DOI10.1016/0004-3702(91)90039-MzbMath0749.68026MaRDI QIDQ1190793
Judea Pearl, Moisés Goldszmidt
Publication date: 26 September 1992
Published in: Artificial Intelligence (Search for Journal in Brave)
68P15: Database theory
68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
68N17: Logic programming
Related Items
Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in SystemP, Generalizing inference rules in a coherence-based probabilistic default reasoning, Probabilistic logic under coherence: complexity and algorithms, Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: complexity, algorithms, and implementation, Conditional entailment: bridging two approaches to default reasoning., A unified model of qualitative belief change: a dynamical systems perspective, Modal logics for qualitative possibility theory, From ordering-based nonmonotonic reasoning to conditional logics, Unifying default reasoning and belief revision in a modal framework, Conditional logics of normality: A modal approach, Default reasoning from conditional knowledge bases: Complexity and tractable cases, Abduction as belief revision, Preserving confidentiality while reacting on iterated queries and belief revisions, Probabilistic description logic programs under inheritance with overriding for the semantic Web, Expressive probabilistic description logics, Weak nonmonotonic probabilistic logics
Cites Work
- An approach to default reasoning based on a first-order conditional logic: Revised report
- A logic for default reasoning
- Nonmonotonic reasoning, preferential models and cumulative logics
- The logic of conditionals. An application of probability to deductive logic
- Erratum to: ``What does a conditional knowledge base entail?
- Linear-time algorithms for testing the satisfiability of propositional horn formulae
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
