Autor: "Kulicki, Piotr" - OpacWWW

Skocz do pozycji: 1.

Tytuł:: BringsItAboutThat Operators Decomposed with Relating Semantics
Autorzy:: Jarmużek, Tomasz
Klonowski, Mateusz
Kulicki, PiotrAff2, IDs11225022100305_cor3; Pokaż więcej
Źródło:: Studia Logica: An International Journal for Symbolic Logic. :1-19

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Book Reviews: Fenrong Liu, Hiroakira Ono, Junhua Yu (eds.), Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic, vol. 7 of Logic in Asia: Studia Logica Library, Springer, 2020, pp. 217+ix; ISBN: 978-981-15-2223-9 (Softcover) 123,04 €, ISBN: 978-981-15-2220-8 (Hardcover) 171,19 €, ISBN: 978-981-15-2221-5 (eBook) 96,29 €.
Autorzy:: Kulicki, PiotrAff1, IDs11225021099769_cor1; Pokaż więcej
Źródło:: Studia Logica: An International Journal for Symbolic Logic. 110(1):291-293

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Who is obliged when many are involved? Labelled transition system modelling of how obligation arises
Autorzy:: Kulicki, Piotr
Trypuz, Robert
Sergot, Marek; Pokaż więcej
Źródło:: Artificial Intelligence and Law. 29(3):395-415

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: ADVANCES IN PHILOSOPHICAL LOGIC : EDITORIAL TO THE THEMATIC SECTION
Autorzy:: KULICKI, PIOTR; Pokaż więcej
Źródło:: Roczniki Filozoficzne / Annales de Philosophie / Annals of Philosophy, 2020 Jan 01. 68(4), 253-256.
Dostęp URL:: https://www.jstor.org/stable/26974797 Link otwiera się w nowym oknie

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Quantum technique for access control in cloud computing II: Encryption and key distribution
Autorzy:: Zhou, Lu
Wang, Quanlong
Sun, Xin
Kulicki, Piotr
Castiglione, Arcangelo; Pokaż więcej
Źródło:: In Journal of Network and Computer Applications 1 February 2018 103:178-184

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: A Unified Logical Framework for Reasoning about Deontic Properties of Actions and States.
Autorzy:: Kulicki, Piotr
Trypuz, Robert
Craven, Robert
Sergot, Marek; Pokaż więcej
Temat:: DEONTIC logic
LANGUAGE & languages
Źródło:: Logic & Logical Philosophy; Dec2023, Vol. 32 Issue 4, p583-617, 35p

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Automatic Recognition of Melody Similarity
Autorzy:: Grȩbski, Tomasz
Pancerz, Krzysztof
Kulicki, Piotr; Pokaż więcej
Źródło:: Artificial Intelligence and Soft Computing : 18th International Conference, ICAISC 2019, Zakopane, Poland, June 16–20, 2019, Proceedings, Part II. 11509:542-552

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Connecting Actions and States in Deontic Logic
Autorzy:: Kulicki, Piotr
Trypuz, Robert; Pokaż więcej
Źródło:: Studia Logica: An International Journal for Symbolic Logic, 2017 Oct 01. 105(5), 915-942.
Dostęp URL:: https://www.jstor.org/stable/45103030 Link otwiera się w nowym oknie

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Minimalne empiryczne podstawy teorii bytu a modele dla logiki nazw
Autorzy:: Kulicki, Piotr; Pokaż więcej
Dostęp URL:: http://europeana.eu/portal/record/9200418/BibliographicResource_3000125905999.html Link otwiera się w nowym oknie

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Analiza systemowa a filozofia
Autorzy:: Kulicki, Piotr; Pokaż więcej
Dostęp URL:: http://europeana.eu/portal/record/9200418/BibliographicResource_3000125908945.html Link otwiera się w nowym oknie

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Systemy sylogistyki dowodowej
Autorzy:: Kulicki, Piotr; Pokaż więcej
Dostęp URL:: http://europeana.eu/portal/record/9200418/BibliographicResource_3000125976233.html Link otwiera się w nowym oknie

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: A Simple Voting Protocol on Quantum Blockchain
Autorzy:: Sun, Xin
Wang, Quanlong
Kulicki, Piotr
Sopek, Mirek; Pokaż więcej
Źródło:: International Journal of Theoretical Physics. 58(1):275-281

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 13.

Tytuł:: Machine-Understandable and Processable Representation of UNECE Standards for Meat. Bovine Meat - Carcases and Cuts Case Study
Autorzy:: Trypuz, Robert
Kulicki, Piotr
Grądzki, Przemysław
Trójczak, Rafał
Wierzbicki, Jerzy; Pokaż więcej
Źródło:: Metadata and Semantics Research : 10th International Conference, MTSR 2016, Göttingen, Germany, November 22-25, 2016, Proceedings. 672:144-154

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Deontic Logics Based on Boolean Algebra
Autorzy:: Castro, Pablo F.
Kulicki, Piotr; Pokaż więcej
Źródło:: Krister Segerberg on Logic of Actions. 1:85-117

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: A Deontic Logic of Actions and States
Autorzy:: Trypuz, Robert
Kulicki, Piotr; Pokaż więcej
Źródło:: Deontic Logic and Normative Systems : 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings. 8554:258-272

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 16.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Jerzy Kalinowski's Logic of Normative Sentences Revisited
Autorzy:: Trypuz, Robert
Kulicki, Piotr; Pokaż więcej
Źródło:: Studia Logica: An International Journal for Symbolic Logic, 2015 Apr 01. 103(2), 389-412.
Dostęp URL:: http://www.jstor.org/stable/43649711 Link otwiera się w nowym oknie

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Completely and partially executable sequences of actions in deontic context
Autorzy:: Kulicki, Piotr
Trypuz, Robert; Pokaż więcej
Źródło:: Synthese, 2015 Apr 01. 192(4), 1117-1138.
Dostęp URL:: https://www.jstor.org/stable/24704445 Link otwiera się w nowym oknie

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Ontology-Based Representation of Scientific Laws on Beef Production and Consumption
Autorzy:: Kulicki, Piotr
Trypuz, Robert
Trójczak, Rafał
Wierzbicki, Jerzy
Woźniak, Alicja; Pokaż więcej
Źródło:: Metadata and Semantics Research : 7th Research Conference, MTSR 2013, Thessaloniki, Greece, November 19-22, 2013. Proceedings. 390:430-439

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: A Deontic Action Logic with Sequential Composition of Actions
Autorzy:: Kulicki, Piotr
Trypuz, Robert; Pokaż więcej
Źródło:: Deontic Logic in Computer Science : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings. 7393:184-198

Książka elektroniczna

na półce

Szczegóły

Informacja

Wyszukujesz frazę ""Kulicki, Piotr"" wg kryterium: Autor

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język

Rok publikacji