Logical Formalizations of Commonsense Reasoning, Papers from the 2011 AAAI Spring Symposium, Technical Report SS-11-06, Stanford, California, USA, March 21-23, 2011
Published in: AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Keyphrases
- technical report
- commonsense reasoning
- autoepistemic logic
- event calculus
- nonmonotonic reasoning
- incomplete information
- situation calculus
- default logic
- knowledge representation
- classical logic
- formal theory
- logic programs
- artificial intelligence
- model theoretic
- modal logic
- stanford university
- logic programming
- default theories
- selected papers
- invited talk
- default reasoning
- belief revision
- data management