The virtues of idleness: A decidable fragment of resource agent logic.
Natasha AlechinaNils BullingBrian LoganHoang Nga NguyenPublished in: Artif. Intell. (2017)
Keyphrases
- automata theoretic
- multi agent systems
- multi agent
- temporal logic
- decision making
- reasoning engine
- dynamic logic
- first order logic
- multiagent systems
- resource allocation
- intelligent agents
- mobile agents
- multiple agents
- agent receives
- modal logic
- autonomous agents
- linear time temporal logic
- software agents
- automated reasoning
- multi valued
- guarded fragment
- agent programming
- regular path queries
- monadic second order logic
- agent model
- practical reasoning
- defeasible logic
- epistemic logic
- coordination mechanism
- decision theoretic
- classical logic
- logical framework
- agent systems
- agent technology
- agent architecture
- incomplete information
- np complete
- logic programming
- reinforcement learning