Search dblp for Publications

export results for "toc:db/conf/clima/clima2009.bht:"

 download as .bib file

@proceedings{DBLP:conf/clima/2009,
  editor       = {J{\"{u}}rgen Dix and
                  Michael Fisher and
                  Peter Nov{\'{a}}k},
  title        = {Computational Logic in Multi-Agent Systems - 10th International Workshop,
                  {CLIMA} X, Hamburg, Germany, September 9-10, 2009, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6214},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16867-3},
  doi          = {10.1007/978-3-642-16867-3},
  isbn         = {978-3-642-16866-6},
  timestamp    = {Fri, 25 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/clima/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/clima/BaralSP09,
  author       = {Chitta Baral and
                  Tran Cao Son and
                  Enrico Pontelli},
  editor       = {J{\"{u}}rgen Dix and
                  Michael Fisher and
                  Peter Nov{\'{a}}k},
  title        = {Reasoning about Multi-agent Domains Using Action Language \emph{C}{\textbackslash}mathcal\{C\}:
                  {A} Preliminary Study},
  booktitle    = {Computational Logic in Multi-Agent Systems - 10th International Workshop,
                  {CLIMA} X, Hamburg, Germany, September 9-10, 2009, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6214},
  pages        = {46--63},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-16867-3\_3},
  doi          = {10.1007/978-3-642-16867-3\_3},
  timestamp    = {Fri, 25 Dec 2020 01:14:19 +0100},
  biburl       = {https://dblp.org/rec/conf/clima/BaralSP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/clima/BullingF09,
  author       = {Nils Bulling and
                  Berndt Farwer},
  editor       = {J{\"{u}}rgen Dix and
                  Michael Fisher and
                  Peter Nov{\'{a}}k},
  title        = {Expressing Properties of Resource-Bounded Systems: The Logics RTL\({}^{\mbox{*}}\)
                  and {RTL}},
  booktitle    = {Computational Logic in Multi-Agent Systems - 10th International Workshop,
                  {CLIMA} X, Hamburg, Germany, September 9-10, 2009, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6214},
  pages        = {22--45},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-16867-3\_2},
  doi          = {10.1007/978-3-642-16867-3\_2},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/clima/BullingF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/clima/DastaniS09,
  author       = {Mehdi Dastani and
                  Bas R. Steunebrink},
  editor       = {J{\"{u}}rgen Dix and
                  Michael Fisher and
                  Peter Nov{\'{a}}k},
  title        = {Operational Semantics for {BDI} Modules in Multi-agent Programming},
  booktitle    = {Computational Logic in Multi-Agent Systems - 10th International Workshop,
                  {CLIMA} X, Hamburg, Germany, September 9-10, 2009, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6214},
  pages        = {83--101},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-16867-3\_5},
  doi          = {10.1007/978-3-642-16867-3\_5},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/clima/DastaniS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/clima/DennisTM09,
  author       = {Louise A. Dennis and
                  Nick A. M. Tinnemeier and
                  John{-}Jules Ch. Meyer},
  editor       = {J{\"{u}}rgen Dix and
                  Michael Fisher and
                  Peter Nov{\'{a}}k},
  title        = {Model Checking Normative Agent Organisations},
  booktitle    = {Computational Logic in Multi-Agent Systems - 10th International Workshop,
                  {CLIMA} X, Hamburg, Germany, September 9-10, 2009, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6214},
  pages        = {64--82},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-16867-3\_4},
  doi          = {10.1007/978-3-642-16867-3\_4},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/clima/DennisTM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/clima/GongoraR09,
  author       = {Pedro Arturo G{\'{o}}ngora and
                  David A. Rosenblueth},
  editor       = {J{\"{u}}rgen Dix and
                  Michael Fisher and
                  Peter Nov{\'{a}}k},
  title        = {A Characterization of Mixed-Strategy Nash Equilibria in {PCTL} Augmented
                  with a Cost Quantifier},
  booktitle    = {Computational Logic in Multi-Agent Systems - 10th International Workshop,
                  {CLIMA} X, Hamburg, Germany, September 9-10, 2009, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6214},
  pages        = {158--177},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-16867-3\_9},
  doi          = {10.1007/978-3-642-16867-3\_9},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/clima/GongoraR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/clima/HoptonCVP09,
  author       = {Luke Hopton and
                  Owen Cliffe and
                  Marina De Vos and
                  Julian A. Padget},
  editor       = {J{\"{u}}rgen Dix and
                  Michael Fisher and
                  Peter Nov{\'{a}}k},
  title        = {Inst\emph{QL}: {A} Query Language for Virtual Institutions Using Answer
                  Set Programming},
  booktitle    = {Computational Logic in Multi-Agent Systems - 10th International Workshop,
                  {CLIMA} X, Hamburg, Germany, September 9-10, 2009, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6214},
  pages        = {102--121},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-16867-3\_6},
  doi          = {10.1007/978-3-642-16867-3\_6},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/clima/HoptonCVP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/clima/MaRBHS09,
  author       = {Jiefei Ma and
                  Alessandra Russo and
                  Krysia Broda and
                  Hiroshi Hosobe and
                  Ken Satoh},
  editor       = {J{\"{u}}rgen Dix and
                  Michael Fisher and
                  Peter Nov{\'{a}}k},
  title        = {On the Implementation of Speculative Constraint Processing},
  booktitle    = {Computational Logic in Multi-Agent Systems - 10th International Workshop,
                  {CLIMA} X, Hamburg, Germany, September 9-10, 2009, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6214},
  pages        = {178--195},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-16867-3\_10},
  doi          = {10.1007/978-3-642-16867-3\_10},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/clima/MaRBHS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/clima/SakamaS09,
  author       = {Chiaki Sakama and
                  Tran Cao Son},
  editor       = {J{\"{u}}rgen Dix and
                  Michael Fisher and
                  Peter Nov{\'{a}}k},
  title        = {Interacting Answer Sets},
  booktitle    = {Computational Logic in Multi-Agent Systems - 10th International Workshop,
                  {CLIMA} X, Hamburg, Germany, September 9-10, 2009, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6214},
  pages        = {122--140},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-16867-3\_7},
  doi          = {10.1007/978-3-642-16867-3\_7},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/clima/SakamaS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/clima/SonPN09,
  author       = {Tran Cao Son and
                  Enrico Pontelli and
                  Ngoc{-}Hieu Nguyen},
  editor       = {J{\"{u}}rgen Dix and
                  Michael Fisher and
                  Peter Nov{\'{a}}k},
  title        = {Planning for Multiagent Using ASP-Prolog},
  booktitle    = {Computational Logic in Multi-Agent Systems - 10th International Workshop,
                  {CLIMA} X, Hamburg, Germany, September 9-10, 2009, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6214},
  pages        = {1--21},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-16867-3\_1},
  doi          = {10.1007/978-3-642-16867-3\_1},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/clima/SonPN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/clima/VisserHJ09,
  author       = {Wietske Visser and
                  Koen V. Hindriks and
                  Catholijn M. Jonker},
  editor       = {J{\"{u}}rgen Dix and
                  Michael Fisher and
                  Peter Nov{\'{a}}k},
  title        = {Argumentation-Based Preference Modelling with Incomplete Information},
  booktitle    = {Computational Logic in Multi-Agent Systems - 10th International Workshop,
                  {CLIMA} X, Hamburg, Germany, September 9-10, 2009, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6214},
  pages        = {141--157},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-16867-3\_8},
  doi          = {10.1007/978-3-642-16867-3\_8},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/clima/VisserHJ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.