On Notions of Inductive Validity for First-Oder Equational Clauses.
Claus-Peter WirthBernhard GramlichPublished in: CADE (1994)
Keyphrases
- horn clauses
- inductive logic programming
- first order logic
- theorem proving
- inductive learning
- lattice theory
- background knowledge
- propositional theories
- theorem prover
- knowledge representation
- search space
- concept learning
- consequence finding
- computational problems
- inductive inference
- inference rules
- machine learning
- neural network
- key properties
- function symbols
- data sets
- boolean formulae
- domain knowledge
- np hard
- relational databases
- case study
- information systems
- databases