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