InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions.
Steven KutschChristoph BeierlePublished in: IJCAI (2021)
Keyphrases
- nonmonotonic reasoning
- ranking functions
- belief revision
- conditional logic
- nonmonotonic inference
- inheritance reasoning
- default reasoning
- proof theoretic
- learning to rank
- logic programming
- default rules
- default logic
- commonsense reasoning
- ranking algorithm
- defeasible reasoning
- document retrieval
- web search
- nonmonotonic logics
- web search engines
- possibility theory
- supervised learning
- default theories
- web documents
- semantic web
- data sets
- general purpose
- truth maintenance systems
- temporal logic
- autoepistemic logic
- defeasible logic
- web pages
- feature set
- reinforcement learning
- theoretically sound
- multiple inheritance
- metadata
- knowledge base