Many-valued Logics for Reasoning: Essays in Honor of Lluís Godo on the Occasion of his 60th Birthday.
Didier DuboisFrancesc EstevaTommaso FlaminioCarles NogueraHenri PradeRicardo Oscar RodríguezPublished in: Soft Comput. (2019)
Keyphrases
- modal logic
- proof theory
- inheritance reasoning
- proof theoretic
- truth values
- computational properties
- horn logic
- expressive power
- intuitionistic logic
- decision procedures
- inference rules
- knowledge representation formalisms
- reasoning systems
- default reasoning
- knowledge base
- multi context systems
- reasoning process
- propositional logic
- temporal logic
- logic programs
- artificial intelligence
- knowledge representation and reasoning
- nonmonotonic logics
- reasoning tasks
- modal operators
- automated reasoning
- temporal reasoning
- propositional dynamic logic
- knowledge representation
- inconsistent knowledge