Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/dalt/dalt2004.bht:"
download as .bib file
@proceedings{DBLP:conf/dalt/2004,
editor = {Jo{\~{a}}o Alexandre Leite and
Andrea Omicini and
Paolo Torroni and
Pinar Yolum},
title = {Declarative Agent Languages and Technologies II, Second International
Workshop, {DALT} 2004, New York, NY, USA, July 19, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3476},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b136890},
doi = {10.1007/B136890},
isbn = {3-540-26172-9},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/AlagarPW04,
author = {Vasu S. Alagar and
Joey Paquet and
Kaiyu Wan},
editor = {Jo{\~{a}}o Alexandre Leite and
Andrea Omicini and
Paolo Torroni and
Pinar Yolum},
title = {Intensional Programming for Agent Communication},
booktitle = {Declarative Agent Languages and Technologies II, Second International
Workshop, {DALT} 2004, New York, NY, USA, July 19, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3476},
pages = {239--255},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11493402\_14},
doi = {10.1007/11493402\_14},
timestamp = {Tue, 07 May 2024 20:13:24 +0200},
biburl = {https://dblp.org/rec/conf/dalt/AlagarPW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/ArtikisKPS04,
author = {Alexander Artikis and
Lloyd Daniel Kamara and
Jeremy Pitt and
Marek J. Sergot},
editor = {Jo{\~{a}}o Alexandre Leite and
Andrea Omicini and
Paolo Torroni and
Pinar Yolum},
title = {A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks},
booktitle = {Declarative Agent Languages and Technologies II, Second International
Workshop, {DALT} 2004, New York, NY, USA, July 19, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3476},
pages = {221--238},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11493402\_13},
doi = {10.1007/11493402\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/ArtikisKPS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/BaldoniBGMMMPS04,
author = {Matteo Baldoni and
Cristina Baroglio and
Ivana Gungui and
Alberto Martelli and
Maurizio Martelli and
Viviana Mascardi and
Viviana Patti and
Claudio Schifanella},
editor = {Jo{\~{a}}o Alexandre Leite and
Andrea Omicini and
Paolo Torroni and
Pinar Yolum},
title = {Reasoning About Agents' Interaction Protocols Inside DCaseLP},
booktitle = {Declarative Agent Languages and Technologies II, Second International
Workshop, {DALT} 2004, New York, NY, USA, July 19, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3476},
pages = {112--131},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11493402\_7},
doi = {10.1007/11493402\_7},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/BaldoniBGMMMPS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/BosseJT04,
author = {Tibor Bosse and
Catholijn M. Jonker and
Jan Treur},
editor = {Jo{\~{a}}o Alexandre Leite and
Andrea Omicini and
Paolo Torroni and
Pinar Yolum},
title = {Representational Content and the Reciprocal Interplay of Agent and
Environment},
booktitle = {Declarative Agent Languages and Technologies II, Second International
Workshop, {DALT} 2004, New York, NY, USA, July 19, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3476},
pages = {270--288},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11493402\_16},
doi = {10.1007/11493402\_16},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dalt/BosseJT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/BraccialiMST04,
author = {Andrea Bracciali and
Paolo Mancarella and
Kostas Stathis and
Francesca Toni},
editor = {Jo{\~{a}}o Alexandre Leite and
Andrea Omicini and
Paolo Torroni and
Pinar Yolum},
title = {On Modelling Multi-agent Systems Declaratively},
booktitle = {Declarative Agent Languages and Technologies II, Second International
Workshop, {DALT} 2004, New York, NY, USA, July 19, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3476},
pages = {53--68},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11493402\_4},
doi = {10.1007/11493402\_4},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/BraccialiMST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/FanYMV04,
author = {Xiaocong Fan and
John Yen and
Michael S. Miller and
Richard A. Volz},
editor = {Jo{\~{a}}o Alexandre Leite and
Andrea Omicini and
Paolo Torroni and
Pinar Yolum},
title = {The Semantics of MALLET-An Agent Teamwork Encoding Language},
booktitle = {Declarative Agent Languages and Technologies II, Second International
Workshop, {DALT} 2004, New York, NY, USA, July 19, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3476},
pages = {69--91},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11493402\_5},
doi = {10.1007/11493402\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/FanYMV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/KungasM04,
author = {Peep K{\"{u}}ngas and
Mihhail Matskin},
editor = {Jo{\~{a}}o Alexandre Leite and
Andrea Omicini and
Paolo Torroni and
Pinar Yolum},
title = {Partial Deduction for Linear Logic-The Symbolic Negotiation Perspective},
booktitle = {Declarative Agent Languages and Technologies II, Second International
Workshop, {DALT} 2004, New York, NY, USA, July 19, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3476},
pages = {35--52},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11493402\_3},
doi = {10.1007/11493402\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/KungasM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/PacuitP04,
author = {Eric Pacuit and
Rohit Parikh},
editor = {Jo{\~{a}}o Alexandre Leite and
Andrea Omicini and
Paolo Torroni and
Pinar Yolum},
title = {The Logic of Communication Graphs},
booktitle = {Declarative Agent Languages and Technologies II, Second International
Workshop, {DALT} 2004, New York, NY, USA, July 19, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3476},
pages = {256--269},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11493402\_15},
doi = {10.1007/11493402\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/PacuitP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/PanTPS04,
author = {Yu Pan and
Phan Huy Tu and
Enrico Pontelli and
Tran Cao Son},
editor = {Jo{\~{a}}o Alexandre Leite and
Andrea Omicini and
Paolo Torroni and
Pinar Yolum},
title = {Construction of an Agent-Based Framework for Evolutionary Biology:
{A} Progress Report},
booktitle = {Declarative Agent Languages and Technologies II, Second International
Workshop, {DALT} 2004, New York, NY, USA, July 19, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3476},
pages = {92--111},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11493402\_6},
doi = {10.1007/11493402\_6},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/PanTPS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/ParraND04,
author = {Maria del Pilar Pozos Parra and
Abhaya C. Nayak and
Robert Demolombe},
editor = {Jo{\~{a}}o Alexandre Leite and
Andrea Omicini and
Paolo Torroni and
Pinar Yolum},
title = {Theories of Intentions in the Framework of Situation Calculus},
booktitle = {Declarative Agent Languages and Technologies II, Second International
Workshop, {DALT} 2004, New York, NY, USA, July 19, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3476},
pages = {19--34},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11493402\_2},
doi = {10.1007/11493402\_2},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dalt/ParraND04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/PokornyR04,
author = {L. Robert Pokorny and
C. R. Ramakrishnan},
editor = {Jo{\~{a}}o Alexandre Leite and
Andrea Omicini and
Paolo Torroni and
Pinar Yolum},
title = {Modeling and Verification of Distributed Autonomous Agents Using Logic
Programming},
booktitle = {Declarative Agent Languages and Technologies II, Second International
Workshop, {DALT} 2004, New York, NY, USA, July 19, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3476},
pages = {148--165},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11493402\_9},
doi = {10.1007/11493402\_9},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/PokornyR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/RiemsdijkDDM04,
author = {Birna van Riemsdijk and
Mehdi Dastani and
Frank Dignum and
John{-}Jules Ch. Meyer},
editor = {Jo{\~{a}}o Alexandre Leite and
Andrea Omicini and
Paolo Torroni and
Pinar Yolum},
title = {Dynamics of Declarative Goals in Agent Programming},
booktitle = {Declarative Agent Languages and Technologies II, Second International
Workshop, {DALT} 2004, New York, NY, USA, July 19, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3476},
pages = {1--18},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11493402\_1},
doi = {10.1007/11493402\_1},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/RiemsdijkDDM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/Robertson04,
author = {David Robertson},
editor = {Jo{\~{a}}o Alexandre Leite and
Andrea Omicini and
Paolo Torroni and
Pinar Yolum},
title = {A Lightweight Coordination Calculus for Agent Systems},
booktitle = {Declarative Agent Languages and Technologies II, Second International
Workshop, {DALT} 2004, New York, NY, USA, July 19, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3476},
pages = {183--197},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11493402\_11},
doi = {10.1007/11493402\_11},
timestamp = {Tue, 13 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/Robertson04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/Vasconcelos04,
author = {Wamberto Weber Vasconcelos},
editor = {Jo{\~{a}}o Alexandre Leite and
Andrea Omicini and
Paolo Torroni and
Pinar Yolum},
title = {Norm Verification and Analysis of Electronic Institutions},
booktitle = {Declarative Agent Languages and Technologies II, Second International
Workshop, {DALT} 2004, New York, NY, USA, July 19, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3476},
pages = {166--182},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11493402\_10},
doi = {10.1007/11493402\_10},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/Vasconcelos04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/Walton04,
author = {Christopher D. Walton},
editor = {Jo{\~{a}}o Alexandre Leite and
Andrea Omicini and
Paolo Torroni and
Pinar Yolum},
title = {Model Checking Agent Dialogues},
booktitle = {Declarative Agent Languages and Technologies II, Second International
Workshop, {DALT} 2004, New York, NY, USA, July 19, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3476},
pages = {132--147},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11493402\_8},
doi = {10.1007/11493402\_8},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/Walton04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/WinikoffLH04,
author = {Michael Winikoff and
Wei Liu and
James Harland},
editor = {Jo{\~{a}}o Alexandre Leite and
Andrea Omicini and
Paolo Torroni and
Pinar Yolum},
title = {Enhancing Commitment Machines},
booktitle = {Declarative Agent Languages and Technologies II, Second International
Workshop, {DALT} 2004, New York, NY, USA, July 19, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3476},
pages = {198--220},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11493402\_12},
doi = {10.1007/11493402\_12},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/WinikoffLH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-06-13 19:14 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
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:
