default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/dalt/dalt2005.bht:"
download as .bib file
@proceedings{DBLP:conf/dalt/2005,
editor = {Matteo Baldoni and
Ulle Endriss and
Andrea Omicini and
Paolo Torroni},
title = {Declarative Agent Languages and Technologies III, Third International
Workshop, {DALT} 2005, Utrecht, The Netherlands, July 25, 2005, Selected
and Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3904},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691792},
doi = {10.1007/11691792},
isbn = {3-540-33106-9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dalt/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/AgotnesW05,
author = {Thomas {\AA}gotnes and
Michal Walicki},
editor = {Matteo Baldoni and
Ulle Endriss and
Andrea Omicini and
Paolo Torroni},
title = {Complete Axiomatizations of Finite Syntactic Epistemic States},
booktitle = {Declarative Agent Languages and Technologies III, Third International
Workshop, {DALT} 2005, Utrecht, The Netherlands, July 25, 2005, Selected
and Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3904},
pages = {33--50},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11691792\_3},
doi = {10.1007/11691792\_3},
timestamp = {Fri, 27 Mar 2020 08:51:13 +0100},
biburl = {https://dblp.org/rec/conf/dalt/AgotnesW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/AlechinaJL05,
author = {Natasha Alechina and
Mark Jago and
Brian Logan},
editor = {Matteo Baldoni and
Ulle Endriss and
Andrea Omicini and
Paolo Torroni},
title = {Resource-Bounded Belief Revision and Contraction},
booktitle = {Declarative Agent Languages and Technologies III, Third International
Workshop, {DALT} 2005, Utrecht, The Netherlands, July 25, 2005, Selected
and Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3904},
pages = {141--154},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11691792\_9},
doi = {10.1007/11691792\_9},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dalt/AlechinaJL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/BentaharMM05,
author = {Jamal Bentahar and
Bernard Moulin and
John{-}Jules Ch. Meyer},
editor = {Matteo Baldoni and
Ulle Endriss and
Andrea Omicini and
Paolo Torroni},
title = {A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication},
booktitle = {Declarative Agent Languages and Technologies III, Third International
Workshop, {DALT} 2005, Utrecht, The Netherlands, July 25, 2005, Selected
and Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3904},
pages = {223--244},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11691792\_14},
doi = {10.1007/11691792\_14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dalt/BentaharMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/CostantiniT05,
author = {Stefania Costantini and
Arianna Tocchio},
editor = {Matteo Baldoni and
Ulle Endriss and
Andrea Omicini and
Paolo Torroni},
title = {About Declarative Semantics of Logic-Based Agent Languages},
booktitle = {Declarative Agent Languages and Technologies III, Third International
Workshop, {DALT} 2005, Utrecht, The Netherlands, July 25, 2005, Selected
and Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3904},
pages = {106--123},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11691792\_7},
doi = {10.1007/11691792\_7},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/CostantiniT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/Garcia-CaminoRSV05,
author = {Andr{\'{e}}s Garc{\'{\i}}a{-}Camino and
Juan A. Rodr{\'{\i}}guez{-}Aguilar and
Carles Sierra and
Wamberto Weber Vasconcelos},
editor = {Matteo Baldoni and
Ulle Endriss and
Andrea Omicini and
Paolo Torroni},
title = {A Distributed Architecture for Norm-Aware Agent Societies},
booktitle = {Declarative Agent Languages and Technologies III, Third International
Workshop, {DALT} 2005, Utrecht, The Netherlands, July 25, 2005, Selected
and Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3904},
pages = {89--105},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11691792\_6},
doi = {10.1007/11691792\_6},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dalt/Garcia-CaminoRSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/HayashiTHO05,
author = {Hisashi Hayashi and
Seiji Tokura and
Tetsuo Hasegawa and
Fumio Ozaki},
editor = {Matteo Baldoni and
Ulle Endriss and
Andrea Omicini and
Paolo Torroni},
title = {Dynagent: An Incremental Forward-Chaining {HTN} Planning Agent in
Dynamic Domains},
booktitle = {Declarative Agent Languages and Technologies III, Third International
Workshop, {DALT} 2005, Utrecht, The Netherlands, July 25, 2005, Selected
and Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3904},
pages = {171--187},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11691792\_11},
doi = {10.1007/11691792\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/HayashiTHO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/KwisthoutD05,
author = {Johan Kwisthout and
Mehdi Dastani},
editor = {Matteo Baldoni and
Ulle Endriss and
Andrea Omicini and
Paolo Torroni},
title = {Modelling Uncertainty in Agent Programming},
booktitle = {Declarative Agent Languages and Technologies III, Third International
Workshop, {DALT} 2005, Utrecht, The Netherlands, July 25, 2005, Selected
and Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3904},
pages = {17--32},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11691792\_2},
doi = {10.1007/11691792\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/KwisthoutD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/LloydS05,
author = {John W. Lloyd and
Tim D. Sears},
editor = {Matteo Baldoni and
Ulle Endriss and
Andrea Omicini and
Paolo Torroni},
title = {An Architecture for Rational Agents},
booktitle = {Declarative Agent Languages and Technologies III, Third International
Workshop, {DALT} 2005, Utrecht, The Netherlands, July 25, 2005, Selected
and Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3904},
pages = {51--71},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11691792\_4},
doi = {10.1007/11691792\_4},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/LloydS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/LomuscioW05,
author = {Alessio Lomuscio and
Bozena Wozna},
editor = {Matteo Baldoni and
Ulle Endriss and
Andrea Omicini and
Paolo Torroni},
title = {A Combination of Explicit and Deductive Knowledge with Branching Time:
Completeness and Decidability Results},
booktitle = {Declarative Agent Languages and Technologies III, Third International
Workshop, {DALT} 2005, Utrecht, The Netherlands, July 25, 2005, Selected
and Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3904},
pages = {188--204},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11691792\_12},
doi = {10.1007/11691792\_12},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/LomuscioW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/MoreiraVBH05,
author = {{\'{A}}lvaro F. Moreira and
Renata Vieira and
Rafael H. Bordini and
Jomi Fred H{\"{u}}bner},
editor = {Matteo Baldoni and
Ulle Endriss and
Andrea Omicini and
Paolo Torroni},
title = {Agent-Oriented Programming with Underlying Ontological Reasoning},
booktitle = {Declarative Agent Languages and Technologies III, Third International
Workshop, {DALT} 2005, Utrecht, The Netherlands, July 25, 2005, Selected
and Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3904},
pages = {155--170},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11691792\_10},
doi = {10.1007/11691792\_10},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dalt/MoreiraVBH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/SimonMF05,
author = {Ga{\"{e}}le Simon and
Bruno Mermet and
Dominique Fournier},
editor = {Matteo Baldoni and
Ulle Endriss and
Andrea Omicini and
Paolo Torroni},
title = {Goal Decomposition Tree: An Agent Model to Generate a Validated Agent
Behaviour},
booktitle = {Declarative Agent Languages and Technologies III, Third International
Workshop, {DALT} 2005, Utrecht, The Netherlands, July 25, 2005, Selected
and Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3904},
pages = {124--140},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11691792\_8},
doi = {10.1007/11691792\_8},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/SimonMF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/VosCPBCN05,
author = {Marina De Vos and
Tom Crick and
Julian A. Padget and
Martin Brain and
Owen Cliffe and
Jonathan Needham},
editor = {Matteo Baldoni and
Ulle Endriss and
Andrea Omicini and
Paolo Torroni},
title = {{LAIMA:} {A} Multi-agent Platform Using Ordered Choice Logic Programming},
booktitle = {Declarative Agent Languages and Technologies III, Third International
Workshop, {DALT} 2005, Utrecht, The Netherlands, July 25, 2005, Selected
and Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3904},
pages = {72--88},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11691792\_5},
doi = {10.1007/11691792\_5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dalt/VosCPBCN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/WanA05,
author = {Kaiyu Wan and
Vasu S. Alagar},
editor = {Matteo Baldoni and
Ulle Endriss and
Andrea Omicini and
Paolo Torroni},
title = {An Intensional Programming Approach to Multi-agent Coordination in
a Distributed Network of Agents},
booktitle = {Declarative Agent Languages and Technologies III, Third International
Workshop, {DALT} 2005, Utrecht, The Netherlands, July 25, 2005, Selected
and Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3904},
pages = {205--222},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11691792\_13},
doi = {10.1007/11691792\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/WanA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/WinkelhagenDB05,
author = {Laurens Winkelhagen and
Mehdi Dastani and
Jan M. Broersen},
editor = {Matteo Baldoni and
Ulle Endriss and
Andrea Omicini and
Paolo Torroni},
title = {Beliefs in Agent Implementation},
booktitle = {Declarative Agent Languages and Technologies III, Third International
Workshop, {DALT} 2005, Utrecht, The Netherlands, July 25, 2005, Selected
and Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3904},
pages = {1--16},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11691792\_1},
doi = {10.1007/11691792\_1},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/WinkelhagenDB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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 2025-01-05 16:36 CET 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:
