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

• 2001
• 
  Alberto Bertoni, Giuliano Grossi, Alessandro Provetti, Vladik Kreinovich, Luis Tari:
  The Prospect for Answer Sets Computation by a Genetic Model. Answer Set Programming 2001
• 
  Howard A. Blair:
  Dynamical Properties of Answer Set Programs. Answer Set Programming 2001
• 
  Pedro Cabalar:
  Well Founded Semantics as Two dimensional Here and There. Answer Set Programming 2001
• 
  Stefania Costantini:
  Comparing different graph representations of logic programs under the Answer Set semantics. Answer Set Programming 2001
• 
  Marc Denecker:
  On the Epistemological foundations of Logic Programming and its Extensions. Answer Set Programming 2001
• 
  Deborah East, Miroslaw Truszczynski:
  More on Wire Routing with ASP. Answer Set Programming 2001
• 
  Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran:
  Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results. Answer Set Programming 2001
• 
  Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
  Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming. Answer Set Programming 2001
• 
  Raphael A. Finkel, Victor W. Marek, Neil Moore, Miroslaw Truszczynski:
  Computing stable models in parallel. Answer Set Programming 2001
• 
  Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski:
  Tabular Constraint-Satisfaction Problems and Answer Set Programming. Answer Set Programming 2001
• 
  Michael Gelfond, Joel Galloway:
  Diagnosing Dynamic Systems in A Prolog. Answer Set Programming 2001
• 
  Jay Halcomb, Adam Pease:
  On treating negation within XSB (and upon extending XSB programming with a form of logical negation, and its relations to existing varieties of logic programming). Answer Set Programming 2001
• 
  Keijo Heljanko, Ilkka Niemelä:
  Answer Set Programming and Bounded Model Checking. Answer Set Programming 2001
• 
  James D. Jones:
  Sets as Terms for Answer Set Programming. Answer Set Programming 2001
• 
  Pinar Koksal, Nihan Kesim Cicekli, Ismail Hakki Toroslu:
  Specification of Workflow Process Using the Action Description Language C. Answer Set Programming 2001
• 
  Joohyung Lee, Vladimir Lifschitz:
  Additive Fluents. Answer Set Programming 2001
• 
  Victor W. Marek, Jeffrey B. Remmel:
  On the Foundations of Answer Set Programming. Answer Set Programming 2001
• 
  Pascal Nicolas, Frédéric Saubion, Igor Stéphan:
  Genes and Ants for Default Logic. Answer Set Programming 2001
• 
  Monica L. Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry:
  An A Prolog decision support system for the Space Shuttle. Answer Set Programming 2001
• 
  Mauricio Osorio, Juan Carlos Nieves, Chris Giannella:
  Useful Transformations in Answer set programming. Answer Set Programming 2001
• 
  Ramón P. Otero:
  Pertinence Logic Characterisation of Stable Models (Preliminary Report). Answer Set Programming 2001
• 
  Aarati Parmar:
  A Declarative Implementation of Planning with Control. Answer Set Programming 2001
• 
  David Pearce, Agustín Valverde:
  Abduction in equilibrium logic. Answer Set Programming 2001
• 
  Enrico Pontelli, Omar El-Khatib:
  Exploiting Vertical Parallelism from Answer Set Programs. Answer Set Programming 2001
• 
  Chiaki Sakama:
  Learning by Answer Sets. Answer Set Programming 2001
• 
  Torsten Schaub, Kewen Wang:
  A Comparative Study of Logic Programs with Preference: Preliminary Report. Answer Set Programming 2001
• 
  Timo Soininen, Ilkka Niemelä, Juha Tiihonen, Reijo Sulonen:
  Representing Configuration Knowledge With Weight Constraint Rules. Answer Set Programming 2001
• 
  Tran Cao Son, Chitta Baral, Sheila A. McIlraith:
  Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs. Answer Set Programming 2001
• 
  Tran Cao Son, Jorge Lobo:
  Reasoning about Policies using Logic Programs. Answer Set Programming 2001
• 
  Le-Chi Tuan, Chitta Baral:
  Effect of knowledge representation on model based planning: experiments using logic programming encodings. Answer Set Programming 2001

skipping 2 more matches