Predicate Invention and the Revision of First-Order Concept Lattices.
Michael BainPublished in: ICFCA (2004)
Keyphrases
- concept lattice
- predicate invention
- higher order
- inductive logic programming
- theory revision
- formal concept analysis
- first order logic
- relational learning
- formal contexts
- statistical relational learning
- background knowledge
- galois lattices
- association rule mining
- formal concepts
- context free grammars
- horn clauses
- rough set theory
- rough sets
- belief revision
- knowledge base
- knowledge discovery
- classification rules
- logic programs
- probabilistic logic
- context free
- attribute values
- knowledge representation
- association rules
- probabilistic reasoning
- default reasoning
- semi supervised
- domain knowledge
- prior knowledge