: Default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases.
Christoph BeierleTobias FalkeSteven KutschGabriele Kern-IsbernerPublished in: Int. J. Approx. Reason. (2017)
Keyphrases
- conditional logic
- ranking functions
- default reasoning
- closed world reasoning
- knowledge base
- belief revision
- learning to rank
- nonmonotonic reasoning
- default logic
- web search
- ranking algorithm
- document retrieval
- web search engines
- dependency directed backtracking
- probabilistic logic
- probabilistic reasoning
- pairwise
- logic programming
- partial order
- description logics
- supervised learning
- belief change
- default rules
- search engine
- theory revision
- model theoretic
- feature set
- knowledge representation
- decision trees
- expert systems
- data sets
- background knowledge
- information retrieval
- machine learning