Παρακολούθηση
Piotr Kulicki
Piotr Kulicki
John Paul II Catholic University of Lublin
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα l3g.pl - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
A simple voting protocol on quantum blockchain
X Sun, Q Wang, P Kulicki, M Sopek
International Journal of Theoretical Physics 58, 275-281, 2019
872019
Towards Quantum-Secured Permissioned Blockchain: Signature, Consensus, and Logic
X Sun, M Sopek, Q Wang, P Kulicki
Entropy 21 (8), 723, 2019
652019
On deontic action logics based on Boolean algebra
R Trypuz, P Kulicki
Journal of Logic and Computation 25 (5), 1241-1260, 2015
402015
A systematics of deontic action logics based on boolean algebra
R Trypuz, P Kulicki
Logic and Logical Philosophy 18 (3-4), 253-270, 2009
382009
Quantum Technique for Access Control in Cloud Computing II: Encryption and Key Distribution
L Zhou, Q Wang, X Sun, P Kulicki, A Castiglione
Journal of Network and Computer Applications, 2017
322017
The Polish school of argumentation: a manifesto
K Budzynska, M Araszkiewicz, B Bogołȩbska, P Cap, T Ciecierski, ...
Argumentation 28 (3), 267-282, 2014
232014
Towards metalogical systematisation of deontic action logics based on boolean algebra
R Trypuz, P Kulicki
Deontic Logic in Computer Science: 10th International Conference, DEON 2010 …, 2010
212010
Multi-Party Quantum Byzantine Agreement without Entanglement
X Sun, P Kulicki, M Sopek
Entropy 22 (10), 1152, 2020
182020
Multi-party Quantum Byzantine Agreement Without Entanglement
X Sun, P Kulicki, M Sopek
arXiv preprint arXiv:2003.09120, 2020
182020
Quantum-enhanced logic-based blockchain i: Quantum honest-success byzantine agreement and qulogicoin
X Sun, Q Wang, P Kulicki, X Zhao
arXiv preprint arXiv:1805.06768, 2018
172018
Lottery and auction on quantum blockchain
X Sun, P Kulicki, M Sopek
Entropy 22 (12), 1377, 2020
132020
Aristotle’s syllogistic as a deductive system
P Kulicki
Axioms 9 (2), 56, 2020
122020
A norm-giver meets deontic action logic
R Trypuz, P Kulicki
Logic and Logical Philosophy 20 (1-2), 59-72, 2011
122011
A formal ontology of knowing and knowledge
P Garbacz, P Kulicki, R Trypuz
Knowledge Management Research & Practice 10 (3), 206-226, 2012
112012
Connecting actions and states in deontic logic
P Kulicki, R Trypuz
Studia Logica 105, 915-942, 2017
102017
Do you still want to vote for your favorite politician? Ask Ontobella!
P Garbacz, M Lechniak, P Kulicki, R Trypuz
Formal Ontologies Meet Industry, 102-113, 2009
102009
Multivalued Logic for Conflicting Norms
P Kulicki, R Trypuz
Deontic Logic and Normative Systems 13th International Conference, DEON 2016 …, 2016
92016
On minimal models for pure calculi of names
P Kulicki
Logic and Logical Philosophy 22 (4), 429-443, 2013
92013
An Axiomatisation of a Pure Calculus of Names
P Kulicki
Studia Logica 100 (5), 921-946, 2012
92012
How to Build a Deontic Action Logic
P Kulicki, R Trypuz
The Logica Yearbook 2011, 107-120, 2012
92012
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20