Sequence Semantics for Normative Agents.
Guido GovernatoriFrancesco OlivieriErica CalardoAntonino RotoloMatteo CristaniPublished in: PRIMA (2016)
Keyphrases
- multi agent systems
- multi agent
- dynamic logic
- multiple agents
- agent behavior
- normative systems
- logical framework
- autonomous agents
- dynamic environments
- multiagent systems
- cooperative
- formal semantics
- alternating time temporal logic
- epistemic logic
- artificial agents
- agent systems
- agent oriented programming language
- agent architecture
- intelligent agents
- software agents
- agent technology
- decision making
- distributed agents
- interacting agents
- speech acts
- incomplete information
- agent based simulation
- state transitions
- logic programming
- communicative acts
- mental attitudes
- coalition formation
- resource allocation
- semantic information
- operational semantics
- electronic institutions
- agent communication language
- query language