From Propositional to First-Order Monitoring.
Andreas BauerJan-Christoph KüsterGil VegliachPublished in: RV (2013)
Keyphrases
- first order logic
- horn clauses
- classical first order logic
- monitoring system
- propositional logic
- real time
- higher order
- probabilistic logic
- general logic programs
- logic programming
- model theoretic
- predicate calculus
- inductive logic programming
- decomposable negation normal form
- dynamic logic
- theorem proving
- neural network
- inference rules
- description logics
- sensor networks
- intensive care
- knowledge representation
- quantifier elimination
- logical theories
- learning algorithm
- machine learning