Abstract is missing.
- Dynamics of Declarative Goals in Agent ProgrammingM. Birna van Riemsdijk, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer. 1-18 [doi]
- Theories of Intentions in the Framework of Situation CalculusMaria del Pilar Pozos Parra, Abhaya C. Nayak, Robert Demolombe. 19-34 [doi]
- Partial Deduction for Linear Logic-The Symbolic Negotiation PerspectivePeep Küngas, Mihhail Matskin. 35-52 [doi]
- On Modelling Multi-agent Systems DeclarativelyAndrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni. 53-68 [doi]
- The Semantics of MALLET-An Agent Teamwork Encoding LanguageXiaocong Fan, John Yen, Michael S. Miller, Richard A. Volz. 69-91 [doi]
- Construction of an Agent-Based Framework for Evolutionary Biology: A Progress ReportYu Pan, Phan Huy Tu, Enrico Pontelli, Tran Cao Son. 92-111 [doi]
- Reasoning About Agents Interaction Protocols Inside DCaseLPMatteo Baldoni, Cristina Baroglio, Ivana Gungui, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Viviana Patti, Claudio Schifanella. 112-131 [doi]
- Model Checking Agent DialoguesChristopher D. Walton. 132-147 [doi]
- Modeling and Verification of Distributed Autonomous Agents Using Logic ProgrammingL. Robert Pokorny, C. R. Ramakrishnan. 148-165 [doi]
- Norm Verification and Analysis of Electronic InstitutionsWamberto Weber Vasconcelos. 166-182 [doi]
- A Lightweight Coordination Calculus for Agent SystemsDavid Robertson. 183-197 [doi]
- Enhancing Commitment MachinesMichael Winikoff, Wei Liu, James Harland. 198-220 [doi]
- A Protocol for Resource Sharing in Norm-Governed Ad Hoc NetworksAlexander Artikis, Lloyd Kamara, Jeremy Pitt, Marek J. Sergot. 221-238 [doi]
- Intensional Programming for Agent CommunicationVasu S. Alagar, Joey Paquet, Kaiyu Wan. 239-255 [doi]
- The Logic of Communication GraphsEric Pacuit, Rohit Parikh. 256-269 [doi]
- Representational Content and the Reciprocal Interplay of Agent and EnvironmentTibor Bosse, Catholijn M. Jonker, Jan Treur. 270-288 [doi]