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/dalt2006.bht:"
download as .bib file
@inproceedings{DBLP:conf/dalt/AlechinaBHJL06,
author = {Natasha Alechina and
Rafael H. Bordini and
Jomi Fred H{\"{u}}bner and
Mark Jago and
Brian Logan},
editor = {Matteo Baldoni and
Ulle Endriss},
title = {Automating Belief Revision for AgentSpeak},
booktitle = {Declarative Agent Languages and Technologies IV, 4th International
Workshop, {DALT} 2006, Hakodate, Japan, May 8, 2006, Selected, Revised
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4327},
pages = {61--77},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11961536\_5},
doi = {10.1007/11961536\_5},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dalt/AlechinaBHJL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/BoellaT06,
author = {Guido Boella and
Leendert W. N. van der Torre},
editor = {Matteo Baldoni and
Ulle Endriss},
title = {A Foundational Ontology of Organizations and Roles},
booktitle = {Declarative Agent Languages and Technologies IV, 4th International
Workshop, {DALT} 2006, Hakodate, Japan, May 8, 2006, Selected, Revised
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4327},
pages = {78--88},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11961536\_6},
doi = {10.1007/11961536\_6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/BoellaT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/BourgneMP06,
author = {Gauvain Bourgne and
Nicolas Maudet and
Suzanne Pinson},
editor = {Matteo Baldoni and
Ulle Endriss},
title = {When Agents Communicate Hypotheses in Critical Situations},
booktitle = {Declarative Agent Languages and Technologies IV, 4th International
Workshop, {DALT} 2006, Hakodate, Japan, May 8, 2006, Selected, Revised
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4327},
pages = {89--104},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11961536\_7},
doi = {10.1007/11961536\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/BourgneMP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/ChopraS06,
author = {Amit K. Chopra and
Munindar P. Singh},
editor = {Matteo Baldoni and
Ulle Endriss},
title = {Producing Compliant Interactions: Conformance, Coverage, and Interoperability},
booktitle = {Declarative Agent Languages and Technologies IV, 4th International
Workshop, {DALT} 2006, Hakodate, Japan, May 8, 2006, Selected, Revised
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4327},
pages = {1--15},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11961536\_1},
doi = {10.1007/11961536\_1},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/ChopraS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/DouM06,
author = {Dejing Dou and
Drew V. McDermott},
editor = {Matteo Baldoni and
Ulle Endriss},
title = {Towards Theory Translation},
booktitle = {Declarative Agent Languages and Technologies IV, 4th International
Workshop, {DALT} 2006, Hakodate, Japan, May 8, 2006, Selected, Revised
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4327},
pages = {16--28},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11961536\_2},
doi = {10.1007/11961536\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/DouM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/HubnerBW06,
author = {Jomi Fred H{\"{u}}bner and
Rafael H. Bordini and
Michael J. Wooldridge},
editor = {Matteo Baldoni and
Ulle Endriss},
title = {Programming Declarative Goals Using Plan Patterns},
booktitle = {Declarative Agent Languages and Technologies IV, 4th International
Workshop, {DALT} 2006, Hakodate, Japan, May 8, 2006, Selected, Revised
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4327},
pages = {123--140},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11961536\_9},
doi = {10.1007/11961536\_9},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dalt/HubnerBW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/KonnerthHA06,
author = {Thomas Konnerth and
Benjamin Hirsch and
Sahin Albayrak},
editor = {Matteo Baldoni and
Ulle Endriss},
title = {{JADL} - An Agent Description Language for Smart Agents},
booktitle = {Declarative Agent Languages and Technologies IV, 4th International
Workshop, {DALT} 2006, Hakodate, Japan, May 8, 2006, Selected, Revised
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4327},
pages = {141--155},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11961536\_10},
doi = {10.1007/11961536\_10},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/KonnerthHA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/LetiaG06,
author = {Ioan Alfred Letia and
Adrian Groza},
editor = {Matteo Baldoni and
Ulle Endriss},
title = {Agreeing on Defeasible Commitments},
booktitle = {Declarative Agent Languages and Technologies IV, 4th International
Workshop, {DALT} 2006, Hakodate, Japan, May 8, 2006, Selected, Revised
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4327},
pages = {156--173},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11961536\_11},
doi = {10.1007/11961536\_11},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/LetiaG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/LomuscioR06,
author = {Alessio Lomuscio and
Franco Raimondi},
editor = {Matteo Baldoni and
Ulle Endriss},
title = {The Complexity of Model Checking Concurrent Programs Against {CTLK}
Specifications},
booktitle = {Declarative Agent Languages and Technologies IV, 4th International
Workshop, {DALT} 2006, Hakodate, Japan, May 8, 2006, Selected, Revised
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4327},
pages = {29--42},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11961536\_3},
doi = {10.1007/11961536\_3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/LomuscioR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/NarayanasamyCS06,
author = {Gobinath Narayanasamy and
Joe Cecil and
Tran Cao Son},
editor = {Matteo Baldoni and
Ulle Endriss},
title = {A Collaborative Framework to Realize Virtual Enterprises Using 3APL},
booktitle = {Declarative Agent Languages and Technologies IV, 4th International
Workshop, {DALT} 2006, Hakodate, Japan, May 8, 2006, Selected, Revised
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4327},
pages = {191--206},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11961536\_13},
doi = {10.1007/11961536\_13},
timestamp = {Tue, 09 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dalt/NarayanasamyCS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/NigamL06,
author = {Vivek Nigam and
Jo{\~{a}}o Leite},
editor = {Matteo Baldoni and
Ulle Endriss},
title = {A Dynamic Logic Programming Based System for Agents with Declarative
Goals},
booktitle = {Declarative Agent Languages and Technologies IV, 4th International
Workshop, {DALT} 2006, Hakodate, Japan, May 8, 2006, Selected, Revised
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4327},
pages = {174--190},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11961536\_12},
doi = {10.1007/11961536\_12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/NigamL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/OsmanRW06,
author = {Nardine Osman and
David Robertson and
Christopher Walton},
editor = {Matteo Baldoni and
Ulle Endriss},
title = {Dynamic Model Checking for Multi-agent Systems},
booktitle = {Declarative Agent Languages and Technologies IV, 4th International
Workshop, {DALT} 2006, Hakodate, Japan, May 8, 2006, Selected, Revised
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4327},
pages = {43--60},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11961536\_4},
doi = {10.1007/11961536\_4},
timestamp = {Tue, 13 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/OsmanRW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/PadmanabhanG06,
author = {Vineet Padmanabhan and
Guido Governatori},
editor = {Matteo Baldoni and
Ulle Endriss},
title = {A Fibred Tableau Calculus for Modal Logics of Agents},
booktitle = {Declarative Agent Languages and Technologies IV, 4th International
Workshop, {DALT} 2006, Hakodate, Japan, May 8, 2006, Selected, Revised
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4327},
pages = {105--122},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11961536\_8},
doi = {10.1007/11961536\_8},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dalt/PadmanabhanG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/QuenumABH06,
author = {Jos{\'{e}} Ghislain Quenum and
Samir Aknine and
Jean{-}Pierre Briot and
Shinichi Honiden},
editor = {Matteo Baldoni and
Ulle Endriss},
title = {A Modeling Framework for Generic Agent Interaction Protocols},
booktitle = {Declarative Agent Languages and Technologies IV, 4th International
Workshop, {DALT} 2006, Hakodate, Japan, May 8, 2006, Selected, Revised
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4327},
pages = {207--224},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11961536\_14},
doi = {10.1007/11961536\_14},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/QuenumABH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/RiemsdijkD06,
author = {M. Birna van Riemsdijk and
Mehdi Dastani},
editor = {Matteo Baldoni and
Ulle Endriss},
title = {Plan Generation and Plan Execution in Agent Programming},
booktitle = {Declarative Agent Languages and Technologies IV, 4th International
Workshop, {DALT} 2006, Hakodate, Japan, May 8, 2006, Selected, Revised
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4327},
pages = {225--238},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11961536\_15},
doi = {10.1007/11961536\_15},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dalt/RiemsdijkD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/Wyner06,
author = {Adam Zachary Wyner},
editor = {Matteo Baldoni and
Ulle Endriss},
title = {A Functional Program for Agents, Actions, and Deontic Specifications},
booktitle = {Declarative Agent Languages and Technologies IV, 4th International
Workshop, {DALT} 2006, Hakodate, Japan, May 8, 2006, Selected, Revised
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4327},
pages = {239--256},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11961536\_16},
doi = {10.1007/11961536\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/Wyner06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dalt/2006,
editor = {Matteo Baldoni and
Ulle Endriss},
title = {Declarative Agent Languages and Technologies IV, 4th International
Workshop, {DALT} 2006, Hakodate, Japan, May 8, 2006, Selected, Revised
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4327},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11961536},
doi = {10.1007/11961536},
isbn = {3-540-68959-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/2006.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-05-15 07:23 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:
