• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 38 matches

• 2023
• 
  Daniela Glavanicová, Tomasz Jarmuzek, Mateusz Klonowski, Piotr Kulicki:
  Free choice permission, legitimization and relating semantics. Log. J. IGPL 31(3): 574-597 (2023)
• 2022
• 
  Piotr Kulicki:
  Book Reviews. Stud Logica 110(1): 291-293 (2022)
• 
  Xin Sun, Feifei He, Daowen Qiu, Piotr Kulicki, Mirek Sopek, Meiyun Guo:
  Distributed Quantum Vote Based on Quantum Logical Operators, a New Battlefield of the Second Quantum Revolution. CoRR abs/2202.00147 (2022)
• 2021
• 
  Piotr Kulicki, Robert Trypuz, Marek J. Sergot:
  Who is obliged when many are involved? Labelled transition system modelling of how obligation arises. Artif. Intell. Law 29(3): 395-415 (2021)
• 
  Xin Sun, Piotr Kulicki, Mirek Sopek:
  Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain. Entropy 23(9): 1120 (2021)
• 
  Xin Sun, Feifei He, Piotr Kulicki, Mirek Sopek:
  Schrödinger's Ballot: Quantum Information and the Violation of Arrow's Impossibility Theorem. CoRR abs/2103.11364 (2021)
• 2020
• 
  Piotr Kulicki:
  Aristotle's Syllogistic as a Deductive System. Axioms 9(2): 56 (2020)
• 
  Xin Sun, Piotr Kulicki, Mirek Sopek:
  Multi-Party Quantum Byzantine Agreement without Entanglement. Entropy 22(10): 1152 (2020)
• 
  Xin Sun, Piotr Kulicki, Mirek Sopek:
  Lottery and Auction on Quantum Blockchain. Entropy 22(12): 1377 (2020)
• 
  Piotr Kulicki, Olivier Roy:
  From Permissions to Obligations and Beyond: An Editorial. Stud Logica 108(1): 1-3 (2020)
• 
  Xin Sun, Piotr Kulicki, Mirek Sopek:
  Multi-party Quantum Byzantine Agreement Without Entanglement. CoRR abs/2003.09120 (2020)
• 
  Xin Sun, Piotr Kulicki, Mirek Sopek:
  Bit Commitment for Lottery and Auction on Quantum Blockchain. CoRR abs/2004.10312 (2020)
• 2019
• 
  Xin Sun, Mirek Sopek, Quanlong Wang, Piotr Kulicki:
  Towards Quantum-Secured Permissioned Blockchain: Signature, Consensus, and Logic. Entropy 21(9): 887 (2019)
• 
  Tomasz Grebski, Krzysztof Pancerz, Piotr Kulicki:
  Automatic Recognition of Melody Similarity. ICAISC (2) 2019: 542-552
• 2018
• 
  Lu Zhou, Quanlong Wang, Xin Sun, Piotr Kulicki, Arcangelo Castiglione:
  Quantum technique for access control in cloud computing II: Encryption and key distribution. J. Netw. Comput. Appl. 103: 178-184 (2018)
• 
  Piotr Kulicki, Robert Trypuz, Michael P. Musielewicz:
  Towards a Formal Ethics for Autonomous Cars. DEON 2018: 193-209
• 
  Xin Sun, Quanlong Wang, Piotr Kulicki, Xishun Zhao:
  Quantum-enhanced Logic-based Blockchain I: Quantum Honest-success Byzantine Agreement and Qulogicoin. CoRR abs/1805.06768 (2018)
• 
  Xin Sun, Quanlong Wang, Piotr Kulicki:
  A Simple Voting Protocol on Quantum Blockchain. CoRR abs/1805.11979 (2018)
• 2017
• 
  Piotr Kulicki, Robert Trypuz:
  Connecting Actions and States in Deontic Logic. Stud Logica 105(5): 915-942 (2017)
• 2016
• 
  Piotr Kulicki, Robert Trypuz:
  Multivalued Logics for Conflicting Norms. DEON 2016: 123-138
• 
  Clayton Peterson, Piotr Kulicki:
  Conditional Normative Reasoning with Substructural Logics. DEON 2016: 220-236
• 
  Robert Trypuz, Piotr Kulicki, Przemyslaw Gradzki, Rafal Trójczak, Jerzy Wierzbicki:
  Machine-Understandable and Processable Representation of UNECE Standards for Meat. Bovine Meat - Carcases and Cuts Case Study. MTSR 2016: 144-154
• 2015
• 
  Robert Trypuz, Piotr Kulicki:
  On deontic action logics based on Boolean algebra. J. Log. Comput. 25(5): 1241-1260 (2015)
• 
  Robert Trypuz, Piotr Kulicki:
  Jerzy Kalinowski's Logic of Normative Sentences Revisited. Stud Logica 103(2): 389-412 (2015)
• 
  Piotr Kulicki, Robert Trypuz:
  Completely and partially executable sequences of actions in deontic context. Synth. 192(4): 1117-1138 (2015)
• 
  Rafal Trójczak, Robert Trypuz, Anna Mazurek, Piotr Kulicki:
  Knowledge transfer from agri-food scientific papers to a knowledge base. FedCSIS 2015: 1705-1712
• 2014
• 
  Robert Trypuz, Piotr Kulicki:
  A Deontic Logic of Actions and States. DEON 2014: 258-272
• 2013
• 
  Piotr Kulicki, Robert Trypuz, Rafal Trójczak, Jerzy Wierzbicki, Alicja Wozniak:
  Ontology-Based Representation of Scientific Laws on Beef Production and Consumption. MTSR 2013: 430-439
• 2012
• 
  Piotr Kulicki:
  An Axiomatisation of a Pure Calculus of Names. Stud Logica 100(5): 921-946 (2012)
• 
  Piotr Kulicki, Robert Trypuz:
  A Deontic Action Logic with Sequential Composition of Actions. DEON 2012: 184-198

skipping 8 more matches