A compact fixpoint semantics for term rewriting systems.
María AlpuenteMarco CominiSantiago EscobarMoreno FalaschiJosé IborraPublished in: Theor. Comput. Sci. (2010)
Keyphrases
- term rewriting systems
- fixpoint semantics
- logic programs
- fixpoint
- logic programming
- functional programs
- answer sets
- model theoretic
- answer set programming
- stable models
- deductive databases
- declarative semantics
- data complexity
- inductive logic programming
- datalog programs
- database
- horn clauses
- nonmonotonic reasoning
- general purpose