Computational Aspects of Logics in Team Semantics (Tutorial).
Juha KontinenPublished in: STACS (2017)
Keyphrases
- propositional dynamic logic
- nonmonotonic logics
- proof theory
- epistemic logic
- conditional logic
- expressive power
- valued semantics
- higher order logic
- formal semantics
- agent oriented programming language
- autoepistemic logic
- classical logic
- default logic
- inference rules
- modal logic
- proof theoretic
- logic programming
- default reasoning
- computational properties
- team members
- semantic information
- proof procedures
- belief revision
- neural network
- intuitionistic logic
- model checking
- consistent query answering
- knowledge representation formalisms
- valued logic
- dynamic logic
- virtual teams
- logical framework