BibTeX records: Jan Jakubuv

download as .bib file

@inproceedings{DBLP:conf/cpp/JakubuvU17,
  author    = {Jan Jakubuv and
               Josef Urban},
  title     = {BliStrTune: hierarchical invention of theorem proving strategies},
  booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} Conference on Certified Programs
               and Proofs, {CPP} 2017, Paris, France, January 16-17, 2017},
  pages     = {43--52},
  year      = {2017},
  crossref  = {DBLP:conf/cpp/2017},
  url       = {http://doi.acm.org/10.1145/3018610.3018619},
  doi       = {10.1145/3018610.3018619},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/cpp/JakubuvU17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mkm/JakubuvU17,
  author    = {Jan Jakubuv and
               Josef Urban},
  title     = {{ENIGMA:} Efficient Learning-Based Inference Guiding Machine},
  booktitle = {Intelligent Computer Mathematics - 10th International Conference,
               {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  pages     = {292--302},
  year      = {2017},
  crossref  = {DBLP:conf/mkm/2017},
  url       = {https://doi.org/10.1007/978-3-319-62075-6_20},
  doi       = {10.1007/978-3-319-62075-6_20},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/mkm/JakubuvU17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/JakubuvU17,
  author    = {Jan Jakubuv and
               Josef Urban},
  title     = {{ENIGMA:} Efficient Learning-based Inference Guiding Machine},
  journal   = {CoRR},
  volume    = {abs/1701.06532},
  year      = {2017},
  url       = {http://arxiv.org/abs/1701.06532},
  archivePrefix = {arXiv},
  eprint    = {1701.06532},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/JakubuvU17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/kais/TozickaJKP16,
  author    = {Jan Tozicka and
               Jan Jakubuv and
               Anton{\'{\i}}n Komenda and
               Michal Pechoucek},
  title     = {Privacy-concerned multiagent planning},
  journal   = {Knowl. Inf. Syst.},
  volume    = {48},
  number    = {3},
  pages     = {581--618},
  year      = {2016},
  url       = {https://doi.org/10.1007/s10115-015-0887-7},
  doi       = {10.1007/s10115-015-0887-7},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/kais/TozickaJKP16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aips/TozickaJSK16,
  author    = {Jan Tozicka and
               Jan Jakubuv and
               Martin Svatos and
               Anton{\'{\i}}n Komenda},
  title     = {Recursive Polynomial Reductions for Classical Planning},
  booktitle = {Proceedings of the Twenty-Sixth International Conference on Automated
               Planning and Scheduling, {ICAPS} 2016, London, UK, June 12-17, 2016.},
  pages     = {317--325},
  year      = {2016},
  crossref  = {DBLP:conf/aips/2016},
  url       = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13088},
  timestamp = {Wed, 08 Jun 2016 12:49:09 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aips/TozickaJSK16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icaart/TozickaJK16,
  author    = {Jan Tozicka and
               Jan Jakubuv and
               Anton{\'{\i}}n Komenda},
  title     = {Recursive Reductions of Internal Dependencies in Multiagent Planning},
  booktitle = {Proceedings of the 8th International Conference on Agents and Artificial
               Intelligence {(ICAART} 2016), Volume 2, Rome, Italy, February 24-26,
               2016.},
  pages     = {181--191},
  year      = {2016},
  crossref  = {DBLP:conf/icaart/2016-2},
  url       = {https://doi.org/10.5220/0005754901810191},
  doi       = {10.5220/0005754901810191},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icaart/TozickaJK16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mkm/JakubuvU16,
  author    = {Jan Jakubuv and
               Josef Urban},
  title     = {Extending {E} Prover with Similarity Based Clause Selection Strategies},
  booktitle = {Intelligent Computer Mathematics - 9th International Conference, {CICM}
               2016, Bialystok, Poland, July 25-29, 2016, Proceedings},
  pages     = {151--156},
  year      = {2016},
  crossref  = {DBLP:conf/mkm/2016},
  url       = {https://doi.org/10.1007/978-3-319-42547-4_11},
  doi       = {10.1007/978-3-319-42547-4_11},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/mkm/JakubuvU16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/JakubuvU16,
  author    = {Jan Jakubuv and
               Josef Urban},
  title     = {Extending {E} Prover with Similarity Based Clause Selection Strategies},
  journal   = {CoRR},
  volume    = {abs/1606.03888},
  year      = {2016},
  url       = {http://arxiv.org/abs/1606.03888},
  archivePrefix = {arXiv},
  eprint    = {1606.03888},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/JakubuvU16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/JakubuvU16a,
  author    = {Jan Jakubuv and
               Josef Urban},
  title     = {BliStrTune: Hierarchical Invention of Theorem Proving Strategies},
  journal   = {CoRR},
  volume    = {abs/1611.08733},
  year      = {2016},
  url       = {http://arxiv.org/abs/1611.08733},
  archivePrefix = {arXiv},
  eprint    = {1611.08733},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/JakubuvU16a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcci/TozickaJDK15,
  author    = {Jan Tozicka and
               Jan Jakubuv and
               Karel Durkota and
               Anton{\'{\i}}n Komenda},
  title     = {Extensibility Based Multiagent Planner with Plan Diversity Metrics},
  journal   = {Trans. Computational Collective Intelligence},
  volume    = {20},
  pages     = {117--139},
  year      = {2015},
  crossref  = {DBLP:journals/tcci/2015-20},
  url       = {https://doi.org/10.1007/978-3-319-27543-7_6},
  doi       = {10.1007/978-3-319-27543-7_6},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/tcci/TozickaJDK15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/eumas/TozickaJK15,
  author    = {Jan Tozicka and
               Jan Jakubuv and
               Anton{\'{\i}}n Komenda},
  title     = {From Public Plans to Global Solutions in Multiagent Planning},
  booktitle = {Multi-Agent Systems and Agreement Technologies - 13th European Conference,
               {EUMAS} 2015, and Third International Conference, {AT} 2015, Athens,
               Greece, December 17-18, 2015, Revised Selected Papers},
  pages     = {21--33},
  year      = {2015},
  crossref  = {DBLP:conf/eumas/2015},
  url       = {https://doi.org/10.1007/978-3-319-33509-4_2},
  doi       = {10.1007/978-3-319-33509-4_2},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/eumas/TozickaJK15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icaart/JakubuvTK15,
  author    = {Jan Jakubuv and
               Jan Tozicka and
               Anton{\'{\i}}n Komenda},
  title     = {Multiagent Planning by Plan Set Intersection and Plan Verification},
  booktitle = {{ICAART} 2015 - Proceedings of the International Conference on Agents
               and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January,
               2015.},
  pages     = {173--182},
  year      = {2015},
  crossref  = {DBLP:conf/icaart/2015-2},
  timestamp = {Tue, 15 Sep 2015 09:53:57 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icaart/JakubuvTK15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icaart/JakubuvTK15a,
  author    = {Jan Jakubuv and
               Jan Tozicka and
               Anton{\'{\i}}n Komenda},
  title     = {Using Process Calculi for Plan Verification in Multiagent Planning},
  booktitle = {Agents and Artificial Intelligence - 7th International Conference,
               {ICAART} 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected
               Papers},
  pages     = {245--261},
  year      = {2015},
  crossref  = {DBLP:conf/icaart/2015s},
  url       = {https://doi.org/10.1007/978-3-319-27947-3_13},
  doi       = {10.1007/978-3-319-27947-3_13},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/icaart/JakubuvTK15a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ecai/TozickaJK14,
  author    = {Jan Tozicka and
               Jan Jakubuv and
               Anton{\'{\i}}n Komenda},
  title     = {Generating Multi-Agent Plans by Distributed Intersection of Finite
               State Machines},
  booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
               18-22 August 2014, Prague, Czech Republic - Including Prestigious
               Applications of Intelligent Systems {(PAIS} 2014)},
  pages     = {1111--1112},
  year      = {2014},
  crossref  = {DBLP:conf/ecai/2014},
  url       = {https://doi.org/10.3233/978-1-61499-419-0-1111},
  doi       = {10.3233/978-1-61499-419-0-1111},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ecai/TozickaJK14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icaart/TozickaJDKP14,
  author    = {Jan Tozicka and
               Jan Jakubuv and
               Karel Durkota and
               Anton{\'{\i}}n Komenda and
               Michal Pechoucek},
  title     = {Multiagent Planning Supported by Plan Diversity Metrics and Landmark
               Actions},
  booktitle = {{ICAART} 2014 - Proceedings of the 6th International Conference on
               Agents and Artificial Intelligence, Volume 1, ESEO, Angers, Loire
               Valley, France, 6-8 March, 2014},
  pages     = {178--189},
  year      = {2014},
  crossref  = {DBLP:conf/icaart/2014-1},
  url       = {https://doi.org/10.5220/0004918701780189},
  doi       = {10.5220/0004918701780189},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icaart/TozickaJDKP14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tgc/JakubuvW10,
  author    = {Jan Jakubuv and
               J. B. Wells},
  title     = {Expressiveness of Generic Process Shape Types},
  booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC}
               2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers},
  pages     = {103--119},
  year      = {2010},
  crossref  = {DBLP:conf/tgc/2010},
  url       = {https://doi.org/10.1007/978-3-642-15640-3_8},
  doi       = {10.1007/978-3-642-15640-3_8},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/tgc/JakubuvW10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1003-6096,
  author    = {Jan Jakubuv and
               J. B. Wells},
  title     = {Expressiveness of Generic Process Shape Types},
  journal   = {CoRR},
  volume    = {abs/1003.6096},
  year      = {2010},
  url       = {http://arxiv.org/abs/1003.6096},
  archivePrefix = {arXiv},
  eprint    = {1003.6096},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1003-6096},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cpp/2017,
  editor    = {Yves Bertot and
               Viktor Vafeiadis},
  title     = {Proceedings of the 6th {ACM} {SIGPLAN} Conference on Certified Programs
               and Proofs, {CPP} 2017, Paris, France, January 16-17, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://doi.acm.org/10.1145/3018610},
  doi       = {10.1145/3018610},
  isbn      = {978-1-4503-4705-1},
  timestamp = {Mon, 02 Jan 2017 14:41:55 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/cpp/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mkm/2017,
  editor    = {Herman Geuvers and
               Matthew England and
               Osman Hasan and
               Florian Rabe and
               Olaf Teschke},
  title     = {Intelligent Computer Mathematics - 10th International Conference,
               {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10383},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-62075-6},
  doi       = {10.1007/978-3-319-62075-6},
  isbn      = {978-3-319-62074-9},
  timestamp = {Wed, 28 Jun 2017 13:08:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mkm/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aips/2016,
  editor    = {Amanda Jane Coles and
               Andrew Coles and
               Stefan Edelkamp and
               Daniele Magazzeni and
               Scott Sanner},
  title     = {Proceedings of the Twenty-Sixth International Conference on Automated
               Planning and Scheduling, {ICAPS} 2016, London, UK, June 12-17, 2016},
  publisher = {{AAAI} Press},
  year      = {2016},
  url       = {http://www.aaai.org/Library/ICAPS/icaps16contents.php},
  isbn      = {978-1-57735-757-5},
  timestamp = {Wed, 08 Jun 2016 12:49:09 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aips/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icaart/2016-2,
  editor    = {H. Jaap van den Herik and
               Joaquim Filipe},
  title     = {Proceedings of the 8th International Conference on Agents and Artificial
               Intelligence {(ICAART} 2016), Volume 2, Rome, Italy, February 24-26,
               2016},
  publisher = {SciTePress},
  year      = {2016},
  timestamp = {Wed, 05 Apr 2017 12:53:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icaart/2016-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mkm/2016,
  editor    = {Michael Kohlhase and
               Moa Johansson and
               Bruce R. Miller and
               Leonardo de Moura and
               Frank Wm. Tompa},
  title     = {Intelligent Computer Mathematics - 9th International Conference, {CICM}
               2016, Bialystok, Poland, July 25-29, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9791},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-42547-4},
  doi       = {10.1007/978-3-319-42547-4},
  isbn      = {978-3-319-42546-7},
  timestamp = {Wed, 17 May 2017 10:54:57 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mkm/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/tcci/2015-20,
  editor    = {Ngoc Thanh Nguyen and
               Ryszard Kowalczyk and
               B{\'{e}}atrice Duval and
               H. Jaap van den Herik and
               St{\'{e}}phane Loiseau and
               Joaquim Filipe},
  title     = {Transactions on Computational Collective Intelligence {XX}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9420},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-27543-7},
  doi       = {10.1007/978-3-319-27543-7},
  isbn      = {978-3-319-27542-0},
  timestamp = {Sun, 28 May 2017 13:22:09 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcci/2015-20},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/eumas/2015,
  editor    = {Michael Rovatsos and
               George A. Vouros and
               Vicente Juli{\'{a}}n},
  title     = {Multi-Agent Systems and Agreement Technologies - 13th European Conference,
               {EUMAS} 2015, and Third International Conference, {AT} 2015, Athens,
               Greece, December 17-18, 2015, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9571},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-33509-4},
  doi       = {10.1007/978-3-319-33509-4},
  isbn      = {978-3-319-33508-7},
  timestamp = {Fri, 26 May 2017 00:49:47 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/eumas/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icaart/2015-2,
  editor    = {St{\'{e}}phane Loiseau and
               Joaquim Filipe and
               B{\'{e}}atrice Duval and
               H. Jaap van den Herik},
  title     = {{ICAART} 2015 - Proceedings of the International Conference on Agents
               and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January,
               2015},
  publisher = {SciTePress},
  year      = {2015},
  isbn      = {978-989-758-074-1},
  timestamp = {Tue, 15 Sep 2015 09:53:57 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icaart/2015-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icaart/2015s,
  editor    = {B{\'{e}}atrice Duval and
               H. Jaap van den Herik and
               St{\'{e}}phane Loiseau and
               Joaquim Filipe},
  title     = {Agents and Artificial Intelligence - 7th International Conference,
               {ICAART} 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9494},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-27947-3},
  doi       = {10.1007/978-3-319-27947-3},
  isbn      = {978-3-319-27946-6},
  timestamp = {Thu, 25 May 2017 00:40:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icaart/2015s},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ecai/2014,
  editor    = {Torsten Schaub and
               Gerhard Friedrich and
               Barry O'Sullivan},
  title     = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
               18-22 August 2014, Prague, Czech Republic - Including Prestigious
               Applications of Intelligent Systems {(PAIS} 2014)},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {263},
  publisher = {{IOS} Press},
  year      = {2014},
  isbn      = {978-1-61499-418-3},
  timestamp = {Thu, 11 Sep 2014 15:40:47 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ecai/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icaart/2014-1,
  editor    = {B{\'{e}}atrice Duval and
               H. Jaap van den Herik and
               St{\'{e}}phane Loiseau and
               Joaquim Filipe},
  title     = {{ICAART} 2014 - Proceedings of the 6th International Conference on
               Agents and Artificial Intelligence, Volume 1, ESEO, Angers, Loire
               Valley, France, 6-8 March, 2014},
  publisher = {SciTePress},
  year      = {2014},
  isbn      = {978-989-758-015-4},
  timestamp = {Wed, 29 Mar 2017 16:45:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icaart/2014-1},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tgc/2010,
  editor    = {Martin Wirsing and
               Martin Hofmann and
               Axel Rauschmayer},
  title     = {Trustworthly Global Computing - 5th International Symposium, {TGC}
               2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6084},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15640-3},
  doi       = {10.1007/978-3-642-15640-3},
  isbn      = {978-3-642-15639-7},
  timestamp = {Sun, 21 May 2017 00:19:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tgc/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier