Uncertainty-Based Semantics for Multi-Agent Knowing How Logics.
Carlos ArecesRaul FervariAndrés R. SaraviaFernando R. Velázquez-QuesadaPublished in: TARK (2021)
Keyphrases
- multi agent
- kripke models
- propositional dynamic logic
- epistemic logic
- nonmonotonic logics
- modal logic
- proof theory
- conditional logic
- valued semantics
- multi agent systems
- expressive power
- reinforcement learning
- logic programming
- agent communication
- cooperative
- proof theoretic
- multiple agents
- computational properties
- default reasoning
- default logic
- proof procedures
- uncertain information
- formal semantics
- reasoning about actions
- uncertain data
- autoepistemic logic
- semantic information
- modal operators
- higher order logic
- intuitionistic logic
- query language
- action theories
- team formation
- dynamic logic
- model theoretic
- incomplete information
- decision procedures
- operational semantics
- robust optimization
- inference rules