Ważniejsze publikacje

 

  • 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.

Autor: Piotr Kulicki
Ostatnia aktualizacja: 28.03.2020, godz. 22:23 - Piotr Kulicki