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

• 2000
• 
  Noriko H. Arai, Alasdair Urquhart:
  Local Symmetries in Propositional Logic. TABLEAUX 2000: 40-51
• 
  Alberto Artosi, Guido Governatori, Antonino Rotolo:
  A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations. TABLEAUX 2000: 82-97
• 
  Arnon Avron:
  A Tableau System for Gödel-Dummett Logic Based on a Hypersequent Calculus. TABLEAUX 2000: 98-111
• 
  Franz Baader:
  Tableau Algorithms for Description Logics. TABLEAUX 2000: 1-18
• 
  Matthias Baaz, Christian G. Fermüller, Helmut Veith:
  An Analytic Calculus for Quantified Propositional Gödel Logic. TABLEAUX 2000: 112-126
• 
  Diderik Batens, Joke Meheus:
  A Tableau Method for Inconsistency-Adaptive Logics. TABLEAUX 2000: 127-142
• 
  Domenico Cantone, Calogero G. Zarba:
  A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning. TABLEAUX 2000: 143-159
• 
  Agata Ciabattoni, Mauro Ferrari:
  Hypertableau and Path-Hypertableau Calculi for Some Families of Intermediate Logics. TABLEAUX 2000: 160-174
• 
  Stéphane Demri:
  Complexity of Simple Dependent Bimodal Logics. TABLEAUX 2000: 190-204
• 
  Joachim Draeger:
  Redundancy-Free Lemmatization in the Automated Model-Elimination Theorem Prover AI-SETHEO. TABLEAUX 2000: 431-435
• 
  Uwe Egly:
  Properties of Embeddings from Int to S4. TABLEAUX 2000: 205-219
• 
  Melvin Fitting:
  Modality and Databases. TABLEAUX 2000: 19-39
• 
  Melvin Fitting, Lars Thalmann, Andrei Voronkov:
  Term-Modal Logics. TABLEAUX 2000: 220-236
• 
  Enrico Giunchiglia, Armando Tacchella:
  A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics. TABLEAUX 2000: 237-251
• 
  Rajeev Goré:
  Dual Intuitionistic Logic Revisited. TABLEAUX 2000: 252-267
• 
  Raymond D. Gumb:
  Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions. TABLEAUX 2000: 268-278
• 
  Volker Haarslev, Ralf Möller:
  Consistency Testing: The RACE Experience. TABLEAUX 2000: 57-61
• 
  Ian Horrocks:
  Benchmark Analysis with FaCT. TABLEAUX 2000: 62-66
• 
  Ullrich Hustadt, Renate A. Schmidt:
  MSPASS: Modal Reasoning by Translation and First-Order Resolution. TABLEAUX 2000: 67-71
• 
  Ortrun Ibens:
  Search Space Compression in Connection Tableau Calculi Using Disjunctive Constraints. TABLEAUX 2000: 279-293
• 
  Christoph Kreitz, Brigitte Pientka:
  Matrix-Based Inductive Theorem Proving. TABLEAUX 2000: 294-308
• 
  Pedro J. Martín, Antonio Gavilanes:
  Monotonic Preorders for Free Variable Tableaux. TABLEAUX 2000: 309-323
• 
  Maarten Marx, Szabolcs Mikulás, Mark Reynolds:
  The Mosaic Method for Temporal Logics. TABLEAUX 2000: 324-340
• 
  Fabio Massacci, Francesco M. Donini:
  Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison. TABLEAUX 2000: 52-56
• 
  Marta Cialdea Mayer, Serenella Cerrito:
  Variants of First-Order Modal Logics. TABLEAUX 2000: 175-189
• 
  Linh Anh Nguyen:
  Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5. TABLEAUX 2000: 341-351
• 
  Peter F. Patel-Schneider:
  TANCS-2000 Results for DLP. TABLEAUX 2000: 72-76
• 
  David Pearce, Inman P. de Guzmán, Agustín Valverde:
  A Tableau Calculus for Equilibrium Entailment. TABLEAUX 2000: 352-367
• 
  Carla Piazza, Alberto Policriti:
  Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory. TABLEAUX 2000: 368-382
• 
  Riccardo Rosati:
  Tableau Calculus for Only Knowing and Knowing at Most. TABLEAUX 2000: 383-397

skipping 5 more matches