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

• 2017
• 
  Javier Romero, Torsten Schaub, Tran Cao Son:
  Generalized Answer Set Planning with Incomplete Information. ASPOCP@LPNMR 2017
• 
  Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal:
  Forgetting Auxiliary Atoms in Forks. ASPOCP@LPNMR 2017
• 
  Evgenii Balai, Michael Gelfond:
  Refining and Generalizing P-log - Preliminary Report. ASPOCP@LPNMR 2017
• 
  Pedro Cabalar, Stefania Costantini, Andrea Formisano:
  Multi-Context Systems: Dynamics and Evolution. ASPOCP@LPNMR 2017
• 
  Johannes Klaus Fichte, Martin Kronegger, Stefan Woltran:
  A Multiparametric View on Answer Set Programming. ASPOCP@LPNMR 2017
• 
  Johannes Klaus Fichte, Stefan Szeider:
  Backdoor Trees for Answer Set Programming. ASPOCP@LPNMR 2017
• 
  Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko:
  clingo goes Linear Constraints over Reals and Integers. ASPOCP@LPNMR 2017
• 
  Bin Wang, Zhizheng Zhang:
  A Parallel LP^MLN Solver: Primary Report. ASPOCP@LPNMR 2017
• 
  Ryan Young, Marcello Balduccini, Ankush Israney:
  CASP for Robot Control in Hybrid Domains. ASPOCP@LPNMR 2017
• 
  Bart Bogaerts, Amelia Harrison:
  Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017, Espoo, Finland, July 3, 2017. CEUR Workshop Proceedings 1868, CEUR-WS.org 2017 [contents]