![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
DALT 2008: Estoril, Portugal
- Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff:
Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers. Lecture Notes in Computer Science 5397, Springer 2009, ISBN 978-3-540-93919-1
Invited Papers
- Nicoletta Fornara
, Marco Colombetti:
Specifying and Enforcing Norms in Artificial Institutions. 1-17 - Bastin Tony Roy Savarimuthu, Maryam Purvis, Martin K. Purvis, Stephen Cranefield
:
Social Norm Emergence in Virtual Agent Societies. 18-28 - Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa:
A Distributed Normative Infrastructure for Situated Multi-agent Organisations. 29-46
Contributed Papers
- Jan M. Broersen:
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications. 47-59 - Mehdi Dastani, Koen V. Hindriks
, Peter Novák, Nick A. M. Tinnemeier:
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages. 60-74 - Dimitar P. Guelev, Catalin Dima:
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions. 75-90 - Thomas Klapiscak, Rafael H. Bordini:
JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies. 91-110 - Felipe Rech Meneguzzi
, Michael Luck
:
Leveraging New Plans in AgentSpeak(PL). 111-127 - Azzurra Ragone
, Tommaso Di Noia
, Eugenio Di Sciascio
, Francesco M. Donini
:
Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading. 128-142 - Chiaki Sakama:
Inductive Negotiation in Answer Set Programming. 143-160 - Michal P. Sindlar, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer:
Mental State Abduction of BDI-Based Agents. 161-178 - Yoshitaka Suzuki, Satoshi Tojo, Stijn De Saeger:
Iterated Belief Revision in the Face of Uncertain Communication. 179-196 - Emmanuel M. Tadjouddine, Frank Guerin, Wamberto Weber Vasconcelos:
Abstracting and Verifying Strategy-Proofness for Auction Mechanisms. 197-214 - Koen V. Hindriks
, M. Birna van Riemsdijk
:
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming. 215-232 - Jamal Bentahar
, Mohamed Mbarki, John-Jules Ch. Meyer, Bernard Moulin:
Strategic Agent Communication: An Argumentation-Driven Approach. 233-250
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.