Conditional Normative Reasoning with Substructural Logics.
Clayton PetersonPiotr KulickiPublished in: DEON (2016)
Keyphrases
- propositional calculus
- nonmonotonic inference
- conditional logic
- proof theory
- default reasoning
- inheritance reasoning
- computational properties
- knowledge base
- modal logic
- proof theoretic
- expressive power
- knowledge representation formalisms
- nonmonotonic reasoning
- knowledge representation
- model based reasoning
- horn logic
- intuitionistic logic
- multi context systems
- cp nets
- knowledge representation and reasoning
- belief revision
- automated reasoning
- decision procedures
- reasoning process
- qualitative reasoning
- multi agent
- inference rules
- autonomous agents
- random field model
- classical logic
- multi agent systems