Keyphrases
- general logic programs
- linear temporal logic
- horn clauses
- first order logic
- higher order
- conditional logic
- monitoring system
- predicate calculus
- probabilistic logic
- sound and complete with respect
- logic programming
- logic programs
- real time
- quantifier free
- multi valued
- modal logic
- classical first order logic
- finite model theory
- predicate logic
- action theories
- model theoretic
- stochastic dominance
- neural network
- tool wear
- constraint propagation
- theorem proving
- inference rules
- data sets