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/clima/climaVI2005.bht:"
download as .bib file
@proceedings{DBLP:conf/clima/2005,
editor = {Francesca Toni and
Paolo Torroni},
title = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11750734},
doi = {10.1007/11750734},
isbn = {3-540-33996-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/AgotnesW05,
author = {Thomas {\AA}gotnes and
Michal Walicki},
editor = {Francesca Toni and
Paolo Torroni},
title = {Strongly Complete Axiomatizations of "Knowing at Most" in Syntactic
Structures},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {57--76},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_4},
doi = {10.1007/11750734\_4},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/clima/AgotnesW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/BaldoniBMP05,
author = {Matteo Baldoni and
Cristina Baroglio and
Alberto Martelli and
Viviana Patti},
editor = {Francesca Toni and
Paolo Torroni},
title = {Verification of Protocol Conformance and Agent Interoperability},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {265--283},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_15},
doi = {10.1007/11750734\_15},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/BaldoniBMP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/BoellaT05,
author = {Guido Boella and
Leendert W. N. van der Torre},
editor = {Francesca Toni and
Paolo Torroni},
title = {Constitutive Norms in the Design of Normative Multiagent Systems},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {303--319},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_17},
doi = {10.1007/11750734\_17},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/BoellaT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/BordiniH05,
author = {Rafael H. Bordini and
Jomi Fred H{\"{u}}bner},
editor = {Francesca Toni and
Paolo Torroni},
title = {{BDI} Agent Programming in AgentSpeak Using \emph{Jason} (Tutorial
Paper)},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {143--164},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_9},
doi = {10.1007/11750734\_9},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/clima/BordiniH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/CaresFM05,
author = {Carlos Cares and
Xavier Franch and
Enric Mayol},
editor = {Francesca Toni and
Paolo Torroni},
title = {Extending Tropos for a Prolog Implementation: {A} Case Study Using
the Food Collecting Agent Problem},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {396--405},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_23},
doi = {10.1007/11750734\_23},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/CaresFM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/CeberioHS05,
author = {Martine Ceberio and
Hiroshi Hosobe and
Ken Satoh},
editor = {Francesca Toni and
Paolo Torroni},
title = {Speculative Constraint Processing with Iterative Revision for Disjunctive
Answers},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {340--357},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_19},
doi = {10.1007/11750734\_19},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/CeberioHS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/ChesaniGALMT05,
author = {Federico Chesani and
Marco Gavanelli and
Marco Alberti and
Evelina Lamma and
Paola Mello and
Paolo Torroni},
editor = {Francesca Toni and
Paolo Torroni},
title = {Specification and Verification of Agent Interaction Using Abductive
Reasoning (Tutorial Paper)},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {243--264},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_14},
doi = {10.1007/11750734\_14},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/clima/ChesaniGALMT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/CholvyGS05,
author = {Laurence Cholvy and
Christophe Garion and
Claire Saurel},
editor = {Francesca Toni and
Paolo Torroni},
title = {Ability in a Multi-agent Context: {A} Model in the Situation Calculus},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {23--36},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_2},
doi = {10.1007/11750734\_2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/CholvyGS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/ClarkRZ05,
author = {Keith L. Clark and
Peter J. Robinson and
Silvana Zappacosta{-}Amboldi},
editor = {Francesca Toni and
Paolo Torroni},
title = {Multi-threaded Communicating Agents in Qu-Prolog (Tutorial Paper)},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {186--205},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_11},
doi = {10.1007/11750734\_11},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/ClarkRZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/CoffeyG05,
author = {Simon Coffey and
Dorian Gaertner},
editor = {Francesca Toni and
Paolo Torroni},
title = {Implementing Pheromone-Based, Negotiating Forager Agents},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {385--395},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_22},
doi = {10.1007/11750734\_22},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/CoffeyG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/DastaniDN05,
author = {Mehdi Dastani and
J{\"{u}}rgen Dix and
Peter Nov{\'{a}}k},
editor = {Francesca Toni and
Paolo Torroni},
title = {The First Contest on Multi-agent Systems Based on Computational Logic},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {373--384},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_21},
doi = {10.1007/11750734\_21},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/DastaniDN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/DemolombeF05,
author = {Robert Demolombe and
Ana Mar{\'{\i}}a Otermin Fernandez},
editor = {Francesca Toni and
Paolo Torroni},
title = {Intention Recognition in the Situation Calculus and Probability Theory
Frameworks},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {358--372},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_20},
doi = {10.1007/11750734\_20},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/DemolombeF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/Fisher05,
author = {Michael Fisher},
editor = {Francesca Toni and
Paolo Torroni},
title = {Implementing Temporal Logics: Tools for Execution and Proof (Tutorial
Paper)},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {129--142},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_8},
doi = {10.1007/11750734\_8},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/clima/Fisher05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/GoncalvesB05,
author = {Eder Mateus Nunes Gon{\c{c}}alves and
Guilherme Bittencourt},
editor = {Francesca Toni and
Paolo Torroni},
title = {Strategies for Multi-agent Coordination in a Grid World Using Petri
Nets},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {414--419},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_25},
doi = {10.1007/11750734\_25},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/GoncalvesB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/GrossiDM05,
author = {Davide Grossi and
Frank Dignum and
John{-}Jules Ch. Meyer},
editor = {Francesca Toni and
Paolo Torroni},
title = {Contextual Terminologies},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {284--302},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_16},
doi = {10.1007/11750734\_16},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/GrossiDM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/KluwerW05,
author = {Johan W. Kl{\"{u}}wer and
Arild Waaler},
editor = {Francesca Toni and
Paolo Torroni},
title = {Trustworthiness by Default},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {96--111},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_6},
doi = {10.1007/11750734\_6},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/KluwerW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/KnottenbeltC05,
author = {John Knottenbelt and
Keith Clark},
editor = {Francesca Toni and
Paolo Torroni},
title = {Contract-Related Agents},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {226--242},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_13},
doi = {10.1007/11750734\_13},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/KnottenbeltC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/Kowalski05,
author = {Robert A. Kowalski},
editor = {Francesca Toni and
Paolo Torroni},
title = {The Logical Way to Be Artificially Intelligent},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {1--22},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_1},
doi = {10.1007/11750734\_1},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/Kowalski05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/LogieHW05,
author = {Robert Logie and
Jon G. Hall and
Kevin G. Waugh},
editor = {Francesca Toni and
Paolo Torroni},
title = {Reactive Food Gathering},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {406--413},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_24},
doi = {10.1007/11750734\_24},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/LogieHW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/Nguyen05,
author = {Linh Anh Nguyen},
editor = {Francesca Toni and
Paolo Torroni},
title = {Reasoning About Epistemic States of Agents by Modal Logic Programming},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {37--56},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_3},
doi = {10.1007/11750734\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/Nguyen05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/PliuskeviciusP05,
author = {Regimantas Pliuskevicius and
Aida Pliuskeviciene},
editor = {Francesca Toni and
Paolo Torroni},
title = {Decision Procedure for a Fragment of Mutual Belief Logic with Quantified
Agent Variables},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {112--128},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_7},
doi = {10.1007/11750734\_7},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/PliuskeviciusP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/Sadri05,
author = {Fariba Sadri},
editor = {Francesca Toni and
Paolo Torroni},
title = {Using the {KGP} Model of Agency to Design Applications (Tutorial Paper)},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {165--185},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_10},
doi = {10.1007/11750734\_10},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/Sadri05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/SadriT05,
author = {Fariba Sadri and
Francesca Toni},
editor = {Francesca Toni and
Paolo Torroni},
title = {Variety of Behaviours Through Profiles in Logic-Based Agents},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {206--225},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_12},
doi = {10.1007/11750734\_12},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/SadriT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/SakamaI05,
author = {Chiaki Sakama and
Katsumi Inoue},
editor = {Francesca Toni and
Paolo Torroni},
title = {Combining Answer Sets of Nonmonotonic Logic Programs},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {320--339},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_18},
doi = {10.1007/11750734\_18},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/SakamaI05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/SolhaugW05,
author = {Bj{\o}rnar Solhaug and
Arild Waaler},
editor = {Francesca Toni and
Paolo Torroni},
title = {Logical Spaces in Multi-agent Only Knowing Systems},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {77--95},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_5},
doi = {10.1007/11750734\_5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/SolhaugW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/Toni05,
author = {Francesca Toni},
editor = {Francesca Toni and
Paolo Torroni},
title = {Multi-agent Systems in Computational Logic: Challenges and Outcomes
of the {SOCS} Project},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {420--426},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_26},
doi = {10.1007/11750734\_26},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/Toni05.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-09-01 12:47 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:
