Piotr Kulicki

44 papers B 1C 3Misc 1Journal 26Unranked 13
YearRankTypeTitle / Venue / Authors
2026 J jnl
HuReTEx: From deep learning models to explainable information flow models.
SoftwareX
Krzysztof Pancerz, Piotr Kulicki, Michal Kalisz, Andrzej Burda, Maciej Stanislawski, Zofia Matusiewicz, Ewa Szlachtowska, Jaromir Sarzynski
2025 — conf
Ontology of Autonomous Driving as a Tool for Argumentation on Responsibility.
CLAR
Piotr Kulicki, Robert Trypuz
2025 J jnl
Readable Twins of Unreadable Models.
CoRR
Krzysztof Pancerz, Piotr Kulicki, Michal Kalisz, Andrzej Burda, Maciej Stanislawski, Jaromir Sarzynski
2025 B conf
Towards Computer Aided Transformation of Spoken Text to Cued Speech for Speech Therapy.
KES
Krzysztof Pancerz, Piotr Kulicki, Renata Kolodziejczyk, Aleksandra Borowicz, Julianna Habdank, Krystian Gulas
2024 J jnl
$\varvec{Brings~It~About~That}$ Operators Decomposed with Relating Semantics.
Stud Logica
Tomasz Jarmuzek, Mateusz Klonowski, Piotr Kulicki
2024 J jnl
Ontology of autonomous driving based on the SAE J3016 standard.
Semantic Web
Robert Trypuz, Piotr Kulicki, Mirek Sopek
2023 J jnl
Free choice permission, legitimization and relating semantics.
Log. J. IGPL
Daniela Glavanicová, Tomasz Jarmuzek, Mateusz Klonowski, Piotr Kulicki
2022 J jnl
Book Reviews.
Stud Logica
Piotr Kulicki
2022 J jnl
Distributed Quantum Vote Based on Quantum Logical Operators, a New Battlefield of the Second Quantum Revolution.
CoRR
Xin Sun, Feifei He, Daowen Qiu, Piotr Kulicki, Mirek Sopek, Meiyun Guo
2021 J jnl
Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain.
Entropy
Xin Sun, Piotr Kulicki, Mirek Sopek
2021 J jnl
Schrödinger's Ballot: Quantum Information and the Violation of Arrow's Impossibility Theorem.
CoRR
Xin Sun, Feifei He, Piotr Kulicki, Mirek Sopek
2021 J jnl
Who is obliged when many are involved? Labelled transition system modelling of how obligation arises.
Artif. Intell. Law
Piotr Kulicki, Robert Trypuz, Marek J. Sergot
2020 J jnl
Aristotle's Syllogistic as a Deductive System.
Axioms
Piotr Kulicki
2020 J jnl
Bit Commitment for Lottery and Auction on Quantum Blockchain.
CoRR
Xin Sun, Piotr Kulicki, Mirek Sopek
2020 J jnl
From Permissions to Obligations and Beyond: An Editorial.
Stud Logica
Piotr Kulicki, Olivier Roy
2020 J jnl
Lottery and Auction on Quantum Blockchain.
Entropy
Xin Sun, Piotr Kulicki, Mirek Sopek
2020 J jnl
Multi-Party Quantum Byzantine Agreement without Entanglement.
Entropy
Xin Sun, Piotr Kulicki, Mirek Sopek
2020 J jnl
Multi-party Quantum Byzantine Agreement Without Entanglement.
CoRR
Xin Sun, Piotr Kulicki, Mirek Sopek
2019 — conf
Automatic Recognition of Melody Similarity.
ICAISC (2)
Tomasz Grebski, Krzysztof Pancerz, Piotr Kulicki
2019 J jnl
Towards Quantum-Secured Permissioned Blockchain: Signature, Consensus, and Logic.
Entropy
Xin Sun, Mirek Sopek, Quanlong Wang, Piotr Kulicki
2018 J jnl
A Simple Voting Protocol on Quantum Blockchain.
CoRR
Xin Sun, Quanlong Wang, Piotr Kulicki
2018 J jnl
Quantum technique for access control in cloud computing II: Encryption and key distribution.
J. Netw. Comput. Appl.
Lu Zhou, Quanlong Wang, Xin Sun, Piotr Kulicki, Arcangelo Castiglione
2018 J jnl
Quantum-enhanced Logic-based Blockchain I: Quantum Honest-success Byzantine Agreement and Qulogicoin.
CoRR
Xin Sun, Quanlong Wang, Piotr Kulicki, Xishun Zhao
2018 — conf
Towards a Formal Ethics for Autonomous Cars.
DEON
Piotr Kulicki, Robert Trypuz, Michael P. Musielewicz
2017 J jnl
Connecting Actions and States in Deontic Logic.
Stud Logica
Piotr Kulicki, Robert Trypuz
2016 — conf
Conditional Normative Reasoning with Substructural Logics.
DEON
Clayton Peterson, Piotr Kulicki
2016 — conf
Machine-Understandable and Processable Representation of UNECE Standards for Meat. Bovine Meat - Carcases and Cuts Case Study.
MTSR
Robert Trypuz, Piotr Kulicki, Przemyslaw Gradzki, Rafal Trójczak, Jerzy Wierzbicki
2016 — conf
Multivalued Logics for Conflicting Norms.
DEON
Piotr Kulicki, Robert Trypuz
2015 J jnl
Completely and partially executable sequences of actions in deontic context.
Synth.
Piotr Kulicki, Robert Trypuz
2015 J jnl
Jerzy Kalinowski's Logic of Normative Sentences Revisited.
Stud Logica
Robert Trypuz, Piotr Kulicki
2015 C conf
Knowledge transfer from agri-food scientific papers to a knowledge base.
FedCSIS
Rafal Trójczak, Robert Trypuz, Anna Mazurek, Piotr Kulicki
2015 J jnl
On deontic action logics based on Boolean algebra.
J. Log. Comput.
Robert Trypuz, Piotr Kulicki
2014 — conf
A Deontic Logic of Actions and States.
DEON
Robert Trypuz, Piotr Kulicki
2013 — conf
Ontology-Based Representation of Scientific Laws on Beef Production and Consumption.
MTSR
Piotr Kulicki, Robert Trypuz, Rafal Trójczak, Jerzy Wierzbicki, Alicja Wozniak
2012 — conf
A Deontic Action Logic with Sequential Composition of Actions.
DEON
Piotr Kulicki, Robert Trypuz
2012 J jnl
An Axiomatisation of a Pure Calculus of Names.
Stud Logica
Piotr Kulicki
2012 C conf
Towards beef ontology and its application.
FedCSIS
Piotr Kulicki, Robert Trypuz, Jerzy Wierzbicki
2011 J jnl
Using the Perseus System for Modelling Epistemic Interactions.
Trans. Comput. Collect. Intell.
Magdalena Kacprzak, Piotr Kulicki, Robert Trypuz, Katarzyna Budzynska, Pawel Garbacz, Marek Lechniak, Pawel Rembelski
2010 — conf
Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra.
DEON
Robert Trypuz, Piotr Kulicki
2010 C conf
Towards a formal ontology for history of church administration.
FOIS
Pawel Garbacz, Robert Trypuz, Bogumil Szady, Piotr Kulicki, Przemyslaw Gradzki, Marek Lechniak
2010 — conf
Using Perseus System for Modelling Epistemic Interactions.
KES-AMSTA (1)
Magdalena Kacprzak, Piotr Kulicki, Robert Trypuz, Katarzyna Budzynska, Pawel Garbacz, Marek Lechniak, Pawel Rembelski
2009 — conf
A Formal Model for Epistemic Interactions.
ICCCI (SCI Volume)
Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robert Trypuz
2009 Misc conf
Beyond Public Announcement Logic: An Alternative Approach to Some AI Puzzles.
KI
Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robert Trypuz
2009 — conf
Do you still want to vote for your favorite politician? Ask Ontobella!
FOMI
Pawel Garbacz, Marek Lechniak, Piotr Kulicki, Robert Trypuz