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
Wygłoszenie referatu na konferencji międzynarodowej
Inny wyjazd naukowy
Działalność odczytowa
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
Inny wyjazd naukowy
Profesor wizytujący w zagranicznym ośrodku naukowym
Wykład gościnny w zagranicznym ośrodku naukowym
2021
Artykuł naukowy w czasopiśmie recenzowany
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
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
Wygłoszenie referatu na konferencji międzynarodowej
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
2017
Artykuł naukowy w czasopiśmie recenzowany
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
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
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
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
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