Periodicity based decidable classes in a first order timed logic.
Danièle BeauquierAnatol SlissenkoPublished in: Ann. Pure Appl. Log. (2006)
Keyphrases
- first order logic
- finite model theory
- unions of conjunctive queries
- data exchange
- petri net
- horn clauses
- classical first order logic
- probabilistic logic
- general logic programs
- quantifier free
- higher order
- linear temporal logic
- logic programming
- automated reasoning
- predicate calculus
- sound and complete with respect
- timed automata
- knowledge representation
- conditional logic
- expressive power
- query answering
- conjunctive queries
- inductive logic programming
- quantifier elimination
- function symbols
- default reasoning
- logical formulas
- propositional logic
- inference rules
- multi valued
- linear time temporal logic
- action theories
- monadic second order logic
- model theoretic
- classical logic
- data model