Ranking-based Conditional Semantics for Defeasible Subsumptions (Abstract of Invited Talk).
Gabriele Kern-IsbernerPublished in: Description Logics (2024)
Keyphrases
- invited talk
- conditional logic
- defeasible reasoning
- update semantics
- default reasoning
- nonmonotonic inference
- nonmonotonic reasoning
- default logic
- selected papers
- logic programming
- ranking algorithm
- knowledge discovery and data mining
- web search
- belief revision
- formal semantics
- argumentation frameworks
- defeasible logic
- nonmonotonic logics
- graphical representation
- program committee
- deontic logic
- default rules
- propositional dynamic logic
- cp nets
- default theories
- modal logic
- ranking functions
- practical reasoning
- attribute values
- knowledge discovery
- tableau calculus
- genetic algorithm