A Universal Fixpoint Semantics for Ordered Logic.
Els LaenensDirk VermeirPublished in: Comput. Artif. Intell. (2000)
Keyphrases
- fixpoint semantics
- general logic programs
- model theoretic
- logic programs
- deductive databases
- logic programming
- declarative semantics
- fixpoint
- datalog programs
- operational semantics
- closed world assumption
- description logics
- decision procedures
- modal logic
- autoepistemic logic
- data complexity
- artificial intelligence
- probabilistic reasoning
- automated reasoning
- defeasible logic
- logic programming language
- constraint satisfaction
- computational complexity