Piotr Kulicki

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 27

Top Topics

Quantum Computation

Perceptual Aliasing

Top Venues

Publications

Tomasz Jarmuzek, Mateusz Klonowski, Piotr Kulicki
$\varvec{Brings~It~About~That}$ Operators Decomposed with Relating Semantics. Stud Logica 112 (3) (2024)
Daniela Glavanicová, Tomasz Jarmuzek, Mateusz Klonowski, Piotr Kulicki
Free choice permission, legitimization and relating semantics. Log. J. IGPL 31 (3) (2023)
Xin Sun, Feifei He, Daowen Qiu, Piotr Kulicki, Mirek Sopek, Meiyun Guo
Distributed Quantum Vote Based on Quantum Logical Operators, a New Battlefield of the Second Quantum Revolution. CoRR (2022)
Piotr Kulicki
Book Reviews. Stud Logica 110 (1) (2022)
Xin Sun, Piotr Kulicki, Mirek Sopek
Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain. Entropy 23 (9) (2021)
Xin Sun, Feifei He, Piotr Kulicki, Mirek Sopek
Schrödinger's Ballot: Quantum Information and the Violation of Arrow's Impossibility Theorem. CoRR (2021)
Piotr Kulicki, Robert Trypuz, Marek J. Sergot
Who is obliged when many are involved? Labelled transition system modelling of how obligation arises. Artif. Intell. Law 29 (3) (2021)
Xin Sun, Piotr Kulicki, Mirek Sopek
Lottery and Auction on Quantum Blockchain. Entropy 22 (12) (2020)
Xin Sun, Piotr Kulicki, Mirek Sopek
Bit Commitment for Lottery and Auction on Quantum Blockchain. CoRR (2020)
Xin Sun, Piotr Kulicki, Mirek Sopek
Multi-Party Quantum Byzantine Agreement without Entanglement. Entropy 22 (10) (2020)
Piotr Kulicki, Olivier Roy
From Permissions to Obligations and Beyond: An Editorial. Stud Logica 108 (1) (2020)
Xin Sun, Piotr Kulicki, Mirek Sopek
Multi-party Quantum Byzantine Agreement Without Entanglement. CoRR (2020)
Piotr Kulicki
Aristotle's Syllogistic as a Deductive System. Axioms 9 (2) (2020)
Xin Sun, Mirek Sopek, Quanlong Wang, Piotr Kulicki
Towards Quantum-Secured Permissioned Blockchain: Signature, Consensus, and Logic. Entropy 21 (9) (2019)
Tomasz Grebski, Krzysztof Pancerz, Piotr Kulicki
Automatic Recognition of Melody Similarity. ICAISC (2) (2019)
Xin Sun, Quanlong Wang, Piotr Kulicki, Xishun Zhao
Quantum-enhanced Logic-based Blockchain I: Quantum Honest-success Byzantine Agreement and Qulogicoin. CoRR (2018)
Xin Sun, Quanlong Wang, Piotr Kulicki
A Simple Voting Protocol on Quantum Blockchain. CoRR (2018)
Piotr Kulicki, Robert Trypuz, Michael P. Musielewicz
Towards a Formal Ethics for Autonomous Cars. DEON (2018)
Lu Zhou, Quanlong Wang, Xin Sun, Piotr Kulicki, Arcangelo Castiglione
Quantum technique for access control in cloud computing II: Encryption and key distribution. J. Netw. Comput. Appl. 103 (2018)
Piotr Kulicki, Robert Trypuz
Connecting Actions and States in Deontic Logic. Stud Logica 105 (5) (2017)
Piotr Kulicki, Robert Trypuz
Multivalued Logics for Conflicting Norms. DEON (2016)
Clayton Peterson, Piotr Kulicki
Conditional Normative Reasoning with Substructural Logics. DEON (2016)
Robert Trypuz, Piotr Kulicki, Przemyslaw Gradzki, Rafal Trójczak, Jerzy Wierzbicki
Machine-Understandable and Processable Representation of UNECE Standards for Meat. Bovine Meat - Carcases and Cuts Case Study. MTSR (2016)
Rafal Trójczak, Robert Trypuz, Anna Mazurek, Piotr Kulicki
Knowledge transfer from agri-food scientific papers to a knowledge base. FedCSIS (2015)
Piotr Kulicki, Robert Trypuz
Completely and partially executable sequences of actions in deontic context. Synth. 192 (4) (2015)
Robert Trypuz, Piotr Kulicki
Jerzy Kalinowski's Logic of Normative Sentences Revisited. Stud Logica 103 (2) (2015)
Robert Trypuz, Piotr Kulicki
On deontic action logics based on Boolean algebra. J. Log. Comput. 25 (5) (2015)
Robert Trypuz, Piotr Kulicki
A Deontic Logic of Actions and States. DEON (2014)
Piotr Kulicki, Robert Trypuz, Rafal Trójczak, Jerzy Wierzbicki, Alicja Wozniak
Ontology-Based Representation of Scientific Laws on Beef Production and Consumption. MTSR (2013)
Piotr Kulicki
An Axiomatisation of a Pure Calculus of Names. Stud Logica 100 (5) (2012)
Piotr Kulicki, Robert Trypuz, Jerzy Wierzbicki
Towards beef ontology and its application. FedCSIS (2012)
Piotr Kulicki, Robert Trypuz
A Deontic Action Logic with Sequential Composition of Actions. DEON (2012)
Magdalena Kacprzak, Piotr Kulicki, Robert Trypuz, Katarzyna Budzynska, Pawel Garbacz, Marek Lechniak, Pawel Rembelski
Using the Perseus System for Modelling Epistemic Interactions. Trans. Comput. Collect. Intell. 5 (2011)
Pawel Garbacz, Robert Trypuz, Bogumil Szady, Piotr Kulicki, Przemyslaw Gradzki, Marek Lechniak
Towards a formal ontology for history of church administration. FOIS (2010)
Magdalena Kacprzak, Piotr Kulicki, Robert Trypuz, Katarzyna Budzynska, Pawel Garbacz, Marek Lechniak, Pawel Rembelski
Using Perseus System for Modelling Epistemic Interactions. KES-AMSTA (1) (2010)
Robert Trypuz, Piotr Kulicki
Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra. DEON (2010)
Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robert Trypuz
Beyond Public Announcement Logic: An Alternative Approach to Some AI Puzzles. KI (2009)
Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robert Trypuz
A Formal Model for Epistemic Interactions. ICCCI (SCI Volume) (2009)
Pawel Garbacz, Marek Lechniak, Piotr Kulicki, Robert Trypuz
Do you still want to vote for your favorite politician? Ask Ontobella! FOMI (2009)