default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDALT 2003: Melbourne, Australia
- João Alexandre Leite
, Andrea Omicini, Leon Sterling, Paolo Torroni:
Declarative Agent Languages and Technologies, First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers. Lecture Notes in Computer Science 2990, Springer 2004, ISBN 3-540-22124-7 - Andrea Omicini, Franco Zambonelli:
MAS as Complex Systems: A View on the Role of Declarative Approaches. 1-16 - Marco Castaldi, Stefania Costantini, Stefano Gentile, Arianna Tocchio:
A Logic-Based Infrastructure for Reconfiguring Applications. 17-36 - Federico Bergenti, Giovanni Rimassa, Mirko Viroli:
Operational Semantics for Agents by Iterated Refinement. 37-53 - Keith L. Clark, Francis G. McCabe:
Go! for Multi-Threaded Deliberative Agents. 54-75 - Tran Cao Son, Enrico Pontelli, Desh Ranjan, Brook Milligan, Gopal Gupta:
An Agent-based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology. 76-96 - Wiebe van der Hoek, Alessio Lomuscio:
A logic for ignorance. 97-108 - Davide Ancona, Viviana Mascardi:
Coo-BDI: Extending the BDI Model with Cooperativity. 109-134 - Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini:
Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication. 135-154 - Bình Vu Trân, James Harland, Margaret Hamilton:
A Combined Logic of Expectation & Observation. A generalisation of BDI logics. 155-172 - Lee Flax:
A Proposal for Reasoning in Agents: Restricted Entailment. 173-190 - Marco Colombetti, Nicoletta Fornara, Mario Verdicchio:
A Social Approach to Communication in Multiagent Systems. 191-220 - Wamberto Weber Vasconcelos:
Logic-Based Electronic Institutions. 221-242 - Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study. 243-262 - Peep Küngas, Mihhail Matskin:
Linear Logic, Partial Deduction and Cooperative Problem Solving. 263-279
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-10-13 17:08 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:
