Completeness for Counter-doxa Conditionals - using Ranking Semantics.
Eric RaidlPublished in: Rev. Symb. Log. (2019)
Keyphrases
- conditional logic
- ranking algorithm
- default rules
- formal semantics
- default reasoning
- web search
- logic programming
- learning to rank
- link analysis
- modal logic
- proof theoretic
- temporal logic
- rank order
- ranking functions
- evaluation measures
- epistemic states
- proof theory
- nonmonotonic reasoning
- database systems
- data quality
- logic programs
- relational databases