A Commonsense Reasoning Facility Based on the Entity-Relationship Model.

Veda C. Storey Robert C. Goldstein Roger H. L. Chiang Debabrata Dey

Published in: ER (1993)

Keyphrases

commonsense reasoning
nonmonotonic reasoning
event calculus
database design
incomplete information
knowledge representation
formal theory
relational model
autoepistemic logic
databases
classical logic
artificial intelligence
expert systems
situation calculus