Nonmonotonic reasoning, preferential models and cumulative logics

Publisher Website

1 July 1990

journal article
Published by Elsevier in Artificial Intelligence

Vol. 44 (1-2) , 167-207
https://doi.org/10.1016/0004-3702(90)90101-5

Abstract

No abstract available

Keywords

All Related Versions

Version 1, 2002-02-18, ArXiv (Unconfirmed version)

This publication has 16 references indexed in Scilit:

An approach to default reasoning based on a first-order conditional logic: Revised report
Artificial Intelligence, 1988
A first-order conditional logic for prototypical properties
Artificial Intelligence, 1987
On the satisfiability of circumscription
Artificial Intelligence, 1986
On the adequacy of predicate circumscription for closed‐world reasoning
Computational Intelligence, 1985
Quick completeness proofs for some logics of conditionals.
Notre Dame Journal of Formal Logic, 1981
Non-monotonic logic I
Artificial Intelligence, 1980
Circumscription—A form of non-monotonic reasoning
Artificial Intelligence, 1980
Completeness and decidability of three logics of counterfactual conditionals¹
Theoria, 1971
An axiomatic basis for computer programming
Communications of the ACM, 1969
Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. I
Monatshefte für Mathematik, 1930