BibTeX records: Piotr Kulicki

download as .bib file

@article{DBLP:journals/igpl/GlavanicovaJKK23,
  author       = {Daniela Glavanicov{\'{a}} and
                  Tomasz Jarmuzek and
                  Mateusz Klonowski and
                  Piotr Kulicki},
  title        = {Free choice permission, legitimization and relating semantics},
  journal      = {Log. J. {IGPL}},
  volume       = {31},
  number       = {3},
  pages        = {574--597},
  year         = {2023},
  url          = {https://doi.org/10.1093/jigpal/jzac047},
  doi          = {10.1093/JIGPAL/JZAC047},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/GlavanicovaJKK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Kulicki22,
  author       = {Piotr Kulicki},
  title        = {Book Reviews},
  journal      = {Stud Logica},
  volume       = {110},
  number       = {1},
  pages        = {291--293},
  year         = {2022},
  url          = {https://doi.org/10.1007/s11225-021-09976-9},
  doi          = {10.1007/S11225-021-09976-9},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sLogica/Kulicki22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-00147,
  author       = {Xin Sun and
                  Feifei He and
                  Daowen Qiu and
                  Piotr Kulicki and
                  Mirek Sopek and
                  Meiyun Guo},
  title        = {Distributed Quantum Vote Based on Quantum Logical Operators, a New
                  Battlefield of the Second Quantum Revolution},
  journal      = {CoRR},
  volume       = {abs/2202.00147},
  year         = {2022},
  url          = {https://arxiv.org/abs/2202.00147},
  eprinttype    = {arXiv},
  eprint       = {2202.00147},
  timestamp    = {Thu, 10 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2202-00147.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ail/KulickiTS21,
  author       = {Piotr Kulicki and
                  Robert Trypuz and
                  Marek J. Sergot},
  title        = {Who is obliged when many are involved? Labelled transition system
                  modelling of how obligation arises},
  journal      = {Artif. Intell. Law},
  volume       = {29},
  number       = {3},
  pages        = {395--415},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10506-020-09279-9},
  doi          = {10.1007/S10506-020-09279-9},
  timestamp    = {Thu, 12 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ail/KulickiTS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/SunKS21,
  author       = {Xin Sun and
                  Piotr Kulicki and
                  Mirek Sopek},
  title        = {Logic Programming with Post-Quantum Cryptographic Primitives for Smart
                  Contract on Quantum-Secured Blockchain},
  journal      = {Entropy},
  volume       = {23},
  number       = {9},
  pages        = {1120},
  year         = {2021},
  url          = {https://doi.org/10.3390/e23091120},
  doi          = {10.3390/E23091120},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entropy/SunKS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-11364,
  author       = {Xin Sun and
                  Feifei He and
                  Piotr Kulicki and
                  Mirek Sopek},
  title        = {Schr{\"{o}}dinger's Ballot: Quantum Information and the Violation
                  of Arrow's Impossibility Theorem},
  journal      = {CoRR},
  volume       = {abs/2103.11364},
  year         = {2021},
  url          = {https://arxiv.org/abs/2103.11364},
  eprinttype    = {arXiv},
  eprint       = {2103.11364},
  timestamp    = {Wed, 24 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2103-11364.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/axioms/Kulicki20,
  author       = {Piotr Kulicki},
  title        = {Aristotle's Syllogistic as a Deductive System},
  journal      = {Axioms},
  volume       = {9},
  number       = {2},
  pages        = {56},
  year         = {2020},
  url          = {https://doi.org/10.3390/axioms9020056},
  doi          = {10.3390/AXIOMS9020056},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/axioms/Kulicki20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/SunKS20,
  author       = {Xin Sun and
                  Piotr Kulicki and
                  Mirek Sopek},
  title        = {Multi-Party Quantum Byzantine Agreement without Entanglement},
  journal      = {Entropy},
  volume       = {22},
  number       = {10},
  pages        = {1152},
  year         = {2020},
  url          = {https://doi.org/10.3390/e22101152},
  doi          = {10.3390/E22101152},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entropy/SunKS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/SunKS20a,
  author       = {Xin Sun and
                  Piotr Kulicki and
                  Mirek Sopek},
  title        = {Lottery and Auction on Quantum Blockchain},
  journal      = {Entropy},
  volume       = {22},
  number       = {12},
  pages        = {1377},
  year         = {2020},
  url          = {https://doi.org/10.3390/e22121377},
  doi          = {10.3390/E22121377},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entropy/SunKS20a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/KulickiR20,
  author       = {Piotr Kulicki and
                  Olivier Roy},
  title        = {From Permissions to Obligations and Beyond: An Editorial},
  journal      = {Stud Logica},
  volume       = {108},
  number       = {1},
  pages        = {1--3},
  year         = {2020},
  url          = {https://doi.org/10.1007/s11225-019-09881-2},
  doi          = {10.1007/S11225-019-09881-2},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/KulickiR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-09120,
  author       = {Xin Sun and
                  Piotr Kulicki and
                  Mirek Sopek},
  title        = {Multi-party Quantum Byzantine Agreement Without Entanglement},
  journal      = {CoRR},
  volume       = {abs/2003.09120},
  year         = {2020},
  url          = {https://arxiv.org/abs/2003.09120},
  eprinttype    = {arXiv},
  eprint       = {2003.09120},
  timestamp    = {Tue, 24 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2003-09120.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-10312,
  author       = {Xin Sun and
                  Piotr Kulicki and
                  Mirek Sopek},
  title        = {Bit Commitment for Lottery and Auction on Quantum Blockchain},
  journal      = {CoRR},
  volume       = {abs/2004.10312},
  year         = {2020},
  url          = {https://arxiv.org/abs/2004.10312},
  eprinttype    = {arXiv},
  eprint       = {2004.10312},
  timestamp    = {Tue, 28 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-10312.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/SunSWK19,
  author       = {Xin Sun and
                  Mirek Sopek and
                  Quanlong Wang and
                  Piotr Kulicki},
  title        = {Towards Quantum-Secured Permissioned Blockchain: Signature, Consensus,
                  and Logic},
  journal      = {Entropy},
  volume       = {21},
  number       = {9},
  pages        = {887},
  year         = {2019},
  url          = {https://doi.org/10.3390/e21090887},
  doi          = {10.3390/E21090887},
  timestamp    = {Thu, 28 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entropy/SunSWK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaisc/GrebskiPK19,
  author       = {Tomasz Grebski and
                  Krzysztof Pancerz and
                  Piotr Kulicki},
  editor       = {Leszek Rutkowski and
                  Rafal Scherer and
                  Marcin Korytkowski and
                  Witold Pedrycz and
                  Ryszard Tadeusiewicz and
                  Jacek M. Zurada},
  title        = {Automatic Recognition of Melody Similarity},
  booktitle    = {Artificial Intelligence and Soft Computing - 18th International Conference,
                  {ICAISC} 2019, Zakopane, Poland, June 16-20, 2019, Proceedings, Part
                  {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11509},
  pages        = {542--552},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-20915-5\_48},
  doi          = {10.1007/978-3-030-20915-5\_48},
  timestamp    = {Thu, 23 Jun 2022 19:57:15 +0200},
  biburl       = {https://dblp.org/rec/conf/icaisc/GrebskiPK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jnca/ZhouWSKC18,
  author       = {Lu Zhou and
                  Quanlong Wang and
                  Xin Sun and
                  Piotr Kulicki and
                  Arcangelo Castiglione},
  title        = {Quantum technique for access control in cloud computing {II:} Encryption
                  and key distribution},
  journal      = {J. Netw. Comput. Appl.},
  volume       = {103},
  pages        = {178--184},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jnca.2017.11.012},
  doi          = {10.1016/J.JNCA.2017.11.012},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jnca/ZhouWSKC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/KulickiTM18,
  author       = {Piotr Kulicki and
                  Robert Trypuz and
                  Michael P. Musielewicz},
  editor       = {Jan M. Broersen and
                  Cleo Condoravdi and
                  Nair Shyam and
                  Gabriella Pigozzi},
  title        = {Towards a Formal Ethics for Autonomous Cars},
  booktitle    = {Deontic Logic and Normative Systems - 14th International Conference,
                  {DEON} 2018, Utrecht, The Netherlands, July 3-6, 2018},
  pages        = {193--209},
  publisher    = {College Publications},
  year         = {2018},
  timestamp    = {Tue, 30 Oct 2018 16:34:44 +0100},
  biburl       = {https://dblp.org/rec/conf/deon/KulickiTM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-06768,
  author       = {Xin Sun and
                  Quanlong Wang and
                  Piotr Kulicki and
                  Xishun Zhao},
  title        = {Quantum-enhanced Logic-based Blockchain {I:} Quantum Honest-success
                  Byzantine Agreement and Qulogicoin},
  journal      = {CoRR},
  volume       = {abs/1805.06768},
  year         = {2018},
  url          = {http://arxiv.org/abs/1805.06768},
  eprinttype    = {arXiv},
  eprint       = {1805.06768},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1805-06768.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-11979,
  author       = {Xin Sun and
                  Quanlong Wang and
                  Piotr Kulicki},
  title        = {A Simple Voting Protocol on Quantum Blockchain},
  journal      = {CoRR},
  volume       = {abs/1805.11979},
  year         = {2018},
  url          = {http://arxiv.org/abs/1805.11979},
  eprinttype    = {arXiv},
  eprint       = {1805.11979},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1805-11979.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/KulickiT17,
  author       = {Piotr Kulicki and
                  Robert Trypuz},
  title        = {Connecting Actions and States in Deontic Logic},
  journal      = {Stud Logica},
  volume       = {105},
  number       = {5},
  pages        = {915--942},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11225-017-9716-1},
  doi          = {10.1007/S11225-017-9716-1},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/KulickiT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/KulickiT16,
  author       = {Piotr Kulicki and
                  Robert Trypuz},
  editor       = {Olivier Roy and
                  Allard M. Tamminga and
                  Malte Willer},
  title        = {Multivalued Logics for Conflicting Norms},
  booktitle    = {Deontic Logic and Normative Systems - 13th International Conference,
                  {DEON} 2016, Bayreuth, Germany, July 18-21, 2018},
  pages        = {123--138},
  publisher    = {College Publications},
  year         = {2016},
  timestamp    = {Mon, 04 Mar 2019 12:56:41 +0100},
  biburl       = {https://dblp.org/rec/conf/deon/KulickiT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/PetersonK16,
  author       = {Clayton Peterson and
                  Piotr Kulicki},
  editor       = {Olivier Roy and
                  Allard M. Tamminga and
                  Malte Willer},
  title        = {Conditional Normative Reasoning with Substructural Logics},
  booktitle    = {Deontic Logic and Normative Systems - 13th International Conference,
                  {DEON} 2016, Bayreuth, Germany, July 18-21, 2018},
  pages        = {220--236},
  publisher    = {College Publications},
  year         = {2016},
  timestamp    = {Tue, 30 Oct 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/deon/PetersonK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mtsr/TrypuzKGTW16,
  author       = {Robert Trypuz and
                  Piotr Kulicki and
                  Przemyslaw Gradzki and
                  Rafal Tr{\'{o}}jczak and
                  Jerzy Wierzbicki},
  editor       = {Emmanouel Garoufallou and
                  Imma Subirats Coll and
                  Armando Stellato and
                  Jane Greenberg},
  title        = {Machine-Understandable and Processable Representation of {UNECE} Standards
                  for Meat. Bovine Meat - Carcases and Cuts Case Study},
  booktitle    = {Metadata and Semantics Research - 10th International Conference, {MTSR}
                  2016, G{\"{o}}ttingen, Germany, November 22-25, 2016, Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {672},
  pages        = {144--154},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-49157-8\_12},
  doi          = {10.1007/978-3-319-49157-8\_12},
  timestamp    = {Sat, 19 Oct 2019 20:01:03 +0200},
  biburl       = {https://dblp.org/rec/conf/mtsr/TrypuzKGTW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/TrypuzK15,
  author       = {Robert Trypuz and
                  Piotr Kulicki},
  title        = {On deontic action logics based on Boolean algebra},
  journal      = {J. Log. Comput.},
  volume       = {25},
  number       = {5},
  pages        = {1241--1260},
  year         = {2015},
  url          = {https://doi.org/10.1093/logcom/ext057},
  doi          = {10.1093/LOGCOM/EXT057},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/TrypuzK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/TrypuzK15,
  author       = {Robert Trypuz and
                  Piotr Kulicki},
  title        = {Jerzy Kalinowski's Logic of Normative Sentences Revisited},
  journal      = {Stud Logica},
  volume       = {103},
  number       = {2},
  pages        = {389--412},
  year         = {2015},
  url          = {https://doi.org/10.1007/s11225-014-9572-1},
  doi          = {10.1007/S11225-014-9572-1},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/TrypuzK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/KulickiT15,
  author       = {Piotr Kulicki and
                  Robert Trypuz},
  title        = {Completely and partially executable sequences of actions in deontic
                  context},
  journal      = {Synth.},
  volume       = {192},
  number       = {4},
  pages        = {1117--1138},
  year         = {2015},
  url          = {https://doi.org/10.1007/s11229-014-0604-1},
  doi          = {10.1007/S11229-014-0604-1},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/KulickiT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/TrojczakTMK15,
  author       = {Rafal Tr{\'{o}}jczak and
                  Robert Trypuz and
                  Anna Mazurek and
                  Piotr Kulicki},
  editor       = {Maria Ganzha and
                  Leszek A. Maciaszek and
                  Marcin Paprzycki},
  title        = {Knowledge transfer from agri-food scientific papers to a knowledge
                  base},
  booktitle    = {2015 Federated Conference on Computer Science and Information Systems,
                  FedCSIS 2015, L{\'{o}}dz, Poland, September 13-16, 2015},
  series       = {Annals of Computer Science and Information Systems},
  volume       = {5},
  pages        = {1705--1712},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.15439/2015F209},
  doi          = {10.15439/2015F209},
  timestamp    = {Mon, 07 Aug 2023 11:27:13 +0200},
  biburl       = {https://dblp.org/rec/conf/fedcsis/TrojczakTMK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/TrypuzK14,
  author       = {Robert Trypuz and
                  Piotr Kulicki},
  editor       = {Fabrizio Cariani and
                  Davide Grossi and
                  Joke Meheus and
                  Xavier Parent},
  title        = {A Deontic Logic of Actions and States},
  booktitle    = {Deontic Logic and Normative Systems - 12th International Conference,
                  {DEON} 2014, Ghent, Belgium, July 12-15, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8554},
  pages        = {258--272},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-08615-6\_19},
  doi          = {10.1007/978-3-319-08615-6\_19},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deon/TrypuzK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mtsr/KulickiTTWW13,
  author       = {Piotr Kulicki and
                  Robert Trypuz and
                  Rafal Tr{\'{o}}jczak and
                  Jerzy Wierzbicki and
                  Alicja Wozniak},
  editor       = {Emmanouel Garoufallou and
                  Jane Greenberg},
  title        = {Ontology-Based Representation of Scientific Laws on Beef Production
                  and Consumption},
  booktitle    = {Metadata and Semantics Research - 7th Research Conference, {MTSR}
                  2013, Thessaloniki, Greece, November 19-22, 2013. Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {390},
  pages        = {430--439},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-03437-9\_42},
  doi          = {10.1007/978-3-319-03437-9\_42},
  timestamp    = {Mon, 28 Aug 2023 21:17:28 +0200},
  biburl       = {https://dblp.org/rec/conf/mtsr/KulickiTTWW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Kulicki12,
  author       = {Piotr Kulicki},
  title        = {An Axiomatisation of a Pure Calculus of Names},
  journal      = {Stud Logica},
  volume       = {100},
  number       = {5},
  pages        = {921--946},
  year         = {2012},
  url          = {https://doi.org/10.1007/s11225-012-9441-8},
  doi          = {10.1007/S11225-012-9441-8},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Kulicki12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/KulickiT12,
  author       = {Piotr Kulicki and
                  Robert Trypuz},
  editor       = {Thomas {\AA}gotnes and
                  Jan M. Broersen and
                  Dag Elgesem},
  title        = {A Deontic Action Logic with Sequential Composition of Actions},
  booktitle    = {Deontic Logic in Computer Science - 11th International Conference,
                  {DEON} 2012, Bergen, Norway, July 16-18, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7393},
  pages        = {184--198},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31570-1\_13},
  doi          = {10.1007/978-3-642-31570-1\_13},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deon/KulickiT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/KulickiTW12,
  author       = {Piotr Kulicki and
                  Robert Trypuz and
                  Jerzy Wierzbicki},
  editor       = {Maria Ganzha and
                  Leszek A. Maciaszek and
                  Marcin Paprzycki},
  title        = {Towards beef ontology and its application},
  booktitle    = {Federated Conference on Computer Science and Information Systems -
                  FedCSIS 2012, Wroclaw, Poland, 9-12 September 2012, Proceedings},
  pages        = {483--488},
  year         = {2012},
  url          = {https://fedcsis.org/proceedings/2012/pliks/287.pdf},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fedcsis/KulickiTW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcci/KacprzakKTBGLR11,
  author       = {Magdalena Kacprzak and
                  Piotr Kulicki and
                  Robert Trypuz and
                  Katarzyna Budzynska and
                  Pawel Garbacz and
                  Marek Lechniak and
                  Pawel Rembelski},
  title        = {Using the Perseus System for Modelling Epistemic Interactions},
  journal      = {Trans. Comput. Collect. Intell.},
  volume       = {5},
  pages        = {106--123},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24016-4\_6},
  doi          = {10.1007/978-3-642-24016-4\_6},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcci/KacprzakKTBGLR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/TrypuzK10,
  author       = {Robert Trypuz and
                  Piotr Kulicki},
  editor       = {Guido Governatori and
                  Giovanni Sartor},
  title        = {Towards Metalogical Systematisation of Deontic Action Logics Based
                  on Boolean Algebra},
  booktitle    = {Deontic Logic in Computer Science, 10th International Conference,
                  {DEON} 2010, Fiesole, Italy, July 7-9, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6181},
  pages        = {132--147},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14183-6\_11},
  doi          = {10.1007/978-3-642-14183-6\_11},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deon/TrypuzK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fois/GarbaczTSKGL10,
  author       = {Pawel Garbacz and
                  Robert Trypuz and
                  Bogumil Szady and
                  Piotr Kulicki and
                  Przemyslaw Gradzki and
                  Marek Lechniak},
  editor       = {Antony Galton and
                  Riichiro Mizoguchi},
  title        = {Towards a formal ontology for history of church administration},
  booktitle    = {Formal Ontology in Information Systems, Proceedings of the Sixth International
                  Conference, {FOIS} 2010, Toronto, Canada, May 11-14, 2010},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {209},
  pages        = {345--358},
  publisher    = {{IOS} Press},
  year         = {2010},
  url          = {https://doi.org/10.3233/978-1-60750-535-8-345},
  doi          = {10.3233/978-1-60750-535-8-345},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fois/GarbaczTSKGL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/KacprzakKTBGLR10,
  author       = {Magdalena Kacprzak and
                  Piotr Kulicki and
                  Robert Trypuz and
                  Katarzyna Budzynska and
                  Pawel Garbacz and
                  Marek Lechniak and
                  Pawel Rembelski},
  editor       = {Piotr Jedrzejowicz and
                  Ngoc Thanh Nguyen and
                  Robert J. Howlett and
                  Lakhmi C. Jain},
  title        = {Using Perseus System for Modelling Epistemic Interactions},
  booktitle    = {Agent and Multi-Agent Systems: Technologies and Applications, 4th
                  {KES} International Symposium, {KES-AMSTA} 2010, Gdynia, Poland, June
                  23-25, 2010, Proceedings. Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6070},
  pages        = {315--324},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13480-7\_33},
  doi          = {10.1007/978-3-642-13480-7\_33},
  timestamp    = {Thu, 16 Mar 2023 20:00:31 +0100},
  biburl       = {https://dblp.org/rec/conf/kesamsta/KacprzakKTBGLR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fomi/GarbaczLKT09,
  author       = {Pawel Garbacz and
                  Marek Lechniak and
                  Piotr Kulicki and
                  Robert Trypuz},
  editor       = {Roberta Ferrario and
                  Alessandro Oltramari},
  title        = {Do you still want to vote for your favorite politician? Ask Ontobella!},
  booktitle    = {Formal Ontologies Meet Industry, Proceedings of the 4th Workshop {FOMI}
                  2009, September 2, 2009, Vicenza, Italy, in association with the 10th
                  European Conference on Knowledge Management},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {198},
  pages        = {102--113},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-047-6-102},
  doi          = {10.3233/978-1-60750-047-6-102},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fomi/GarbaczLKT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccci/GarbaczKLT09,
  author       = {Pawel Garbacz and
                  Piotr Kulicki and
                  Marek Lechniak and
                  Robert Trypuz},
  editor       = {Ngoc Thanh Nguyen and
                  Radoslaw P. Katarzyniak and
                  Adam Janiak},
  title        = {A Formal Model for Epistemic Interactions},
  booktitle    = {New Challenges in Computational Collective Intelligence [selected
                  papers from the 1st International Conference on Collective Intelligence
                  - Semantic Web, Social Networks {\&} Multiagent Systems, {ICCCI}
                  2009]},
  series       = {Studies in Computational Intelligence},
  volume       = {244},
  pages        = {205--216},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03958-4\_18},
  doi          = {10.1007/978-3-642-03958-4\_18},
  timestamp    = {Thu, 16 Mar 2023 20:00:29 +0100},
  biburl       = {https://dblp.org/rec/conf/iccci/GarbaczKLT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/GarbaczKLT09,
  author       = {Pawel Garbacz and
                  Piotr Kulicki and
                  Marek Lechniak and
                  Robert Trypuz},
  editor       = {B{\"{a}}rbel Mertsching and
                  Marcus Hund and
                  Muhammad Zaheer Aziz},
  title        = {Beyond Public Announcement Logic: An Alternative Approach to Some
                  {AI} Puzzles},
  booktitle    = {{KI} 2009: Advances in Artificial Intelligence, 32nd Annual German
                  Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5803},
  pages        = {379--386},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04617-9\_48},
  doi          = {10.1007/978-3-642-04617-9\_48},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/GarbaczKLT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics