 | The Semantics of MALLET - An Agent Teamwork Encoding Language [PDF]
Xiaocong Fan, John Yen, Michael Miller, Richard Volz
|
| Dynamics of Declarative Goals in Agent Programming [PDF]
M. Birna van Riemsdijk, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer
|
| Theories of Intentions in the framework of Situation Calculus [PDF]
Pilar Pozos-Parra, Abhaya Nayak, Robert Demolombe
|
| The Logic of Knowledge Based Obligation [PDF]
Rohit Parikh, Eric Pacuit, Eva Cogan |
| Representational Content and the Reciprocal Interplay of Agent and Environment
[PDF]
Tibor Bosse, Catholijn M. Jonker, Jan Treur
|
| On modelling declaratively multi-agent systems [PDF]
A. Bracciali, P. Mancarella, K. Stathis, F. Toni
|
| Modeling Flexible Business Processes [PDF]
Amit K. Chopra, Ashok U. Mallya, Nirmit V. Desai, Munindar P. Singh
|
| MASAQ: A Multi-Agent System for Answering Questions Based on an Encyclopedic
Knowledge Base [PDF]
Qiangze Feng, Cungen Cao, Yuefei Sui, Yufei Zheng, Qianfu Qin
|
| Construction of an Agent-based Framework for Evolutionary Biology: A Progress
Report [PDF]
Yu Pan, Tu Phan, Enrico Pontelli, Son Cao Tran
|
| Norm Verification and Analysis of Electronic Institutions [PDF]
Wamberto Weber Vasconcelos |
| Model Checking Agent Dialogues [PDF]
Christopher Walton |
| Modeling and Verification of Distributed Autonomous Agents using Logic
Programming [PDF]
L. Robert Pokorny, C. R, Ramakrishnan |
| A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks [PDF]
Alexander Artikis, Lloyd Kamara, Jeremy Pitt, Marek Sergot
|
| A Paraconsistent Approach for Evaluation of Offers in Multiagent Negotiation
[PDF]
Fabiano Mitsuo Hasegawa, Braulio Coelho Avila, Marcos Augusto Hochuli Shmeil
|
| Partial Deduction for Linear Logic---The Symbolic Negotiation Perspective
[PDF]
Peep Küngas, Mihhail Matskin |
| A Lightweight Coordination Calculus for Agent Social Norms [PDF]
David Robertson |
| Reasoning about Communicating Agents inside DCaseLP [PDF]
Matteo Baldoni, Cristina Baroglio, Ivana Gungui, Alberto Martelli, Maurizio
Martelli, Viviana Mascardi, Viviana Patti, Claudio Schifanella |
| Intensional Programming for Agent Communication [PDF]
Vasu S. Alagar, Joey Paquet, Kaiyu Wan |
| The logic for communication graphs [PDF]
Eric Pacuit, Rohit Parikh |
| Enhancing Commitment Machines [PDF]
Michael Winikoff, Wei Liu, James Harland |
