default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 153 matches
- 2013
- 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 [contents] - 2012
- Davide Ancona, Sophia Drossopoulou, Viviana Mascardi:
Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason. DALT 2012: 76-95 - Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh:
Handling Change in Normative Specifications. DALT 2012: 1-19 - Matteo Baldoni, Cristina Baroglio:
Some Thoughts about Commitment Protocols - (Position Paper). DALT 2012: 190-196 - Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Elisa Marengo, Viviana Patti:
A Generalized Commitment Machine for 2CL Protocols and Its Implementation. DALT 2012: 96-115 - Federico Bergenti, Giovanni Caire, Danilo Gotta:
Latest Developments of WADE to Support User-Centric Business Processes. DALT 2012: 20-36 - Stefano Bistarelli, Giorgio Gosti, Francesco Santini:
Solving Fuzzy Distributed CSPs: An Approach with Naming Games. DALT 2012: 116-135 - Akin Günay, Michael Winikoff, Pinar Yolum:
Commitment Protocol Generation. DALT 2012: 136-152 - Viviana Mascardi, James A. Hendler, Laura Papaleo:
Semantic Web and Declarative Agent Languages and Technologies: Current and Future Trends - (Position Paper). DALT 2012: 197-202 - Pere Pardo, Mehrnoosh Sadrzadeh:
Strong Planning in the Logics of Communication and Change. DALT 2012: 37-56 - Alessandro Solimando, Riccardo Traverso:
Designing and Implementing a Framework for BDI-Style Communicating Agents in Haskell - (Position Paper). DALT 2012: 203-207 - Luke Trodd, James Harland, John Thangarajah:
Agent Deliberation via Forward and Backward Chaining in Linear Logic. DALT 2012: 57-75 - Wietske Visser, Koen V. Hindriks, Catholijn M. Jonker:
Goal-Based Qualitative Preference Systems. DALT 2012: 153-169 - Bozena Wozna-Szczesniak, Andrzej Zbrzezny:
SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems. DALT 2012: 170-189 - Chiaki Sakama, Sebastian Sardiña, Wamberto Weber Vasconcelos, Michael Winikoff:
Declarative Agent Languages and Technologies IX - 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers. Lecture Notes in Computer Science 7169, Springer 2012, ISBN 978-3-642-29112-8 [contents] - 2011
- Shahriar Bijani, David Robertson, David Aspinall:
Probing Attacks on Multi-Agent Systems Using Electronic Institutions. DALT 2011: 33-50 - Rafael H. Bordini:
Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification - Extended Abstract for a Course at DALT Spring School 2011. DALT 2011: 149-151 - Amit K. Chopra, Munindar P. Singh:
The Evolution of Interoperability. DALT 2011: 90-94 - David Corsar, Alison Chorley, Wamberto Weber Vasconcelos:
Web Service Composition via Organisation-Based (Re)Planning. DALT 2011: 128-148 - Louise A. Dennis:
Plan Indexing for State-Based Plans. DALT 2011: 3-15 - Nicoletta Fornara, Marco Colombetti:
Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review. DALT 2011: 117-119 - Andrés García-Camino, Juan A. Rodríguez-Aguilar, Carles Sierra, Wamberto Weber Vasconcelos:
A Distributed Architecture for Norm-Aware Agent Societies: A Retrospective. DALT 2011: 102-110 - Akin Günay, Pinar Yolum:
Detecting Conflicts in Commitments. DALT 2011: 51-66 - Wiebe van der Hoek:
Control and Delegation. DALT 2011: 1-2 - Viviana Mascardi, Davide Ancona:
1000 Years of Coo-BDI. DALT 2011: 95-101 - Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini:
Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages. DALT 2011: 111-116 - David Robertson:
Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective. DALT 2011: 84-89 - Tran Cao Son, Enrico Pontelli, Chiaki Sakama:
Formalizing Commitments Using Action Languages. DALT 2011: 67-83 - Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali:
A Retrospective on the Reactive Event Calculus and Commitment Modeling Language. DALT 2011: 120-127 - Michael Winikoff:
An Integrated Formal Framework for Reasoning about Goal Interactions. DALT 2011: 16-32
skipping 123 more matches
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-10-06 09:38 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint