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

• 2005
• 
  Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub:
  The nomore++ Approach to Answer Set Solving. Answer Set Programming 2005
• 
  Sabrina Baselice, Piero A. Bonatti, Michael Gelfond:
  A Preliminary Report on Integrating of Answer Set and Constraint Solving. Answer Set Programming 2005
• 
  Martin Brain, Marina De Vos:
  Debugging Logic Programs under the Answer Set Semantics. Answer Set Programming 2005
• 
  Martin Brain, Richard Watson, Marina De Vos:
  An Interactive Approach to Answer Set Programming. Answer Set Programming 2005
• 
  Pedro Cabalar, David Pearce, Agustín Valverde:
  Reducing Propositional Theories in Equilibrium Logic to Logic Programs. Answer Set Programming 2005
• 
  Yin Chen, Fangzhen Lin, Lei Li:
  SELP - A System for Studying Strong Equivalence between Logic Programs. Answer Set Programming 2005
• 
  Sandeep Chintabathina, Michael Gelfond, Richard Watson:
  Modeling Hybrid Domains Using Process Description Language. Answer Set Programming 2005
• 
  Enrico Giunchiglia, Marco Maratea:
  An Experimental Study of Search Strategies and Heuristics in Answer Set Programming. Answer Set Programming 2005
• 
  Giuliano Grossi, Massimo Marchi:
  A New Algorithm for Answer Set Computation. Answer Set Programming 2005
• 
  Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir:
  Extending Conceptual Logic Programs with Arbitrary Rules. Answer Set Programming 2005
• 
  Giovambattista Ianni, Claudio Panetta, Francesco Ricca:
  Specification of Assessment-test Criteria through ASP Specifications. Answer Set Programming 2005
• 
  Kathrin Konczak, Ralf Vogel:
  Abduction and Preferences in Linguistics. Answer Set Programming 2005
• 
  Yuliya Lierler:
  Disjunctive Answer Set Programming via Satisfiability. Answer Set Programming 2005
• 
  Vladimir Lifschitz:
  What is a Logic Program. Answer Set Programming 2005
• 
  Pascal Nicolas, Claire Lefèvre:
  Possibilistic Stable Model Computing. Answer Set Programming 2005
• 
  Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir:
  Intelligence Analysis Using Quantitative Preferences. Answer Set Programming 2005
• 
  Magdalena Ortiz, Mauricio Osorio:
  Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics. Answer Set Programming 2005
• 
  Massimo Ruffolo, Nicola Leone, Marco Manna, Domenico Saccà, Amedeo Zavatto:
  Exploiting ASP for Semantic Information Extraction. Answer Set Programming 2005
• 
  Chiaki Sakama, Katsumi Inoue:
  Combining Answer Sets of Nonmonotonic Logic Programs. Answer Set Programming 2005
• 
  Luis Tari, Chitta Baral, Saadat Anwar:
  A Language for Modular Answer Set Programming: Application to ACC Tournament Scheduling. Answer Set Programming 2005
• 
  Hans Tompits, Stefan Woltran:
  Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming. Answer Set Programming 2005
• 
  Joost Vennekens, Marc Denecker:
  An Algebraic Account of Modularity in ID-logic. Answer Set Programming 2005
• 
  Claudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon, David Sol:
  Applications of Preferences using Answer Set Programming. Answer Set Programming 2005
• 
  Marina De Vos, Alessandro Provetti:
  Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005. CEUR Workshop Proceedings 142, CEUR-WS.org 2005 [contents]
• 2003
• 
  Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli:
  Outlier Detection Using Default Logic. Answer Set Programming 2003
• 
  Marcello Balduccini, Veena S. Mellarkod:
  CR-Prolog with Ordered Disjunction. Answer Set Programming 2003
• 
  Piero A. Bonatti:
  Finitary Open Logic Program. Answer Set Programming 2003
• 
  Martin Brain, Marina De Vos:
  Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice. Answer Set Programming 2003
• 
  Francesco Calimeri, Stefania Galizia, Massimo Ruffolo, Pasquale Rullo:
  OntoDLP: a Logic Formalism for Knowledge Representation. Answer Set Programming 2003
• 
  Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo:
  Mappings Between Domain Models in Answer Set Programming. Answer Set Programming 2003

skipping 55 more matches