On the consistency of defeasible databases
- 31 December 1991
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 52 (2) , 121-149
- https://doi.org/10.1016/0004-3702(91)90039-m
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Nonmonotonic reasoning, preferential models and cumulative logicsArtificial Intelligence, 1990
- An approach to default reasoning based on a first-order conditional logic: Revised reportArtificial Intelligence, 1988
- Defeat among arguments: a system of defeasible inferenceComputational Intelligence, 1987
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- Linear-time algorithms for testing the satisfiability of propositional horn formulaeThe Journal of Logic Programming, 1984
- A logic for default reasoningArtificial Intelligence, 1980