A Decidable Multi-agent Logic with Iterations of Upper and Lower Probability Operators.
Dragan DoderNenad SavicZoran OgnjanovicPublished in: FoIKS (2018)
Keyphrases
- multi agent
- computation tree logic
- epistemic logic
- probability theory
- bounded model checking
- multi agent systems
- quantum computation
- multi valued
- classical logic
- probability distribution
- linear time temporal logic
- cooperative
- modal operators
- modal logic
- morphological operators
- logic programming
- coalition formation
- intelligent agents
- candidate solutions
- agent oriented
- model checking
- deontic logic
- asynchronous circuits
- heterogeneous agents
- optimal solution
- datalog programs
- team formation
- automated reasoning
- conditional probabilities
- multiple agents
- monadic second order logic