Instantial Relevance in Polyadic Inductive Logic.
Jürgen LandesJeff B. ParisAlena VencovskáPublished in: ICLA (2009)
Keyphrases
- deductive reasoning
- classical logic
- inductive learning
- modal logic
- logic programming
- functional programs
- recursive programs
- predicate logic
- proof theory
- logical framework
- information retrieval
- program synthesis
- artificial intelligence
- multi valued
- machine learning
- neural network
- defeasible logic
- rule learning
- inductive reasoning
- real time
- information retrieval systems
- relevance feedback
- knowledge representation
- computational properties
- set theory
- relevance ranking
- formal theory
- test collection
- delay insensitive
- expert systems
- databases