A test battery for rational database updating
- 1 April 1996
- journal article
- research article
- Published by Elsevier in Artificial Intelligence
- Vol. 82 (1-2) , 341-352
- https://doi.org/10.1016/0004-3702(95)00127-1
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Knowledge-level analysis of belief base operationsArtificial Intelligence, 1996
- A survey of multiple contractionsJournal of Logic, Language and Information, 1994
- Reversing the Levi identityJournal of Philosophical Logic, 1993
- Theory contraction and base contraction unifiedThe Journal of Symbolic Logic, 1993
- Belief RevisionPublished by Cambridge University Press (CUP) ,1992
- Nonmonotonic reasoning, preferential models and cumulative logicsArtificial Intelligence, 1990
- Belief Revisions and the Ramsey Test for ConditionalsThe Philosophical Review, 1986
- On the logic of theory change: Partial meet contraction and revision functionsThe Journal of Symbolic Logic, 1985
- On the logic of theory change: Contraction functions and their associated revision functionsTheoria, 1982
- Subjunctives, dispositions and chancesSynthese, 1977