Piotr Kulicki
Piotr Kulicki
John Paul II Catholic University of Lublin
Zweryfikowany adres z l3g.pl - Strona główna
TytułCytowane przezRok
A systematics of deontic action logics based on boolean algebra
R Trypuz, P Kulicki
Logic and Logical Philosophy 18 (3-4), 253-270, 2009
On deontic action logics based on Boolean algebra
R Trypuz, P Kulicki
Journal of Logic and Computation 25 (5), 1241-1260, 2015
Towards metalogical systematisation of deontic action logics based on boolean algebra
R Trypuz, P Kulicki
International Conference on Deontic Logic in Computer Science, 132-147, 2010
The polish school of argumentation: A manifesto
K Budzynska, M Araszkiewicz, B Bogołȩbska, P Cap, T Ciecierski, ...
Argumentation 28 (3), 267-282, 2014
A norm-giver meets deontic action logic
R Trypuz, P Kulicki
Logic and Logical Philosophy 20 (1-2), 59-72, 2011
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
How to Build a Deontic Action Logic
P Kulicki, R Trypuz
The Logica Yearbook 2011, 107-120, 2012
Do you still want to vote for your favorite politician? Ask Ontobella!
P Garbacz, M Lechniak, P Kulicki, R Trypuz
FOMI, 102-113, 2009
A deontic action logic with sequential composition of actions
P Kulicki, R Trypuz
International Conference on Deontic Logic in Computer Science, 184-198, 2012
Ontology-based representation of scientific laws on beef production and consumption
P Kulicki, R Trypuz, R Trójczak, J Wierzbicki, A Woźniak
Research Conference on Metadata and Semantic Research, 430-439, 2013
Two Faces of Obligation
P Kulicki, R Trypuz
Theory of Imperatives from Different Points of View (2), 70 - 82, 2013
Towards beef production and consumption ontology and its application
P Kulicki, R Trypuz, J Wierzbicki
An Axiomatisation of a Pure Calculus of Names
P Kulicki
Studia Logica 100 (5), 921-946, 2012
Doing the right things - trivalence in deontic action logic
P Kulicki, R Trypuz
Trivalent Logics and their applications, Proceedings of the ESSLLI 2012 …, 2012
A formal model for epistemic interactions
P Garbacz, P Kulicki, M Lechniak, R Trypuz
New Challenges in Computational Collective Intelligence, 205-216, 2009
Jerzy Kalinowski’s Logic of Normative Sentences Revisited
R Trypuz, P Kulicki
Studia Logica 103 (2), 389-412, 2015
A formal ontology of knowing and knowledge
P Garbacz, P Kulicki, R Trypuz
Knowledge Management Research & Practice 10 (3), 206-226, 2012
Towards a formal ontology for history of church administration.
P Garbacz, R Trypuz, B Szady, P Kulicki, P Gradzki, M Lechniak
FOIS, 345-358, 2010
Remarks on Axiomatic Rejection in Aristotle’s Syllogistic
P Kulicki
Studies in Logic and Theory of Knowledge 5, 231-236, 2002
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
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20