GK: Implementing Full First Order Default Logic for Commonsense Reasoning (System Description).
Tanel TammetDirk DraheimPriit JärvPublished in: IJCAR (2022)
Keyphrases
- commonsense reasoning
- default logic
- nonmonotonic reasoning
- default rules
- autoepistemic logic
- default reasoning
- logic programming
- default theories
- classical logic
- nonmonotonic logics
- first order logic
- logic programs
- incomplete information
- high level
- belief revision
- knowledge representation
- model theoretic
- fixed point
- defeasible logic
- event calculus
- modal logic
- possibility theory
- horn clauses
- programming language
- data model