Heterogenesis is an interactive sound and tactile installation consisting of a group of autonomous artificial agents that collectively generate and evolve a soundscape in response...
Carlos Castellanos, Diane Gromala, Philippe Pasqui...
We present a sound and complete logic for reasoning about SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL designed for the implementation of cog...
Natasha Alechina, Mehdi Dastani, Brian Logan, John...
We conducted psychological experiments in which participants were presented with artificial sounds that were intended to convey the attitudes of three different agents: a Mindstor...
Maintaining a sound reputation mechanism requires a robust control and investigation. In this paper, we propose a game-theoretic analysis of a reputation mechanism that objectivel...
Babak Khosravifar, Jamal Bentahar, Ahmad Moazin, P...
We present a sound and complete tableau calculus for a class BReg of extended regular modal logics which contains useful epistemic logics for reasoning about agent beliefs. Our cal...