A Logic for Characterizing Multiple Bounded Agents.

John Grant Sarit Kraus Donald Perlis

Published in: Auton. Agents Multi Agent Syst. (2000)

Keyphrases

multi agent systems
multi agent
mobile agents
cooperative
autonomous agents
dynamic environments
software agents
alternating time temporal logic
data sets
agent based simulation
single agent
multi valued
multiple agents
multiagent systems
coalition formation
agent technology
logic programming
decision making