From propositional to first-order monitoring
Andreas BauerJan-Christoph KüsterGil VegliachPublished in: CoRR (2013)
Keyphrases
- first order logic
- horn clauses
- classical first order logic
- general logic programs
- propositional logic
- monitoring system
- probabilistic logic
- real time
- higher order
- logic programs
- predicate calculus
- theorem proving
- answer set programs
- inference rules
- inductive logic programming
- logic programming
- neural network
- condition monitoring
- stochastic dominance
- logical theories
- probabilistic reasoning
- deductive databases