BibTeX records: Piotr Kazmierczak

download as .bib file

@article{DBLP:journals/corr/PedersenDK14,
  author    = {Truls Pedersen and
               Sjur Dyrkolbotn and
               Piotr Kazmierczak},
  title     = {Big, but not unruly: Tractable norms for anonymous game structures},
  journal   = {CoRR},
  volume    = {abs/1405.6899},
  year      = {2014},
  url       = {http://arxiv.org/abs/1405.6899},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/PedersenDK14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ki/Kazmierczak14,
  author    = {Piotr Kazmierczak},
  title     = {Gerhard Weiss (ed.): Multiagent Systems - {MIT} Press, 867 pp., {ISBN}
               978-0-262-01889-0},
  journal   = {{KI}},
  volume    = {28},
  number    = {3},
  pages     = {223--224},
  year      = {2014},
  url       = {https://doi.org/10.1007/s13218-014-0310-7},
  doi       = {10.1007/s13218-014-0310-7},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ki/Kazmierczak14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/atal/DyrkolbotnK14,
  author    = {Sjur Dyrkolbotn and
               Piotr Kazmierczak},
  title     = {Playing with norms: tractability of normative systems for homogeneous
               game structures},
  booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
               {AAMAS} '14, Paris, France, May 5-9, 2014},
  pages     = {125--132},
  year      = {2014},
  crossref  = {DBLP:conf/atal/2014},
  url       = {http://dl.acm.org/citation.cfm?id=2615754},
  timestamp = {Thu, 25 Sep 2014 07:46:15 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atal/DyrkolbotnK14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/eumas/Kazmierczak14,
  author    = {Piotr Kazmierczak},
  title     = {Compliance Games},
  booktitle = {Multi-Agent Systems - 12th European Conference, {EUMAS} 2014, Prague,
               Czech Republic, December 18-19, 2014, Revised Selected Papers},
  pages     = {210--218},
  year      = {2014},
  crossref  = {DBLP:conf/eumas/2014},
  url       = {https://doi.org/10.1007/978-3-319-17130-2_14},
  doi       = {10.1007/978-3-319-17130-2_14},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/eumas/Kazmierczak14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/prima/KazmierczakAJ14,
  author    = {Piotr Kazmierczak and
               Thomas {\AA}gotnes and
               Wojciech Jamroga},
  title     = {Multi-agency Is Coordination and (Limited) Communication},
  booktitle = {{PRIMA} 2014: Principles and Practice of Multi-Agent Systems - 17th
               International Conference, Gold Coast, QLD, Australia, December 1-5,
               2014. Proceedings},
  pages     = {91--106},
  year      = {2014},
  crossref  = {DBLP:conf/prima/2014},
  url       = {https://doi.org/10.1007/978-3-319-13191-7_8},
  doi       = {10.1007/978-3-319-13191-7_8},
  timestamp = {Thu, 15 Jun 2017 21:32:25 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/prima/KazmierczakAJ14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1303-0792,
  author    = {Truls Pedersen and
               Sjur Dyrkolbotn and
               Piotr Kazmierczak and
               Erik Parmann},
  title     = {Concurrent Game Structures with Roles},
  booktitle = {Proceedings 1st International Workshop on Strategic Reasoning, {SR}
               2013, Rome, Italy, March 16-17, 2013.},
  pages     = {61--69},
  year      = {2013},
  crossref  = {DBLP:journals/corr/abs-1303-0071},
  url       = {https://doi.org/10.4204/EPTCS.112.11},
  doi       = {10.4204/EPTCS.112.11},
  timestamp = {Wed, 03 May 2017 14:47:55 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1303-0792},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-3495,
  author    = {Sjur Dyrkolbotn and
               Piotr Kazmierczak and
               Erik Parmann and
               Truls Pedersen},
  title     = {No big deal: introducing roles to reduce the size of {ATL} models},
  journal   = {CoRR},
  volume    = {abs/1204.3495},
  year      = {2012},
  url       = {http://arxiv.org/abs/1204.3495},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1204-3495},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stairs/KazmierczakPA12,
  author    = {Piotr Kazmierczak and
               Truls Pedersen and
               Thomas {\AA}gotnes},
  title     = {{NORMC:} a Norm Compliance Temporal Logic Model Checker},
  booktitle = {{STAIRS} 2012 - Proceedings of the Sixth Starting {AI} Researchers'
               Symposium, Montpellier, France, 27-28 August 2012},
  pages     = {168--179},
  year      = {2012},
  crossref  = {DBLP:conf/stairs/2012},
  url       = {https://doi.org/10.3233/978-1-61499-096-3-168},
  doi       = {10.3233/978-1-61499-096-3-168},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/stairs/KazmierczakPA12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/atal/2014,
  editor    = {Ana L. C. Bazzan and
               Michael N. Huhns and
               Alessio Lomuscio and
               Paul Scerri},
  title     = {International conference on Autonomous Agents and Multi-Agent Systems,
               {AAMAS} '14, Paris, France, May 5-9, 2014},
  publisher = {{IFAAMAS/ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2615731},
  isbn      = {978-1-4503-2738-1},
  timestamp = {Thu, 25 Sep 2014 07:46:15 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atal/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/eumas/2014,
  editor    = {Nils Bulling},
  title     = {Multi-Agent Systems - 12th European Conference, {EUMAS} 2014, Prague,
               Czech Republic, December 18-19, 2014, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8953},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-17130-2},
  doi       = {10.1007/978-3-319-17130-2},
  isbn      = {978-3-319-17129-6},
  timestamp = {Fri, 26 May 2017 00:49:47 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/eumas/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/prima/2014,
  editor    = {Hoa Khanh Dam and
               Jeremy V. Pitt and
               Yang Xu and
               Guido Governatori and
               Takayuki Ito},
  title     = {{PRIMA} 2014: Principles and Practice of Multi-Agent Systems - 17th
               International Conference, Gold Coast, QLD, Australia, December 1-5,
               2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8861},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-13191-7},
  doi       = {10.1007/978-3-319-13191-7},
  isbn      = {978-3-319-13190-0},
  timestamp = {Thu, 15 Jun 2017 21:32:25 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/prima/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1303-0071,
  editor    = {Fabio Mogavero and
               Aniello Murano and
               Moshe Y. Vardi},
  title     = {Proceedings 1st International Workshop on Strategic Reasoning, {SR}
               2013, Rome, Italy, March 16-17, 2013},
  series    = {{EPTCS}},
  volume    = {112},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.112},
  doi       = {10.4204/EPTCS.112},
  timestamp = {Wed, 03 May 2017 14:47:55 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1303-0071},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stairs/2012,
  editor    = {Kristian Kersting and
               Marc Toussaint},
  title     = {{STAIRS} 2012 - Proceedings of the Sixth Starting {AI} Researchers'
               Symposium, Montpellier, France, 27-28 August 2012},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {241},
  publisher = {{IOS} Press},
  year      = {2012},
  url       = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=31509},
  isbn      = {978-1-61499-095-6},
  timestamp = {Tue, 23 Oct 2012 20:53:33 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/stairs/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier