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

• 2004
• 
  Alessandro Artale, Carsten Lutz:
  A Correspondence between Temporal Description Logics. J. Appl. Non Class. Logics 14(1-2): 209-233 (2004)
• 
  Nicole Bidoit, Serenella Cerrito, Virginie Thion:
  A First Step towards Modeling Semistructured Data in Hybrid Multimodal Logic. J. Appl. Non Class. Logics 14(4): 447-475 (2004)
• 
  Laurence Cholvy, Christophe Garion:
  Querying several conflicting databases. J. Appl. Non Class. Logics 14(3): 295-327 (2004)
• 
  Clare Dixon, Cláudia Nalon, Michael Fisher:
  Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony. J. Appl. Non Class. Logics 14(4): 397-445 (2004)
• 
  Rodolfo Gómez, Howard Bowman:
  PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic. J. Appl. Non Class. Logics 14(1-2): 105-148 (2004)
• 
  Valentin Goranko, Angelo Montanari, Guido Sciavicco:
  A Road Map of Interval Temporal Logics and Duration Calculi. J. Appl. Non Class. Logics 14(1-2): 9-54 (2004)
• 
  Dimitar P. Guelev:
  Logical Interpolation and Projection onto State in the Duration Calculus. J. Appl. Non Class. Logics 14(1-2): 181-208 (2004)
• 
  Dimitar P. Guelev, Dang Van Hung:
  A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus. J. Appl. Non Class. Logics 14(1-2): 149-180 (2004)
• 
  Anthony Hunter, Rupert Summerton:
  Fusion Rules for Context-Dependent Aggregation of Structured News Reports. J. Appl. Non Class. Logics 14(3): 329-366 (2004)
• 
  Sébastien Konieczny:
  Belief Base Merging as a Game. J. Appl. Non Class. Logics 14(3): 275-294 (2004)
• 
  Churn-Jung Liau:
  Belief Fusion and Revision: An Overview Based on Epistemic Logic Semantics. J. Appl. Non Class. Logics 14(3): 247-274 (2004)
• 
  Ben C. Moszkowski:
  A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time. J. Appl. Non Class. Logics 14(1-2): 55-104 (2004)
• 
  Jean-Marc Tallon, Jean-Christophe Vergnaud, Shmuel Zamir:
  Communication among Agents: A Way to Revise Beliefs in KD45 Kripke Structures. J. Appl. Non Class. Logics 14(4): 477-500 (2004)
• 
  Jirí Vomlel:
  Integrating Inconsistent Data in a Probabilistic Model. J. Appl. Non Class. Logics 14(3): 367-386 (2004)