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

• 1998
• 
  Maria Paola Bonacina:
  Analysis of Distributed-Search Contraction-Based Strategies. JELIA 1998: 107-121
• 
  François Bry, Sunna Torge:
  A Deduction Method Complete for Refutation and Finite Satisfiability. JELIA 1998: 122-138
• 
  Marco Cadoli, Luigi Palopoli, Francesco Scarcello:
  Propositional Lower Bounds: Generalization and Algorithms. JELIA 1998: 355-367
• 
  Jeremy E. Dawson, Rajeev Goré:
  A Mechanised Proof System for Relation Algebra using Display Logic. JELIA 1998: 264-278
• 
  Pierangelo Dell'Acqua, Fariba Sadri, Francesca Toni:
  Combining Introspection and Communication with Rationality and Reactivity in Agents. JELIA 1998: 17-32
• 
  Stéphane Demri, Beata Konikowska:
  Relative Similarity Logics are Decidable: Reduction to FO² with Equality. JELIA 1998: 279-293
• 
  Marc Denecker:
  The Well-Founded Semantics Is the Principle of Inductive Definition. JELIA 1998: 1-16
• 
  Dirk Fuchs:
  Requirement-Based Cooperative Theorem Proving. JELIA 1998: 139-153
• 
  Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
  A Conditional Logic for Belief Revision. JELIA 1998: 294-308
• 
  Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde:
  Implicates and Reduction Techniques for Temporal Logics. JELIA 1998: 309-323
• 
  Wiebe van der Hoek, Jan Jaspars, Elias Thijsse:
  Persistence and Minimality in Epistemic Logic. JELIA 1998: 62-76
• 
  Tomi Janhunen:
  On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription. JELIA 1998: 216-232
• 
  Manfred Kerber:
  On Knowledge, Strings, and Paradoxes. JELIA 1998: 342-354
• 
  Frédéric Koriche:
  A Logic for Anytime Deduction and Anytime Compilation. JELIA 1998: 324-341
• 
  Sonia M. Leach, James J. Lu, Neil V. Murray, Erik Rosenthal:
  Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics. JELIA 1998: 154-168
• 
  Thomas Linke, Torsten Schaub:
  An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem. JELIA 1998: 233-247
• 
  Wenjin Lu, Ulrich Furbach:
  Disjunctive Logic Program = Horn Program + Control Program. JELIA 1998: 33-46
• 
  Jianguo Lu, Masateru Harao, Masami Hagiya:
  Higher Order Generalization. JELIA 1998: 368-381
• 
  Heiko Mantel, Christoph Kreitz:
  A Matrix Characterization for MELL. JELIA 1998: 169-183
• 
  Christof Monz, Maarten de Rijke:
  A Resolution Calculus for Dynamic Semantics. JELIA 1998: 184-198
• 
  Mauricio Osorio:
  Semantics of Partial-Order Programs. JELIA 1998: 47-61
• 
  Reinhard Pichler:
  Algorithms on Atomic Representations of Herbrand Models. JELIA 1998: 199-215
• 
  Erik Sandewall:
  The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events. JELIA 1998: 382-384
• 
  Paul Tarau:
  Towards Inference and Computation Mobility: The Jinni Experiment. JELIA 1998: 385-390
• 
  Michael Thielscher:
  Towards State Update Axioms: Reifying Successor State Axioms. JELIA 1998: 248-263
• 
  Leendert W. N. van der Torre:
  Phased Labeled Logics of Conditional Goals. JELIA 1998: 92-106
• 
  Leendert W. N. van der Torre, Yao-Hua Tan:
  Prohairetic Deontic Logic (PDL). JELIA 1998: 77-91
• 
  Jürgen Dix, Luis Fariñas del Cerro, Ulrich Furbach:
  Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings. Lecture Notes in Computer Science 1489, Springer 1998, ISBN 3-540-65141-1 [contents]