Axiomatization of Credulous Reasoning in Default Logics using Sequent Calculus.
Mihaiela LupeaPublished in: SYNASC (2008)
Keyphrases
- default logic
- sequent calculus
- modal logic
- default rules
- default reasoning
- situation calculus
- cut elimination
- nonmonotonic reasoning
- inference rules
- default theories
- linear logic
- logic programming
- disjunctive logic programs
- nonmonotonic inference
- truth maintenance systems
- reasoning tasks
- classical logic
- autoepistemic logic
- proof theory
- nonmonotonic logics
- decision procedures
- temporal logic
- commonsense reasoning
- fixed point
- logical framework
- knowledge representation and reasoning
- natural deduction
- linear time temporal logic
- knowledge base
- reasoning problems
- defeasible logic
- general purpose
- knowledge representation
- relational databases