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

• 2010
• 
  Roberto Javier Asín Achá, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell:
  Practical algorithms for unsatisfiability proof and core generation in SAT solvers. AI Commun. 23(2-3): 145-157 (2010)
• 
  Giulia Andrighetto, Daniel Villatoro, Rosaria Conte:
  Norm internalization in artificial societies. AI Commun. 23(4): 325-339 (2010)
• 
  Simon Bäumler, Michael Balser, Florian Nafz, Wolfgang Reif, Gerhard Schellhorn:
  Interactive verification of concurrent systems using symbolic execution. AI Commun. 23(2-3): 285-307 (2010)
• 
  Nils Bulling, Wojciech Jamroga:
  Verifying agents with memory is harder than it seemed. AI Commun. 23(4): 389-403 (2010)
• 
  Nasim Farsiniamarj, Volker Haarslev:
  Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic H. AI Commun. 23(2-3): 205-240 (2010)
• 
  Nicoletta Fornara, Marco Colombetti:
  Representation and monitoring of commitments and norms using OWL. AI Commun. 23(4): 341-356 (2010)
• 
  Ulrich Furbach, Ingo Glöckner, Björn Pelzer:
  An application of automated reasoning in natural language question answering. AI Commun. 23(2-3): 241-265 (2010)
• 
  Yann-Michaël De Hauwere, Peter Vrancx, Ann Nowé:
  Generalized learning automata for multi-agent reinforcement learning. AI Commun. 23(4): 311-324 (2010)
• 
  Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, Krysia Broda:
  Speculative constraint processing for hierarchical agents. AI Commun. 23(4): 373-388 (2010)
• 
  Boris Konev, Renate A. Schmidt, Stephan Schulz:
  Special issue on practical aspects of automated reasoning. AI Commun. 23(2-3): 67-68 (2010)
• 
  Michel Ludwig, Ullrich Hustadt:
  Implementing a fair monodic temporal logic prover. AI Commun. 23(2-3): 69-96 (2010)
• 
  Diego Magro:
  F: Conceptual language-based configuration. AI Commun. 23(1): 1-46 (2010)
• 
  Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray:
  SOLAR: An automated deduction system for consequence finding. AI Commun. 23(2-3): 183-203 (2010)
• 
  Jens Otten:
  Restricting backtracking in connection calculi. AI Commun. 23(2-3): 159-182 (2010)
• 
  Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac:
  Large theory reasoning with SUMO at CASC. AI Commun. 23(2-3): 137-144 (2010)
• 
  J. D. Phillips, David Stanovský:
  Automated theorem proving in quasigroup and loop theory. AI Commun. 23(2-3): 267-283 (2010)
• 
  Luca Pulina:
  Engineering portfolios of Machine Learning algorithms to solve complex tasks in Robotics and Automated Reasoning. AI Commun. 23(1): 61-63 (2010)
• 
  Mariano Rico:
  Simplifying Semantic Web application development and semantic data usage. AI Commun. 23(1): 65-66 (2010)
• 
  Jordi Sabater-Mir, Paul Davidsson:
  Preface. AI Commun. 23(4): 309-310 (2010)
• 
  Norman Salazar, Juan A. Rodríguez-Aguilar, Josep Lluís Arcos:
  Robust coordination in large convention spaces. AI Commun. 23(4): 357-372 (2010)
• 
  Geoff Sutcliffe:
  The CADE-22 automated theorem proving system competition - CASC-22. AI Commun. 23(1): 47-59 (2010)
• 
  Christoph Weidenbach, Patrick Wischnewski:
  Subterm contextual rewriting. AI Commun. 23(2-3): 97-109 (2010)
• 
  Lan Zhang, Ullrich Hustadt, Clare Dixon:
  CTL-RP: A computation tree logic resolution prover. AI Commun. 23(2-3): 111-136 (2010)