Expressibility of First Order Logic with a Nondeterministic Inductive Operator.
Vikraman ArvindSomenath BiswasPublished in: STACS (1987)
Keyphrases
- first order logic
- inductive logic programming
- knowledge representation
- expressive power
- propositional logic
- theorem proving
- inference rules
- probabilistic reasoning
- theorem prover
- markov networks
- probabilistic graphical models
- inductive learning
- representation language
- transitive closure
- relational algebra
- machine learning
- constraint databases
- inductive inference
- horn clauses
- finite automata
- markov logic networks
- knowledge base
- finite state
- relational structures
- logic programs
- xml documents
- markov logic