Context-Based Commonsense Reasoning in the DALI Logic Programming Language.
Stefania CostantiniArianna TocchioPublished in: CONTEXT (2003)
Keyphrases
- logic programming language
- commonsense reasoning
- logic programming
- nonmonotonic reasoning
- event calculus
- situation calculus
- knowledge representation
- classical logic
- constraint logic programming
- logic programs
- inference rules
- incomplete information
- answer set programming
- deductive databases
- reasoning tasks
- autoepistemic logic
- default logic
- answer sets
- missing information
- defeasible logic
- stable models
- constraint solving
- knowledge base
- default theories
- belief revision
- programming language
- possibility theory
- artificial intelligence
- formal theory