Quantification and Commonsense Reasoning.

Walid S. Saba Jean-Pierre Corriveau

Published in: AAAI/IAAI (1997)

Keyphrases

commonsense reasoning
nonmonotonic reasoning
event calculus
incomplete information
knowledge representation
formal theory
classical logic
missing information
machine learning
multi agent systems
expert systems
temporal reasoning
transitive closure