Fixpoint Logics over Hierarchical Structures.
Stefan GöllerMarkus LohreyPublished in: Theory Comput. Syst. (2011)
Keyphrases
- hierarchical structures
- fixpoint
- proof theoretic
- logic programs
- deductive databases
- hierarchical structure
- finite state machines
- decision procedures
- expressive power
- modal logic
- model theoretic
- horn clauses
- structured documents
- answer sets
- nonmonotonic reasoning
- inference rules
- datalog programs
- background knowledge
- databases
- integrity constraints
- information extraction
- data structure