Search dblp for Publications

export results for "toc:db/journals/entcs/entcs126.bht:"

 download as .bib file

@inproceedings{DBLP:journals/entcs/BaltagCS05,
  author       = {Alexandru Baltag and
                  Bob Coecke and
                  Mehrnoosh Sadrzadeh},
  editor       = {Wiebe van der Hoek and
                  Alessio Lomuscio and
                  Erik P. de Vink and
                  Michael J. Wooldridge},
  title        = {Algebra and Sequent Calculus for Epistemic Actions},
  booktitle    = {Proceedings of the 2nd International Workshop on Logic and Communication
                  in Multi-Agent Systems, {LCMAS} 2004, Nancy, France, August 16-20,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {126},
  pages        = {27--52},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.11.012},
  doi          = {10.1016/J.ENTCS.2004.11.012},
  timestamp    = {Wed, 21 Dec 2022 08:42:11 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BaltagCS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HoekLVW05,
  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},
  booktitle    = {Proceedings of the 2nd International Workshop on Logic and Communication
                  in Multi-Agent Systems, {LCMAS} 2004, Nancy, France, August 16-20,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {126},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.11.010},
  doi          = {10.1016/J.ENTCS.2004.11.010},
  timestamp    = {Mon, 12 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HoekLVW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HommersomMV05,
  author       = {Arjen Hommersom and
                  John{-}Jules Ch. Meyer and
                  Erik P. de Vink},
  editor       = {Wiebe van der Hoek and
                  Alessio Lomuscio and
                  Erik P. de Vink and
                  Michael J. Wooldridge},
  title        = {Toward Reasoning about Security Protocols: {A} Semantic Approach},
  booktitle    = {Proceedings of the 2nd International Workshop on Logic and Communication
                  in Multi-Agent Systems, {LCMAS} 2004, Nancy, France, August 16-20,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {126},
  pages        = {53--75},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.11.013},
  doi          = {10.1016/J.ENTCS.2004.11.013},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/HommersomMV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/OtterlooJ05,
  author       = {Sieuwert van Otterloo and
                  Geert Jonker},
  editor       = {Wiebe van der Hoek and
                  Alessio Lomuscio and
                  Erik P. de Vink and
                  Michael J. Wooldridge},
  title        = {On Epistemic Temporal Strategic Logic},
  booktitle    = {Proceedings of the 2nd International Workshop on Logic and Communication
                  in Multi-Agent Systems, {LCMAS} 2004, Nancy, France, August 16-20,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {126},
  pages        = {77--92},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.11.014},
  doi          = {10.1016/J.ENTCS.2004.11.014},
  timestamp    = {Mon, 12 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/OtterlooJ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SchlingloffMS05,
  author       = {Bernd{-}Holger Schlingloff and
                  Axel Martens and
                  Karsten Schmidt},
  editor       = {Wiebe van der Hoek and
                  Alessio Lomuscio and
                  Erik P. de Vink and
                  Michael J. Wooldridge},
  title        = {Modeling and Model Checking Web Services},
  booktitle    = {Proceedings of the 2nd International Workshop on Logic and Communication
                  in Multi-Agent Systems, {LCMAS} 2004, Nancy, France, August 16-20,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {126},
  pages        = {3--26},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.11.011},
  doi          = {10.1016/J.ENTCS.2004.11.011},
  timestamp    = {Mon, 12 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SchlingloffMS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/WoznaLP05,
  author       = {Bozena Wozna and
                  Alessio Lomuscio and
                  Wojciech Penczek},
  editor       = {Wiebe van der Hoek and
                  Alessio Lomuscio and
                  Erik P. de Vink and
                  Michael J. Wooldridge},
  title        = {Bounded Model Checking for Deontic Interpreted Systems},
  booktitle    = {Proceedings of the 2nd International Workshop on Logic and Communication
                  in Multi-Agent Systems, {LCMAS} 2004, Nancy, France, August 16-20,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {126},
  pages        = {93--114},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.11.015},
  doi          = {10.1016/J.ENTCS.2004.11.015},
  timestamp    = {Mon, 12 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/WoznaLP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/lcmas/2004,
  editor       = {Wiebe van der Hoek and
                  Alessio Lomuscio and
                  Erik P. de Vink and
                  Michael J. Wooldridge},
  title        = {Proceedings of the 2nd International Workshop on Logic and Communication
                  in Multi-Agent Systems, {LCMAS} 2004, Nancy, France, August 16-20,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {126},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/126/suppl/C},
  timestamp    = {Wed, 21 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lcmas/2004.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.