prof. dr hab. Piotr Kulicki
Wydział Filozofii - Instytut FilozofiiKatedra Podstaw Informatyki
Stanowisko: Profesor
2024
Artykuł naukowy w czasopiśmie recenzowany
- Ontology of autonomous driving based on the SAE J3016 standard
[Ontologia jazdy autonomicznej oparta o standard SAE J3016 ]
[w:] Semantic Web - 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
- Logic of actions and norms
[Logika działań i norm] - Obligations defined on sequentially composed actions
[Zobowiązania określone dla działań sekwencyjnie złożonych]
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 - 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 - Towards Quantum-Secured Permissioned Blockchain: Signature, Consensus, and Logic
[w:] Entropy
Artykuł naukowy w wydawnictwie zbiorowym recenzowany
- Automatyczne rozpoznawanie podobieństwa melodii
- Informacja naukowa
Wygłoszenie referatu na konferencji międzynarodowej
- Virtue eyhics for autonomous cars
[Etyka cnót dla samochodów autonomicznych]
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
- 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] - Conditional Normative Reasoning with Substructural Logics
[Normy warunkowe reprezentowane za pomacą logik substrukturalnych] - Dlaczego buduję formalne modele?
2015
Artykuł naukowy w czasopiśmie recenzowany
- 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 - On deontic action logics based on Boolean algebra
[O logikach deontycznych działań opartych na algebrze Boole'a]
[w:] JOURNAL OF LOGIC AND COMPUTATION
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
- Vers des standards automatisés dans la production de viande?
[Ku automatycznym standardom produkcji mięsa?]
[w:] Viandes et Produits Carnés - Jerzy Kalinowski's logic of normative sentences revisited
[Jerzego Kalinowskiego logika zdań normatywnych ]
[w:] Studia Logica - 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 - 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 - The Polish School of Argumentation: A Manifesto
[Polska szkoła argumentacji: manifest]
[w:] Argumentation
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
- Ontology-Based Representation of Scientific Laws on Beef Production and Consumption
[Ontologicznie ufundowana reprezentacja praw naukowych z dziedziny produkcji i konsumpcji wołowiny] - Two faces of obligation
[Dwie twarze obowiązku] - Modelowanie działań i norm w logice deontycznej
2012
Artykuł naukowy w czasopiśmie recenzowany
- An Axiomatisation of a Pure Calculus of Names
[Aksjomatyzacja pewngo bezkwantyfikatorowego rachunku nazw]
[w:] Studia Logica - A formal ontology of knowing and knowledge
[Formalna ontologia wiedzy i posiadania wiedzy]
[w:] Knowledge Management Research & Practice
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
- Using the Perseus system for modelling epistemic interactions
[Korzystanie z systemu Perseus do modelowania epistemicznych interakcji]
[w:] LNCS Transactions on Computational Collective Intelligence - A Norm-giver Meets Deontic Action Logic
[Normodawca spotyka deontyczną logikę działań]
[w:] Logic and Logical Philosophy - On a Minimal System of Aristotle's Syllogistic
[w:] Bulletin of the Section of Logic