FPsolve: A Generic Solver for Fixpoint Equations over Semirings.
Javier EsparzaMichael LuttenbergerMaximilian SchlundPublished in: CIAA (2014)
Keyphrases
- fixpoint
- logic programs
- deductive databases
- difference equations
- finite state machines
- fixpoint semantics
- datalog programs
- constraint satisfaction problems
- answer sets
- stable models
- update rule
- nonmonotonic reasoning
- logic programming
- model theoretic
- proof theoretic
- horn clauses
- database
- integrity constraints
- xml documents
- query evaluation
- search space