Axioms and (counter) examples in synthetic domain theory.
Jaap van OostenAlex K. SimpsonPublished in: Ann. Pure Appl. Log. (2000)
Keyphrases
- domain theory
- counter examples
- explanation based learning
- inductive learning
- background knowledge
- domain knowledge
- complex domains
- domain specific knowledge
- logic programs
- lazy learning
- knowledge base
- knowledge based neural networks
- case base
- training examples
- answer sets
- first order logic
- version spaces
- knowledge acquisition
- relational databases
- metadata
- orders of magnitude
- general purpose
- object oriented
- small number