A Formalism Unifying Defeasible Logics and Repair Semantics for Existential Rules.
Abdelraouf HechamPierre BisquertMadalina CroitoruPublished in: ICCS (2020)
Keyphrases
- default logic
- default rules
- rule language
- knowledge representation formalisms
- nonmonotonic logics
- highly expressive
- computational properties
- proof theoretic
- defeasible reasoning
- argumentation frameworks
- update semantics
- modal operators
- valued semantics
- defeasible logic
- conflicting information
- reasoning mechanisms
- conditional logic
- propositional dynamic logic
- conceptual graphs
- proof theory
- tableau calculus
- consistent query answering
- epistemic logic
- default reasoning
- expressive power
- inheritance reasoning
- default theories
- transformation rules
- logic programming
- formal semantics
- business rules
- knowledge representation
- description logic programs
- logical framework
- intuitionistic logic
- nonmonotonic reasoning
- association rules
- existentially quantified
- logical language
- modal logic
- classical logic
- formal language
- multiple inheritance
- production rules
- multi context systems
- active rules
- operational semantics
- autoepistemic logic
- inconsistent databases
- owl ontologies
- deontic logic
- query answering
- abstract argumentation frameworks
- argumentation semantics
- situation calculus
- valued logic
- knowledge base