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

• 2009
• 
  Vernon Asuncion, Yan Zhang:
  Translating Preferred Answer Set Programs to Propositional Logic. LPNMR 2009: 396-401
• 
  Marcello Balduccini:
  How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP. LPNMR 2009: 4-16
• 
  Marcello Balduccini:
  Splitting a CR-Prolog Program. LPNMR 2009: 17-29
• 
  Marcello Balduccini:
  CR-Prolog as a Specification Language for Constraint Satisfaction Problems. LPNMR 2009: 402-408
• 
  Chitta Baral, Tran Cao Son, Enrico Pontelli:
  Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using . LPNMR 2009: 409-415
• 
  Armin Biere:
  SAT, SMT and Applications. LPNMR 2009: 1
• 
  Antonis Bikakis, Grigoris Antoniou:
  Contextual Argumentation in Ambient Intelligence. LPNMR 2009: 30-43
• 
  Alexander Bockmayr:
  Logic-Based Modeling in Systems Biology. LPNMR 2009: 2
• 
  Georg Boenn, Martin Brain, Marina De Vos, John ffitch:
  ANTON: Composing Logic and Logic Composing. LPNMR 2009: 542-547
• 
  Gerhard Brewka, Thomas Eiter:
  Argumentation Context Systems: A Framework for Abstract Group Argumentation. LPNMR 2009: 44-57
• 
  Gerhard Brewka, Thomas Eiter:
  From Data Integration towards Knowledge Mediation. LPNMR 2009: 610-612
• 
  Annamaria Bria, Wolfgang Faber, Nicola Leone:
  nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver. LPNMR 2009: 477-482
• 
  Jos de Bruijn, Stijn Heymans:
  Complexity of the Stable Model Semantics for Queries on Incomplete Databases. LPNMR 2009: 101-114
• 
  Pedro Cabalar, David Pearce, Agustín Valverde:
  A Revised Concept of Safety for General Answer Set Programs. LPNMR 2009: 58-70
• 
  Duygu Çakmak, Esra Erdem, Halit Erdogan:
  Computing Weighted Solutions in Answer Set Programming. LPNMR 2009: 416-422
• 
  Ozan Çaldiran, Kadir Haspalamutgil, Abdullah Ok, Can Palaz, Esra Erdem, Volkan Patoglu:
  Bridging the Gap between High-Level Reasoning and Low-Level Control. LPNMR 2009: 342-354
• 
  Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone:
  Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. LPNMR 2009: 71-86
• 
  Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone:
  An ASP System with Functions, Lists, and Sets. LPNMR 2009: 483-489
• 
  Owen Cliffe, Marina De Vos, Julian A. Padget:
  Modelling Normative Frameworks Using Answer Set Programing. LPNMR 2009: 548-553
• 
  Stefania Costantini:
  Integrating Answer Set Modules into Agent Programs. LPNMR 2009: 613-615
• 
  Tom Crick, Martin Brain, Marina De Vos, John P. Fitch:
  Generating Optimal Code Using Answer Set Programming. LPNMR 2009: 554-559
• 
  Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner:
  Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. LPNMR 2009: 87-100
• 
  James P. Delgrande:
  What Next for ASP? (A Not-Entirely-Well-Informed Opinion). LPNMR 2009: 616-618
• 
  James P. Delgrande, Torsten Grote, Aaron Hunter:
  A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming. LPNMR 2009: 355-367
• 
  Marc Denecker, Joost Vennekens:
  Using Lightweight Inference to Solve Lightweight Problems. LPNMR 2009: 619-621
• 
  Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski:
  The Second Answer Set Programming Competition. LPNMR 2009: 637-654
• 
  Agostino Dovier, Andrea Formisano, Enrico Pontelli:
  Representing Multi-agent Planning in CLP. LPNMR 2009: 423-429
• 
  Agostino Dovier, Enrico Pontelli:
  Present and Future Challenges for ASP Systems. LPNMR 2009: 622-624
• 
  Enrico Ellguth, Martin Gebser, Markus Gusowski, Benjamin Kaufmann, Roland Kaminski, Stefan Liske, Torsten Schaub, Lars Schneidenbach, Bettina Schnor:
  A Simple Distributed Conflict-Driven Answer Set Solver. LPNMR 2009: 490-495
• 
  Esra Erdem:
  PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming. LPNMR 2009: 567-572

skipping 46 more matches