First-Order Future Interval Logic.
George KuttyLouise E. MoserP. M. Melliar-SmithLaura K. DillonY. S. RamakrishnaPublished in: ICTL (1994)
Keyphrases
- linear temporal logic
- long term
- general logic programs
- higher order
- logic programming
- quantifier free
- automated reasoning
- horn clauses
- first order logic
- predicate calculus
- conditional logic
- classical first order logic
- quantifier elimination
- model theoretic
- probabilistic logic
- modal logic
- set theory
- classical logic
- inference rules
- temporal logic
- database