A three-valued semantics for logic programmers.
Lee NaishPublished in: Theory Pract. Log. Program. (2006)
Keyphrases
- nonmonotonic logics
- valued semantics
- logic programming
- epistemic logic
- proof theory
- default logic
- modal logic
- sound and complete axiomatization
- sound and complete with respect
- propositional logic
- dynamic logic
- defeasible logic
- programming language
- proof theoretic
- propositional dynamic logic
- operational semantics
- default theories
- modal operators
- nonmonotonic reasoning
- conditional logic
- autoepistemic logic
- logical framework
- model theoretic
- consistent query answering
- deontic logic
- computational properties
- inference rules
- rule engine
- alternating time temporal logic
- proof procedures
- logic programs
- formal semantics
- algebraic structure
- formal language
- default reasoning
- classical logic
- temporal logic
- logical rules
- deductive databases
- abstract argumentation frameworks
- model checking
- active rules
- graphical interfaces
- software development
- object oriented
- reasoning tasks