![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/clima/climaVI2005.bht:"
@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} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.