search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

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