• 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 71 matches

• 2023
• 
  Tatsuya Abe, Daisuke Kimura:
  A typed lambda-calculus with first-class configurations. J. Log. Comput. 33(7): 1527-1565 (2023)
• 
  Natasha Alechina, Hans van Ditmarsch, Tim French, Rustam Galimullin:
  The Expressivity of Quantified Group Announcements. J. Log. Comput. 33(6): 1122-1151 (2023)
• 
  Nicola Angius, Giuseppe Primiero:
  Copying safety and liveness properties of computational artefacts. J. Log. Comput. 33(5): 1089-1117 (2023)
• 
  Paolo Baldi, Hykel Hosni:
  A logic-based tractable approximation of probability. J. Log. Comput. 33(3): 599-622 (2023)
• 
  Stefano Baratella:
  A finitary outer measure logic. J. Log. Comput. 33(3): 564-576 (2023)
• 
  Fausto Barbero, Katrin Schulz, Fernando R. Velázquez-Quesada, Kaibo Xie:
  Observing interventions: a logic for thinking about experiments. J. Log. Comput. 33(6): 1152-1185 (2023)
• 
  Pietro Baroni, Christoph Benzmüller, Yì N. Wáng:
  Preface: Special Issue on Logic and Argumentation. J. Log. Comput. 33(2): 189-191 (2023)
• 
  Gaia Belardinelli, Rasmus K. Rendsvig:
  Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models. J. Log. Comput. 33(6): 1186-1215 (2023)
• 
  Johan van Benthem, Lei Li, Chenwei Shi, Haoxuan Yin:
  Hybrid sabotage modal logic. J. Log. Comput. 33(6): 1216-1242 (2023)
• 
  Christoph Benzmüller, Sebastian Reiche:
  Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy. J. Log. Comput. 33(6): 1243-1269 (2023)
• 
  Federico Bergenti, Stefania Monica:
  Special issue for the 36th Italian Conference on Computational Logic (CILC 2021). J. Log. Comput. 33(4): 709-711 (2023)
• 
  Philippe Besnard, Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex:
  Generic logical encoding for argumentation. J. Log. Comput. 33(3): 623-704 (2023)
• 
  Vivien Beuselinck, Jérôme Delobelle, Srdjan Vesic:
  A Principle-based Account of Self-attacking Arguments in Gradual Semantics. J. Log. Comput. 33(2): 230-256 (2023)
• 
  Giuseppe Bisicchia, Stefano Forti, Antonio Brogi:
  Sustainable goal-oriented smart environments: a declarative programming approach. J. Log. Comput. 33(4): 864-899 (2023)
• 
  Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi:
  Timed concurrent language for argumentation with maximum parallelism. J. Log. Comput. 33(4): 712-737 (2023)
• 
  Stefano Bistarelli, Carlo Taticchi:
  On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics. J. Log. Comput. 33(8): 1872-1897 (2023)
• 
  Thomas Bolander, Arnaud Lequen:
  Parameterized Complexity of Dynamic Belief Updates: A Complete Map. J. Log. Comput. 33(6): 1270-1300 (2023)
• 
  Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere:
  Reconciling transparency, low Δ0-complexity and axiomatic weakness in undecidability proofs. J. Log. Comput. 33(4): 738-763 (2023)
• 
  Liliana M. Cantú, Martín Figallo:
  Cut-free sequent-style systems for a logic associated to involutive Stone algebras. J. Log. Comput. 33(7): 1684-1710 (2023)
• 
  Paola Cappanera, Marco Gavanelli, Maddalena Nonato, Marco Roma:
  Decomposition approaches for scheduling chronic outpatients' clinical pathways in Answer Set Programming. J. Log. Comput. 33(8): 1851-1871 (2023)
• 
  Matteo Cardellini, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Nicholas Nisopoli, Ivan Porro:
  Rescheduling rehabilitation sessions with answer set programming. J. Log. Comput. 33(4): 837-863 (2023)
• 
  David Carral, Joseph Zalewski, Pascal Hitzler:
  An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas. J. Log. Comput. 33(1): 136-162 (2023)
• 
  Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro:
  Algebraic tools for default modal systems. J. Log. Comput. 33(6): 1301-1325 (2023)
• 
  Ivan Chajda, Kadir Emir, Davide Fazio, Helmut Länger, Antonio Ledda, Jan Paseka:
  An algebraic analysis of implication in non-distributive logics. J. Log. Comput. 33(1): 47-89 (2023)
• 
  Weiwei Chen:
  Collective argumentation with topological restrictions: the case of aggregating abstract argumentation frameworks. J. Log. Comput. 33(2): 319-343 (2023)
• 
  Irakli O. Chitaia, Keng Meng Ng, Andrea Sorbi, Yue Yang:
  Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities. J. Log. Comput. 33(5): 1060-1088 (2023)
• 
  Diana Costa:
  4DL: a four-valued dynamic logic and its proof theory. J. Log. Comput. 33(6): 1326-1349 (2023)
• 
  Anuj Dawar, Erich Grädel, Moritz Lichter:
  Limitations of the invertible-map equivalences. J. Log. Comput. 33(5): 961-969 (2023)
• 
  Razvan Diaconescu:
  Decompositions of stratified institutions. J. Log. Comput. 33(7): 1625-1664 (2023)
• 
  Hans van Ditmarsch, Mo Liu, Louwe B. Kuijer, Igor Sedlár:
  Almost APAL. J. Log. Comput. 33(6): 1350-1378 (2023)

skipping 41 more matches