Piotr Kulicki

According to our database, Piotr Kulicki authored at least 38 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

$\varvec{Brings~It~About~That}$ Operators Decomposed with Relating Semantics.

Tomasz Jarmuzek, Mateusz Klonowski, Piotr Kulicki

Stud Logica, June, 2024

Ontology of autonomous driving based on the SAE J3016 standard.

Robert Trypuz, Piotr Kulicki, Mirek Sopek

Semantic Web, 2024

2023

Free choice permission, legitimization and relating semantics.

Daniela Glavanicová, Tomasz Jarmuzek, Mateusz Klonowski, Piotr Kulicki

Log. J. IGPL, May, 2023

2022

Book Reviews.

Piotr Kulicki

Stud Logica, 2022

Distributed Quantum Vote Based on Quantum Logical Operators, a New Battlefield of the Second Quantum Revolution.

Xin Sun, Feifei He, Daowen Qiu, Piotr Kulicki, Mirek Sopek, Meiyun Guo

CoRR, 2022

2021

Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain.

Xin Sun, Piotr Kulicki, Mirek Sopek

Entropy, 2021

Schrödinger's Ballot: Quantum Information and the Violation of Arrow's Impossibility Theorem.

Xin Sun, Feifei He, Piotr Kulicki, Mirek Sopek

CoRR, 2021

Who is obliged when many are involved? Labelled transition system modelling of how obligation arises.

Piotr Kulicki, Robert Trypuz, Marek J. Sergot

Artif. Intell. Law, 2021

2020

From Permissions to Obligations and Beyond: An Editorial.

Piotr Kulicki, Olivier Roy

Stud Logica, 2020

Lottery and Auction on Quantum Blockchain.

Xin Sun, Piotr Kulicki, Mirek Sopek

Entropy, 2020

Multi-Party Quantum Byzantine Agreement without Entanglement.

Xin Sun, Piotr Kulicki, Mirek Sopek

Entropy, 2020

Bit Commitment for Lottery and Auction on Quantum Blockchain.

Xin Sun, Piotr Kulicki, Mirek Sopek

CoRR, 2020

Aristotle's Syllogistic as a Deductive System.

Piotr Kulicki

Axioms, 2020

2019

Towards Quantum-Secured Permissioned Blockchain: Signature, Consensus, and Logic.

Xin Sun, Mirek Sopek, Quanlong Wang, Piotr Kulicki

Entropy, 2019

Automatic Recognition of Melody Similarity.

Tomasz Grebski, Krzysztof Pancerz, Piotr Kulicki

Proceedings of the Artificial Intelligence and Soft Computing, 2019

2018

Quantum technique for access control in cloud computing II: Encryption and key distribution.

Lu Zhou, Quanlong Wang, Xin Sun, Piotr Kulicki, Arcangelo Castiglione

J. Netw. Comput. Appl., 2018

A Simple Voting Protocol on Quantum Blockchain.

Xin Sun, Quanlong Wang, Piotr Kulicki

CoRR, 2018

Quantum-enhanced Logic-based Blockchain I: Quantum Honest-success Byzantine Agreement and Qulogicoin.

Xin Sun, Quanlong Wang, Piotr Kulicki, Xishun Zhao

CoRR, 2018

Towards a Formal Ethics for Autonomous Cars.

Piotr Kulicki, Robert Trypuz, Michael P. Musielewicz

Proceedings of the Deontic Logic and Normative Systems - 14th International Conference, 2018

2017

Connecting Actions and States in Deontic Logic.

Piotr Kulicki, Robert Trypuz

Stud Logica, 2017

2016

Machine-Understandable and Processable Representation of UNECE Standards for Meat. Bovine Meat - Carcases and Cuts Case Study.

Robert Trypuz, Piotr Kulicki, Przemyslaw Gradzki, Rafal Trójczak, Jerzy Wierzbicki

Proceedings of the Metadata and Semantics Research - 10th International Conference, 2016

Conditional Normative Reasoning with Substructural Logics.

Clayton Peterson, Piotr Kulicki

Proceedings of the Deontic Logic and Normative Systems - 13th International Conference, 2016

Multivalued Logics for Conflicting Norms.

Piotr Kulicki, Robert Trypuz

Proceedings of the Deontic Logic and Normative Systems - 13th International Conference, 2016

2015

Completely and partially executable sequences of actions in deontic context.

Piotr Kulicki, Robert Trypuz

Synth., 2015

Jerzy Kalinowski's Logic of Normative Sentences Revisited.

Robert Trypuz, Piotr Kulicki

Stud Logica, 2015

On deontic action logics based on Boolean algebra.

Robert Trypuz, Piotr Kulicki

J. Log. Comput., 2015

Knowledge transfer from agri-food scientific papers to a knowledge base.

Rafal Trójczak, Robert Trypuz, Anna Mazurek, Piotr Kulicki

Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, 2015

2014

A Deontic Logic of Actions and States.

Robert Trypuz, Piotr Kulicki

Proceedings of the Deontic Logic and Normative Systems - 12th International Conference, 2014

2013

Ontology-Based Representation of Scientific Laws on Beef Production and Consumption.

Piotr Kulicki, Robert Trypuz, Rafal Trójczak, Jerzy Wierzbicki, Alicja Wozniak

Proceedings of the Metadata and Semantics Research - 7th Research Conference, 2013

2012

An Axiomatisation of a Pure Calculus of Names.

Piotr Kulicki

Stud Logica, 2012

Towards beef ontology and its application.

Piotr Kulicki, Robert Trypuz, Jerzy Wierzbicki

Proceedings of the Federated Conference on Computer Science and Information Systems, 2012

A Deontic Action Logic with Sequential Composition of Actions.

Piotr Kulicki, Robert Trypuz

Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012

2011

Using the Perseus System for Modelling Epistemic Interactions.

Magdalena Kacprzak, Piotr Kulicki, Robert Trypuz, Katarzyna Budzynska, Pawel Garbacz, Marek Lechniak, Pawel Rembelski

Trans. Comput. Collect. Intell., 2011

2010

Towards a formal ontology for history of church administration.

Pawel Garbacz, Robert Trypuz, Bogumil Szady, Piotr Kulicki, Przemyslaw Gradzki, Marek Lechniak

Proceedings of the Formal Ontology in Information Systems, 2010

Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra.

Robert Trypuz, Piotr Kulicki

Proceedings of the Deontic Logic in Computer Science, 10th International Conference, 2010

2009

Beyond Public Announcement Logic: An Alternative Approach to Some AI Puzzles.

Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robert Trypuz

Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

A Formal Model for Epistemic Interactions.

Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robert Trypuz

Proceedings of the New Challenges in Computational Collective Intelligence [selected papers from the 1st International Conference on Collective Intelligence, 2009

Do you still want to vote for your favorite politician? Ask Ontobella!

Pawel Garbacz, Marek Lechniak, Piotr Kulicki, Robert Trypuz

Proceedings of the Formal Ontologies Meet Industry, 2009