Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDALT 2012: Valencia, Spain
- Matteo Baldoni, Louise A. Dennis, Viviana Mascardi, Wamberto Weber Vasconcelos:
Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7784, Springer 2013, ISBN 978-3-642-37889-8
Invited Papers
- Duangtida Athakravi, Domenico Corapi, Alessandra Russo
, Marina De Vos, Julian A. Padget, Ken Satoh:
Handling Change in Normative Specifications. 1-19 - Federico Bergenti, Giovanni Caire, Danilo Gotta:
Latest Developments of WADE to Support User-Centric Business Processes. 20-36 - Pere Pardo, Mehrnoosh Sadrzadeh:
Strong Planning in the Logics of Communication and Change. 37-56 - Luke Trodd, James Harland, John Thangarajah:
Agent Deliberation via Forward and Backward Chaining in Linear Logic. 57-75
Contributed Papers
- Davide Ancona, Sophia Drossopoulou, Viviana Mascardi:
Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason. 76-95 - Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Elisa Marengo, Viviana Patti:
A Generalized Commitment Machine for 2CL Protocols and Its Implementation. 96-115 - Stefano Bistarelli, Giorgio Gosti, Francesco Santini:
Solving Fuzzy Distributed CSPs: An Approach with Naming Games. 116-135 - Akin Günay, Michael Winikoff, Pinar Yolum:
Commitment Protocol Generation. 136-152 - Wietske Visser, Koen V. Hindriks, Catholijn M. Jonker:
Goal-Based Qualitative Preference Systems. 153-169 - Bozena Wozna-Szczesniak, Andrzej Zbrzezny:
SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems. 170-189
Position Papers
- Matteo Baldoni, Cristina Baroglio:
Some Thoughts about Commitment Protocols - (Position Paper). 190-196 - Viviana Mascardi, James A. Hendler, Laura Papaleo:
Semantic Web and Declarative Agent Languages and Technologies: Current and Future Trends - (Position Paper). 197-202 - Alessandro Solimando, Riccardo Traverso:
Designing and Implementing a Framework for BDI-Style Communicating Agents in Haskell - (Position Paper). 203-207
a service of 
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.
last updated on 2024-04-18 20:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
