Minimal Tolerance Pairs for System Z-Like Ranking Functions for First-Order Conditional Knowledge Bases.
Christoph BeierleTobias FalkeSteven KutschGabriele Kern-IsbernerPublished in: FLAIRS Conference (2016)
Keyphrases
- ranking functions
- knowledge base
- theory revision
- learning to rank
- conditional logic
- document retrieval
- web search engines
- web search
- ranking algorithm
- supervised learning
- belief revision
- pairwise
- description logics
- knowledge representation
- first order logic
- scoring function
- directly optimize
- logic programming
- nonmonotonic reasoning
- preference learning
- information retrieval
- feature set
- default reasoning
- learning environment
- decision trees
- learning algorithm
- ranking svm
- minimal models