The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes.
Konstantinos MamourasPublished in: ACM Trans. Comput. Log. (2016)
Keyphrases
- deductive databases
- datalog programs
- logic programming
- fully observable
- transitive closure
- modal logic
- valued logic
- multi valued
- predicate logic
- complex objects
- black box
- query answering
- computational properties
- multi agent systems
- proof theory
- defeasible logic
- fixpoint
- finite state
- query evaluation
- logical framework
- planning problems