Basics

  • Associate Professor at the Department of Foundations of Computer Science.
  • Studied philosophy at the Catholic University of Lublin (1987-1993) and computing science at Oxford University – Wadham College/Computing Laboratory (1994-1995).

Scientific interests include

  • formal logic (especially deontic logic and logic of names),
  • applied ontology
  • artificial intelligence,
  • logic programming,

Publications from 2012

  • P. Kulicki, An Axiomatisation of a Pure Calculus of Names, Studia Logica 100, 2012, s. 921-946
  • P. Kulicki, R. Trypuz, How to build a deontic action logic, w: Michal Pelis, Vit Punchochar (red.), Logica Yearbook 2011, College Publications London 2012, s. 107-120
  • P. Kulicki, R. Trypuz, J. Wierzbicki, Towards beef production and consumption ontology and its application, w: M. Ganzha, L. Maciaszek, M. Paprzycki (wyd.), Proceedings of the Federated Conference on Computer Science and Information Systems, 2012, s. 483-488
  • P. Kulicki, R. Trypuz, A deontic action logic with sequential composition of actions, w: T. Agotnes, J. Broersen (wyd.), D. Elgesem, Deontic Logic in Computer Science, Lecture Notes in Computer Science, Springer 2012, s. 184-198.
  • P. Garbacz, P. Kulicki, R. Trypuz, Formal ontology of knowledge and knowing, Knowledge Management Research & Practice 10 (3) 2012, s. 206-226
  • P. Kulicki, R. Trypuz, Doing the right things - trivalence in deontic action logic, w: P. Egre, D. Ripley, Trivalent Logics and their applications. Proceedings of the ESSLLI 2012 Workshop
    P. Kulicki, On minimal models for pure calculi of names, Logic and Logical Philosophy 22 (4) 2013, s. 429–443.
  • P. Kulicki, R. Trypuz, Two faces of obligation, in A. Brożek, J. Jadacki i B. Žarnić (red.), Theory of Imperatives from Different Points of View (2), Logic, Methodology & Philosophy of Science at Warsaw University, vol 7, Wydawnictwo Naukowe Semper, 2013, s. 70-82
  • P. Kulicki, R. Trypuz, Modelowanie działań i norm w logice deontycznej, J. Juchnowski, R. Wiszniowski (red.), Współczesna teoria i praktyka badań społecznych i humanistycznych. Tom 1, Wydawnictwo Adam Marszałek 2013, s. 57-70
  • P. Kulicki, R. Trypuz, R. Trójczak, J. Wierzbicki, A. Woźniak, Ontology-Based Representation of Scientific Laws on Beef Production and Consumption, E. Garoufallou, J. Greenberg (red.), Metadata and Semantics Research, Springer 2013, s. 430-439
  • P. Kulicki, A Note on Adequacy of J. Kalinowski's K1 Logic, Bulletin of the Section of Logic, 43 (2014) nr 3-4, s. 53-55
  • P.F. Castro, P. Kulicki, Deontic Logics Based on Boolean Algebra, w: R. Trypuz (red.) Krister Segerberg on Logic of Actions, s. 85-117, Springer 2014
  • R. Trypuz, P. Kulicki, A Deontic Logic of Actions and States, Deontic Logic and Normative Systems, s. 258-272, LNAI, 2014
  • P. Kulicki, R. Trypuz, R. Trójczak, J. Wierzbicki, A. Woźniak, Semantic representation of proved and disproved statements extracted from scientific papers. Meat science case study, Information Processing in Agriculture, 1 (1), 2014, s. 66-72
  • K. Budzynska et al., The Polish School of Argumentation: A Manifesto, Argumentation 28 (3), 2014, s. 267-282
  • R. Trypuz, P. Kulicki, On Deontic Action Logic Based on Boolean Algebra, Journal of Logic and Computation 25 (5), 2015, s. 1241-1260.
  • P. Kulicki, R. Trypuz, Completely and partially executable sequences of actions in deontic context, Synthese 192 (4), 2015, s. 1117-1138.
  • R. Trypuz, P. Kulicki, Jerzy Kalinowski's Logic Revisited, Studia Logica 103, 2015, s. 389-412.
    R. Trójczak, R. Trypuz, P. Kulicki, Ontologia praw naukowych w kontekście reprezentacji i udostępniania wyników badań naukowych, Filozofia Nauki 19 (4), 2015, s. 19-40.
  • P. Kulicki, R. Trypuz, Multivalued logics for conflicting norm. In Deontic Logic and Normative Systems 13th International Conference, DEON 2016, Bayreuth, Germany, July 18-21, 2016, s. 123–138. College Publications, 2016.
  • C. Peterson, P. Kulicki, Conditional Normative Reasoning with Substructural Logics, In Deontic Logic and Normative Systems 13th International Conference, DEON 2016, Bayreuth, Germany, July 18-21, 2016, s. 220–236. College Publications, 2016.
  • R. Trypuz, P. Kulicki, P. Grądzki, R. Trójczak, and J. Wierzbicki. Machine-understandable and processable representation of UNECE standards for meat. bovine meat - carcases and cuts case study. In E. Garoufallou, I. S. Coll, A. Stellato, and J. Greenberg, editors, Metadata and Semantics Research - 10th International Conference, MTSR 2016, Gottingen, Germany, November 22-25, 2016, Proceedings, volume 672 of Communications in Computer and Information Science, s. 144–154, 2016.
  • P. Kulicki, R. Trypuz, Connecting Actions and States in Deontic Logic, Studia Logica 105 (5), 915-942, 2017.
  • P. Kulicki, R. Trypuz, M.P. Musielewicz, Towards a formal ethics for autonomous cars, in J. Broersen, C. Condoravdi, S. Nair, G. Pigozzi (red.), Deontic Logic and Normative Systems. 14th International Conference, DEON 2018, s. 193-209, College Publications, 2018.
  • L. Zhou, Q. Wang, X. Sun, P. Kulicki, A. Castiglione, Quantum Technique for Access Control in Cloud Computing II: Encryption and Key Distribution, Journal of Network and Computer Applications, Volume 103, s. 178-184, 2018.

Some older publications

  • M. Kacprzak, P. Kulicki, R. Trypuz, K. Budzyńska, P. Garbacz, M. Lechniak, P. Rembelski, Using Perseus system for modelling epistemic interactions, in: P. Jedrzejowicz, I. Czarnowski, R. J. Howlett and L. C. Jain (eds.), Agent and Multi-Agent Systems: Technologies and Applications, 4th International Conference, AMSTA-10, Springer 2010 [forthcoming]
  • R. Trypuz, P. Kulicki, A systematics of deontic action logics based on Boolean algebra, Logic and Logical Philosophy, [forthcoming], [PDF]
  • P. Garbacz, P. Kulicki, M. Lechniak, R. Trypuz, Ontologia w rozwiązywaniu zadań. DiaLogikon, vol. XV [forthcoming]
  • P. Kulicki, Informatyczny model realizacji celów i jego zastosowanie do argumentacji, DiaLogikon, vol. XV [forthcoming]
  • P. Kulicki, Co może policzyć komputer, w: B. Paź ed, Leibniz. Tradycja i idee nowoczesnej filozofii, Aureus, Kraków 2010 [forthcoming]
  • P. Garbacz, R. Trypuz, B. Szady, P. Kulicki, P. Grądzki and M. Lechniak,  Towards a formal ontology for history of church administration, International Conference on Formal Ontology in Information Systems, Toronto, Canada, May 11-14, 2010, IOS Press [forthcoming]
  • P. Kulicki, Systemy sylogistyki dowodowej, Roczniki Filozoficzne 58 (2010) nr 1
  • P. Kulicki, Analiza systemowa a filozofia, Roczniki Filozoficzne 58 (2010) nr 1
  • P. Kulicki, Hallden Incomplete Calculus of Names, Bulletin of the Section of Logic, 39 (2010) nr 1
  • P. Garbacz, P. Kulicki, M. Lechniak, R. Trypuz, Tadeusza Czeżowskiego koncepcja przekonań a filozoficzne podstawy inżynieryjnej ontologii przekonań, Ruch Filozoficzny 1, 2009, str. 709-724
  • P. Garbacz, P. Kulicki, M. Lechniak, R. Trypuz, Beyond Public Announcement Logic, An Alternative Approach to some AI Puzzles, W: B. Mertsching, M. Hund, and Z. Aziz (Eds.): KI 2009, LNAI 5803, s. 379–386, 2009 [PDF]
  • P. Garbacz, P. Kulicki, M. Lechniak, R. Trypuz, A formal model for epistemic interactions, W: New Challenges in Computational Collective Intelligence" (published in Springer series Studies in Computational Intelligence), Ed.: Ngoc Thanh Nguyen, Radoslaw Katarzyniak, Adam Janiak. pp.  205-216 [PDF]
  • P. Garbacz, P. Kulicki, M. Lechniak, R. Trypuz, Do you still want to vote for your favorite politician? Ask Ontobella! FOMI 2009 - 4TH Workshop on Formal Ontologies Meet Industry,  IOS Press, pp. 102 - 113 [PDF]
  • P. Garbacz, P. Kulicki, M. Lechniak, R. Trypuz, Inżynieryjna ontologia przekonań Ontobella, W: A Grzech, K. Juszczyn, H. Kwaśnicka, N. T. Nguyen ed., Inżynieria Wiedzy i Systemy Ekspertowe, Akademicka Oficyna Wydawnicza EXIT, s. 301-313, Warszawa 2009 [PDF]
  • P. Kulicki, Remarks on Axiomatic Rejection in Aristotle's Syllogistic, w. Studies in Logic and Theory of Knowledge, v. 5, TN KUL 2002, str. 231-236. [PDF]
  • P. Kulicki, The Use of Axiomatic Rejection, Logica Yearbook 1999, Praga 2000, pp. 109-117. [PDF]
  • P. Kulicki, Axiomatic rejection in first order theories (abstract), Bulletin of Symbolic Logic, vol. 5, nr 1, 1999, pp. 118 – 119.
  • P. Kulicki, Logika programowania a sylogistyka Arystotelesa, Roczniki Filozoficzne, tom XLVI-XLVII, zeszyt I, 1998-1999, str. 233-237.
  • P. Kulicki, Modele dla sylogistyki Arystotelesa w dziedzinie dwuelementowej, Roczniki Filozoficzne, tom XLVI-XLVII, zeszyt I, 1998-1999, str. 239-242.
  • P. Kulicki, Reprezentacja wiedzy negatywnej przy opracowaniu komputerowym fragmentu Pisma Świętego, Roczniki Filozoficzne, tom XLVI-XLVII, zeszyt I, 1998-1999, str. 243-254.
  • P. Kulicki, Logika jako narzędzie w technice informatycznej, Studium Vilnense, 1998, vol. 8, nr 1, str. 97-99.  [PDF]
  • P. Kulicki, Reprezentacja negatywnych aspektów wiedzy w Prologu, w: Z. Bubnicki, A. Grzech (red), Inżynieria wiedzy i systemy ekspertowe, Wrocław 1997, str. 49-53.