Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic.
Sopo PkhakadzeHans TompitsPublished in: Axioms (2020)
Keyphrases
- default logic
- nonmonotonic logics
- modal logic
- valued semantics
- default theories
- sequent calculi
- nonmonotonic reasoning
- inference rules
- default reasoning
- logic programming
- default rules
- autoepistemic logic
- classical logic
- defeasible logic
- temporal logic
- decision procedures
- general purpose
- logic programs
- answer sets
- fixed point
- relational databases
- knowledge base
- artificial intelligence