Confidences for Commonsense Reasoning.

Tanel Tammet Dirk Draheim Priit Järv

Published in: CADE (2021)

Keyphrases

commonsense reasoning
nonmonotonic reasoning
incomplete information
event calculus
knowledge representation
formal theory
classical logic
missing information
autoepistemic logic
stereo vision
software engineering
natural language
relational databases
domain specific
model checking
partially ordered