• 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

• 2000
• 
  Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt:
  The KeY Approach: Integrating Object Oriented Design and Formal Verification. JELIA 2000: 21-36
• 
  Marco Aiello:
  Topo-distance: Measuring the Difference between Spatial Patterns. JELIA 2000: 73-86
• 
  José Júlio Alferes, Luís Moniz Pereira:
  Updates plus Preferences. JELIA 2000: 345-360
• 
  Ofer Arieli:
  An Algorithmic Approach to Recover Inconsistent Knowledge-Bases. JELIA 2000: 148-162
• 
  Johan van Benthem:
  'On Being Informed': Update Logics for Knowledge States. JELIA 2000: 1
• 
  Carlos Viegas Damásio, Luís Moniz Pereira:
  Hybrid Probabilistic Logic Programs as Residuated Logic Programs. JELIA 2000: 57-72
• 
  Antonio Frias Delgado, Jose Antonio Jimenez Millan:
  An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus. JELIA 2000: 87-101
• 
  James P. Delgrande, Torsten Schaub, Hans Tompits:
  A Compilation of Brewka and Eiter's Approach to Prioritization. JELIA 2000: 376-390
• 
  Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
  A Modal Logic for Network Topologies. JELIA 2000: 269-283
• 
  Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
  Considerations on Updates of Logic Programs. JELIA 2000: 2-20
• 
  Thomas Eiter, Thomas Lukasiewicz:
  New Tractable Cases in Default Reasoning from Conditional Knowledge Bases. JELIA 2000: 313-328
• 
  Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde:
  Reduction Theorems for Boolean Formulas Using Delta-Trees. JELIA 2000: 179-192
• 
  Wiebe van der Hoek, Jan Jaspars, Elias Thijsse:
  A General Approach to Multi-agent Minimal Knowledge. JELIA 2000: 254-268
• 
  Tomi Janhunen:
  Capturing Stationary and Regular Extensions with Reiter's Extensions. JELIA 2000: 102-117
• 
  Chunping Li:
  Representing the Process Semantics in the Event Calculus. JELIA 2000: 118-132
• 
  Paolo Liberatore:
  A Framework for Belief Update. JELIA 2000: 361-375
• 
  Pedro J. Martín, Antonio Gavilanes:
  Simultaneous Rigid Sorted Unification. JELIA 2000: 193-208
• 
  Antonio Moreno, Ulises Cortés, Ton Sales:
  Avoiding Logical Omniscience by Using Subjective Situations. JELIA 2000: 284-299
• 
  Abhaya C. Nayak:
  Acceptance Without Minimality. JELIA 2000: 163-178
• 
  Henry Prakken:
  On Dialogue Systems with Speech Acts, Arguments, and Counterarguments. JELIA 2000: 224-238
• 
  Alexandre Riazanov, Andrei Voronkov:
  Partially Adaptive Code Trees. JELIA 2000: 209-223
• 
  Josefina Sierra-Santibáñez:
  Declarative Formalization of Strategies for Action Selection: Applications to Planning. JELIA 2000: 133-147
• 
  Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev:
  Semi-qualitative Reasoning about Distances: A Preliminary Report. JELIA 2000: 37-56
• 
  Holger Sturm, Frank Wolter, Michael Zakharyaschev:
  Monodic Epistemic Predicate Logic. JELIA 2000: 329-344
• 
  Marina De Vos, Dirk Vermeir:
  A Logic for Modeling Decision Making with Dynamic Preferences. JELIA 2000: 391-406
• 
  Gerard Vreeswijk, Henry Prakken:
  Credulous and Sceptical Argument Games for Preferred Semantics. JELIA 2000: 239-253
• 
  Michael J. Wooldridge, Alessio Lomuscio:
  Multi-agent VSK Logic. JELIA 2000: 300-312
• 
  Manuel Ojeda-Aciego, Inman P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira:
  Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings. Lecture Notes in Computer Science 1919, Springer 2000, ISBN 3-540-41131-3 [contents]