• 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

• 2004
• 
  José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite:
  Semantics for Dynamic Logic Programming: A Principle-Based Approach. LPNMR 2004: 8-20
• 
  Chitta Baral, Michael Gelfond, J. Nelson Rushton:
  Probabilistic Reasoning With Answer Sets. LPNMR 2004: 21-33
• 
  Paul Borchert, Christian Anger, Torsten Schaub, Miroslaw Truszczynski:
  Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative. LPNMR 2004: 3-7
• 
  Gerhard Brewka:
  Answer Sets: From Constraint Programming Towards Qualitative Optimization. LPNMR 2004: 34-46
• 
  Rina Dechter:
  Constraints and Probabilistic Networks: A Look At The Interface. LPNMR 2004: 1
• 
  Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer:
  System Description: DLV with Aggregates. LPNMR 2004: 326-330
• 
  Marc Denecker, Eugenia Ternovska:
  A Logic of Non-monotone Inductive Definitions and Its Modularity Properties. LPNMR 2004: 47-60
• 
  Yannis Dimopoulos, Antonis C. Kakas, Loizos Michael:
  Reasoning About Actions and Change in Answer Set Programming. LPNMR 2004: 61-73
• 
  Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz:
  Almost Definite Causal Theories. LPNMR 2004: 74-86
• 
  Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran:
  Simplifying Logic Programs Under Uniform and Strong Equivalence. LPNMR 2004: 87-99
• 
  Thomas Eiter, Axel Polleres:
  Towards Automated Integration of Guess and Check Programs in Answer Set Programming. LPNMR 2004: 100-113
• 
  Tomi Janhunen, Ilkka Niemelä:
  GNT - A Solver for Disjunctive Logic Programs. LPNMR 2004: 331-335
• 
  Tomi Janhunen, Emilia Oikarinen:
  LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs. LPNMR 2004: 336-340
• 
  Henry A. Kautz:
  Toward A Universal Inference Engine. LPNMR 2004: 2
• 
  Kathrin Konczak, Thomas Linke, Torsten Schaub:
  Graphs and Colorings for Answer Set Programming: Abridged Report. LPNMR 2004: 127-140
• 
  Joohyung Lee:
  Nondefinite vs. Definite Causal Theories. LPNMR 2004: 141-153
• 
  Nicola Leone, Vincenzino Lio, Giorgio Terracina:
  DLV^DB: Adding Efficient Data Management Features to ASP. LPNMR 2004: 341-345
• 
  Yuliya Lierler, Marco Maratea:
  Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. LPNMR 2004: 346-350
• 
  Lengning Liu, Miroslaw Truszczynski:
  WSAT(CC) - A Fast Local-Search ASP Solver. LPNMR 2004: 351-355
• 
  V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski:
  Logic Programs With Monotone Cardinality Atoms. LPNMR 2004: 154-166
• 
  V. Wiktor Marek, Jeffrey B. Remmel:
  Set Constraints in Logic Programming. LPNMR 2004: 167-179
• 
  Emilia Oikarinen, Tomi Janhunen:
  Verifying the Equivalence of Logic Programs in the Disjunctive Case. LPNMR 2004: 180-193
• 
  David Pearce, Agustín Valverde:
  Uniform Equivalence for Equilibrium Logic and Logic Programs. LPNMR 2004: 194-206
• 
  Nikolay Pelov, Marc Denecker, Maurice Bruynooghe:
  Partial Stable Models for Logic Programs with Aggregates. LPNMR 2004: 207-219
• 
  Gerald Pfeifer:
  Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs. LPNMR 2004: 220-233
• 
  Enrico Pontelli, Tran Cao Son, Islam Elkabani:
  Smodels with CLP?A Treatment of Aggregates in ASP. LPNMR 2004: 356-360
• 
  Orkunt Sabuncu, Ferda Nur Alpaslan, Varol Akman:
  Using Criticalities as a Heuristic for Answer Set Programming. LPNMR 2004: 234-246
• 
  Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran:
  nlp: A Compiler for Nested Logic Programming. LPNMR 2004: 361-364
• 
  Tran Cao Son, Enrico Pontelli:
  Planning with Preferences Using Logic Programming. LPNMR 2004: 247-260
• 
  Tran Cao Son, Phan Huy Tu, Chitta Baral:
  Planning with Sensing Actions and Incomplete Information Using Logic Programming. LPNMR 2004: 261-274

skipping 5 more matches