Semantic Characterizations of AGM Revision for Tarskian Logics.
Faiq Miftakhul FalakhSebastian RudolphKai SauerwaldPublished in: RuleML+RR (2022)
Keyphrases
- belief revision
- horn logic
- belief change
- conditional logic
- propositional logic
- minimal change
- default reasoning
- expressive power
- temporal logic
- modal logic
- knowledge base
- belief update
- epistemic states
- natural language
- revision operators
- semantic analysis
- semantic similarity
- proof theory
- semantic information
- domain specific
- horn contraction
- semantic features
- iterated belief revision
- belief base
- logical framework
- semantic network
- semantic annotation
- high level
- epistemic logic
- nonmonotonic reasoning
- semantic web