prof. dr hab. Piotr Kulicki
Wydział Filozofii - Instytut FilozofiiKatedra Podstaw Informatyki
Stanowisko: Profesor
2024
Artykuł naukowy w czasopiśmie recenzowany
- Brings It About That Operators Decomposed with Relating Semantics
[Operator 'brings it about that' zdekomponowany przy pomocy semantyki relacyjnej]
[w:] Studia Logica
Artykuł popularnonaukowy w czasopiśmie
- Sztuczna inteligencja jako podróż w Nieznane
[w:] Filozofuj!
2023
Artykuł naukowy w czasopiśmie recenzowany
- A Unified Logical Framework for Reasoning about Deontic Properties of Actions and States
[Jednolity formalizm do rozumowania o deontycznych właściwościach działań i stanów]
[w:] Logic and Logical Philosophy
Wygłoszenie referatu na konferencji międzynarodowej
- Obligations defined on sequentially composed actions
[Zobowiązania określone dla działań sekwencyjnie złożonych] - Logic of actions and norms
[Logika działań i norm]
Inny wyjazd naukowy
- Wizyta studyjna w Alma Mater Research Center for Human-Centered Artificial Intelligence
Działalność odczytowa
- Czy sztuczna inteligencja tworzy sztukę?
- Cyberbezpieczeństwo w epoce komputerów kwantowych
2022
Artykuł naukowy w czasopiśmie recenzowany
- Tableaux for some deontic logics with the explicit permission operator
[w:] Bulletin of the Section of Logic - Book Reviews: FENRONG LIU, HIROAKIRA ONO, JUNHUA YU (eds.), Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic
[Recenzje Książek: FENRONG LIU, HIROAKIRA ONO, JUNHUA YU (eds.), Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic]
[w:] Studia Logica - Free choice permission, legitimization and relating semantics
[w:] LOGIC JOURNAL OF THE IGPL
Członkostwo w komitecie redakcyjnym czasopisma naukowego
- Członek komitetu redakcyjnego Studia Logica
[w:] Studia Logica
Wygłoszenie referatu na konferencji międzynarodowej
- Logic of Agency and Relating Semantics
[Logika działania i semantyka relacyjna]
Inny wyjazd naukowy
- wizyta studyjna University of New Hempshire 2022
- wizyta studyjna Stockholm University
Profesor wizytujący w zagranicznym ośrodku naukowym
- visit Beijing
[wizyta Pekin]
Wykład gościnny w zagranicznym ośrodku naukowym
- Deontic logic for autonomous cars
[Logika deontyczna na potrzeby samochodów autonomicznych] - Ontology of autonomous driving
[Ontologia autonomicznej jazdy samochodu]
2021
Artykuł naukowy w czasopiśmie recenzowany
- Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain
[w:] Entropy
2020
[Wielostronne kwantowe porozumienie bizantyńskie bez splątania]
[w:] Entropy
[Sylogistyka Arystotelesa jako system dedukcyjny]
[w:] Axioms
[Kto jest zobowiązany dgy wielu jest zaangażowanych? Model LTS dla powstawania zobowiązania]
[w:] Artificial Intelligence and Law
[Loteria i aukcja w kwantowym blockchainie]
[w:] Entropy
Wygłoszenie referatu na konferencji międzynarodowej
- Blockchain based systems: threats and strategies to overcome them
[Systemy oparte na blockchainie: zagrożenie i sposoby radzenia sobie z nimi]
2019
Artykuł naukowy w czasopiśmie recenzowany
- A simple voting protocol on quantum blockchain
[w:] INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS - Towards Quantum-Secured Permissioned Blockchain: Signature, Consensus, and Logic
[w:] Entropy - Judging Actions on the Basis of Prima Facie Duties. The case of self-driving cars
[Ocena działań napodstawie obowiązków prima facie. Przypadek samochodów autonomicznych]
[w:] Logic and Logical Philosophy
Artykuł naukowy w wydawnictwie zbiorowym recenzowany
- Informacja naukowa
- Automatyczne rozpoznawanie podobieństwa melodii
2018
Artykuł naukowy w czasopiśmie recenzowany
- Quantum Technique for Access Control in Cloud Computing II: Encryption and Key Distribution
[Techniki kwantowe kontroli dostępu w chmurze II]
[w:] JOURNAL OF NETWORK AND COMPUTER APPLICATIONS
Artykuł naukowy w wydawnictwie zbiorowym recenzowany
- Logika w informatyce i inżynierii wiedzy
- Towards a Formal Ethics for Autonomous Cars
[Ku formalnej etyce dla samochodów autonomicznych]
2017
Artykuł naukowy w czasopiśmie recenzowany
- Connecting Actions and States in Deontic Logic
[Łączenie stanów i działań w logice deontycznej]
[w:] Studia Logica
2016
Artykuł naukowy w wydawnictwie zbiorowym recenzowany
- Conditional Normative Reasoning with Substructural Logics
[Normy warunkowe reprezentowane za pomacą logik substrukturalnych] - Machine-Understandable and Processable Representation of UNECE Standards for Meat. Bovine Meat-Carcases and Cuts Case Study
[Maszynowo przetwarzalna reprezentacja standardów UNECE dla mięsa. Studium przypadku mięsa wołowego] - Multivalued Logics for Conflicting Norms
[Wielowartościowe logiki dla skonfliktowanych norm] - Dlaczego buduję formalne modele?
2015
Artykuł naukowy w czasopiśmie recenzowany
- On deontic action logics based on Boolean algebra
[O logikach deontycznych działań opartych na algebrze Boole'a]
[w:] JOURNAL OF LOGIC AND COMPUTATION - Completely and partially executable sequences of actions in deontic context
[Całkowicie i częściowo wykonalne sekwencje działań w kontekście deontycznym]
[w:] SYNTHESE - Ontologia praw naukowych w kontekście reprezentacji i udostępniania wyników badań naukowych
[w:] Filozofia Nauki
Artykuł naukowy w wydawnictwie zbiorowym recenzowany
- Knowledge transfer from agri-food scientific papers to a knowledge base
[Transfer wiedzy ]
2014
Artykuł naukowy w czasopiśmie recenzowany
- Jerzy Kalinowski's logic of normative sentences revisited
[Jerzego Kalinowskiego logika zdań normatywnych ]
[w:] Studia Logica - Vers des standards automatisés dans la production de viande?
[Ku automatycznym standardom produkcji mięsa?]
[w:] Viandes et Produits Carnés - The Polish School of Argumentation: A Manifesto
[Polska szkoła argumentacji: manifest]
[w:] Argumentation - Semantic representation of proved and disproved statements extracted from scientific papers. Meat science case study
[Semantyczna reprezentacja stwierdzeń uznanych i odrzuconych wyodrębnionych z prac naukowych. Studium przypadku z zakresu nauki o mięsie]
[w:] Information Processing in Agriculture - A note on the adequacy of Jerzy Kalinowski K1 logic
[Nota o adekwatności Jerzego Kalinowskiego systemu K1]
[w:] Bulletin of the Section of Logic
Artykuł naukowy w wydawnictwie zbiorowym recenzowany
- A deontic logic of actions and states
[Logika deontyczna działań i stanów] - Deontic Logics Based on Boolean Algebra
[Logiki deontyczne zbudowane na algebrze Boole'a]
2013
Artykuł naukowy w czasopiśmie recenzowany
- On minimal models for pure calculi of names
[O minimalnych modelach dla bezkwantyfikatorowych rachunków nazw]
[w:] Logic and Logical Philosophy
Artykuł naukowy w wydawnictwie zbiorowym recenzowany
- Modelowanie działań i norm w logice deontycznej
- Two faces of obligation
[Dwie twarze obowiązku] - Ontology-Based Representation of Scientific Laws on Beef Production and Consumption
[Ontologicznie ufundowana reprezentacja praw naukowych z dziedziny produkcji i konsumpcji wołowiny]
2012
Artykuł naukowy w czasopiśmie recenzowany
- A formal ontology of knowing and knowledge
[Formalna ontologia wiedzy i posiadania wiedzy]
[w:] Knowledge Management Research & Practice - An Axiomatisation of a Pure Calculus of Names
[Aksjomatyzacja pewngo bezkwantyfikatorowego rachunku nazw]
[w:] Studia Logica
Artykuł naukowy w wydawnictwie zbiorowym recenzowany
- A Deontic Action Logic with Sequential Composition of Actions
[Logika deontyczna działań z sekwencyjną kompozycją działań] - Towards beef production and consumption ontology and its application
[Ku ontologii produkcji i konsumpcji wołowiny i jej aplikacjom] - How to Build a Deontic Action Logic
[Jak budować logikę deontyczną działań]
2011
Książka naukowa recenzowana
- Aksjomatyczne systemy rachunku nazw
Artykuł naukowy w czasopiśmie recenzowany
- A Norm-giver Meets Deontic Action Logic
[Normodawca spotyka deontyczną logikę działań]
[w:] Logic and Logical Philosophy - Using the Perseus system for modelling epistemic interactions
[Korzystanie z systemu Perseus do modelowania epistemicznych interakcji]
[w:] LNCS Transactions on Computational Collective Intelligence - On a Minimal System of Aristotle's Syllogistic
[w:] Bulletin of the Section of Logic