Search dblp for Publications

export results for "toc:db/conf/lcmas/lcmas2003.bht:"

 download as .bib file

@proceedings{DBLP:conf/lcmas/2003,
  editor       = {Wiebe van der Hoek and
                  Alessio Lomuscio and
                  Erik P. de Vink and
                  Michael J. Wooldridge},
  title        = {1st International Workshop on Logic and Communication in Multi-Agent
                  Systems, {LCMAS} 2003, Eindhoven, The Netherlands, June 29, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {85},
  number       = {2},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/85/issue/2},
  timestamp    = {Thu, 08 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lcmas/2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AlbertiGLMT04,
  author       = {Marco Alberti and
                  Marco Gavanelli and
                  Evelina Lamma and
                  Paola Mello and
                  Paolo Torroni},
  editor       = {Wiebe van der Hoek and
                  Alessio Lomuscio and
                  Erik P. de Vink and
                  Michael J. Wooldridge},
  title        = {Specification and Verification of Agent Interaction using Social Integrity
                  Constraints},
  booktitle    = {1st International Workshop on Logic and Communication in Multi-Agent
                  Systems, {LCMAS} 2003, Eindhoven, The Netherlands, June 29, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {85},
  number       = {2},
  pages        = {94--116},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(05)82605-2},
  doi          = {10.1016/S1571-0661(05)82605-2},
  timestamp    = {Thu, 08 Dec 2022 14:11:09 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AlbertiGLMT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HoekL04,
  author       = {Wiebe van der Hoek and
                  Alessio Lomuscio},
  editor       = {Wiebe van der Hoek and
                  Alessio Lomuscio and
                  Erik P. de Vink and
                  Michael J. Wooldridge},
  title        = {A Logic For Ignorance},
  booktitle    = {1st International Workshop on Logic and Communication in Multi-Agent
                  Systems, {LCMAS} 2003, Eindhoven, The Netherlands, June 29, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {85},
  number       = {2},
  pages        = {117--133},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(05)82606-4},
  doi          = {10.1016/S1571-0661(05)82606-4},
  timestamp    = {Thu, 08 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HoekL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HoekLVW04,
  author       = {Wiebe van der Hoek and
                  Alessio Lomuscio and
                  Erik P. de Vink and
                  Michael J. Wooldridge},
  editor       = {Wiebe van der Hoek and
                  Alessio Lomuscio and
                  Erik P. de Vink and
                  Michael J. Wooldridge},
  title        = {Preface: Volume 85, Issue 2},
  booktitle    = {1st International Workshop on Logic and Communication in Multi-Agent
                  Systems, {LCMAS} 2003, Eindhoven, The Netherlands, June 29, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {85},
  number       = {2},
  pages        = {81},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(05)82603-9},
  doi          = {10.1016/S1571-0661(05)82603-9},
  timestamp    = {Thu, 08 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HoekLVW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LebbinkWM04,
  author       = {Henk{-}Jan Lebbink and
                  Cilia Witteman and
                  John{-}Jules Ch. Meyer},
  editor       = {Wiebe van der Hoek and
                  Alessio Lomuscio and
                  Erik P. de Vink and
                  Michael J. Wooldridge},
  title        = {Dialogue Games for Inconsistent and Biased Information},
  booktitle    = {1st International Workshop on Logic and Communication in Multi-Agent
                  Systems, {LCMAS} 2003, Eindhoven, The Netherlands, June 29, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {85},
  number       = {2},
  pages        = {134--151},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(05)82607-6},
  doi          = {10.1016/S1571-0661(05)82607-6},
  timestamp    = {Thu, 08 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LebbinkWM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/OtterlooHW04,
  author       = {Sieuwert van Otterloo and
                  Wiebe van der Hoek and
                  Michael J. Wooldridge},
  editor       = {Wiebe van der Hoek and
                  Alessio Lomuscio and
                  Erik P. de Vink and
                  Michael J. Wooldridge},
  title        = {Knowledge as Strategic Ability},
  booktitle    = {1st International Workshop on Logic and Communication in Multi-Agent
                  Systems, {LCMAS} 2003, Eindhoven, The Netherlands, June 29, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {85},
  number       = {2},
  pages        = {152--175},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(05)82608-8},
  doi          = {10.1016/S1571-0661(05)82608-8},
  timestamp    = {Thu, 08 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/OtterlooHW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/RaimondiL04,
  author       = {Franco Raimondi and
                  Alessio Lomuscio},
  editor       = {Wiebe van der Hoek and
                  Alessio Lomuscio and
                  Erik P. de Vink and
                  Michael J. Wooldridge},
  title        = {A Tool For Specification And Verification Of Epistemic Properties
                  In Interpreted Systems},
  booktitle    = {1st International Workshop on Logic and Communication in Multi-Agent
                  Systems, {LCMAS} 2003, Eindhoven, The Netherlands, June 29, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {85},
  number       = {2},
  pages        = {176--191},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(05)82609-X},
  doi          = {10.1016/S1571-0661(05)82609-X},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/RaimondiL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Schobbens04,
  author       = {Pierre{-}Yves Schobbens},
  editor       = {Wiebe van der Hoek and
                  Alessio Lomuscio and
                  Erik P. de Vink and
                  Michael J. Wooldridge},
  title        = {Alternating-time logic with imperfect recall},
  booktitle    = {1st International Workshop on Logic and Communication in Multi-Agent
                  Systems, {LCMAS} 2003, Eindhoven, The Netherlands, June 29, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {85},
  number       = {2},
  pages        = {82--93},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(05)82604-0},
  doi          = {10.1016/S1571-0661(05)82604-0},
  timestamp    = {Thu, 08 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Schobbens04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/VerdicchioC04,
  author       = {Mario Verdicchio and
                  Marco Colombetti},
  editor       = {Wiebe van der Hoek and
                  Alessio Lomuscio and
                  Erik P. de Vink and
                  Michael J. Wooldridge},
  title        = {A Logical Model for Agent Communication Languages},
  booktitle    = {1st International Workshop on Logic and Communication in Multi-Agent
                  Systems, {LCMAS} 2003, Eindhoven, The Netherlands, June 29, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {85},
  number       = {2},
  pages        = {192--207},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(05)82610-6},
  doi          = {10.1016/S1571-0661(05)82610-6},
  timestamp    = {Thu, 08 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/VerdicchioC04.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.