An iterative approach to precondition inference using constrained Horn clauses.
Bishoksan KafleJohn P. GallagherGraeme GangePeter SchachteHarald SøndergaardPeter J. StuckeyPublished in: CoRR (2018)
Keyphrases
- horn clauses
- first order logic
- inductive logic programming
- inference rules
- conceptual clustering
- logic programs
- lattice theory
- inference process
- database queries
- bayesian networks
- function symbols
- expert systems
- belief networks
- efficient learning
- probabilistic inference
- machine learning
- background knowledge
- decision trees