Login / Signup
Tutorial: Automating Commonsense Reasoning.
Gopal Gupta
Elmer Salazar
Sarat Chandra Varanasi
Kinjal Basu
Joaquín Arias
Farhad Shakerin
Fang Li
Huaduo Wang
Published in:
ICLP Workshops (2022)
Keyphrases
</>
commonsense reasoning
nonmonotonic reasoning
knowledge representation
event calculus
incomplete information
classical logic
formal theory
missing information
default reasoning
possibility theory
high level
expert systems
logic programming
belief revision
mathematical models
autoepistemic logic