C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Definability and Commonsense Reasoning.
Gianni Amati
Luigia Carlucci Aiello
Fiora Pirri
Published in:
Artif. Intell. (1997)
Keyphrases
</>
commonsense reasoning
nonmonotonic reasoning
fixed point
event calculus
incomplete information
propositional logic
knowledge representation
classical logic
formal theory
general purpose
logic programming
partially ordered
missing information
default logic
default reasoning
autoepistemic logic