default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDALT 2009: Budapest, Hungary
- Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John Lloyd:
Declarative Agent Languages and Technologies VII, 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers. Lecture Notes in Computer Science 5948, Springer 2010, ISBN 978-3-642-11354-3
Invited Talk
- João Leite
:
Playing with Rules. 1-19
Invited Papers
- Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani:
The Refinement of Choreographed Multi-Agent Systems. 20-34 - Célia da Costa Pereira, Andrea Tettamanzi:
Goal Generation from Possibilistic Beliefs Based on Trust and Distrust. 35-50 - Henrique Lopes Cardoso, Eugénio C. Oliveira:
Monitoring Directed Obligations with Flexible Deadlines: A Rule-Based Approach. 51-67
Contributed Papers
- Carole Adam, Andreas Herzig, Dominique Longin, Vincent Louis:
Unifying the Intentional and Institutional Semantics of Speech Acts. 68-84 - Mathijs de Boer, Andreas Herzig, Tiago de Lima, Emiliano Lorini:
Tableaux for Acceptance Logic. 85-100 - Nicoletta Fornara, Marco Colombetti:
Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology. 101-118 - Shakil M. Khan, Yves Lespérance:
Prioritized Goals and Subgoals in a Logical Account of Goal Change - A Preliminary Report. 119-136 - Babak Khosravifar, Jamal Bentahar, Maziar Gomrokchi:
Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks. 137-157 - Azzurra Ragone, Tommaso Di Noia, Francesco M. Donini, Eugenio Di Sciascio, Michael P. Wellman:
Computing Utility from Weighted Description Logic Preference Formulas. 158-173 - Michal P. Sindlar, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer:
Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games. 174-191 - Munindar P. Singh, Amit K. Chopra:
Correctness Properties for Multiagent Systems. 192-207 - Tran Cao Son, Chiaki Sakama:
Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming. 208-227 - Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali:
Social Commitments in Time: Satisfied or Compensated. 228-243 - Doan Thu Trang, Brian Logan, Natasha Alechina:
Verifying Dribble Agents. 244-261
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-11-14 00:00 CET 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:
