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

• 2011
• 
  Andrea Omicini, Sebastian Sardiña, Wamberto Weber Vasconcelos:
  Declarative Agent Languages and Technologies VIII - 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers. Lecture Notes in Computer Science 6619, Springer 2011, ISBN 978-3-642-20714-3 [contents]
• 2010
• 
  Matteo Baldoni, Cristina Baroglio, Elisa Marengo:
  Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS. DALT 2010: 60-77
• 
  Gauvain Bourgne, Katsumi Inoue:
  Query-Driven Coordination of Multiple Answer Sets. DALT 2010: 40-59
• 
  Elisa Burato, Matteo Cristani, Luca Viganò:
  A Deduction System for Meaning Negotiation. DALT 2010: 78-95
• 
  Aniruddha Dasgupta, Aditya K. Ghose:
  BDI Agents with Objectives and Preferences. DALT 2010: 22-39
• 
  Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres:
  Declarative Abstractions for Agent Based Hybrid Control Systems. DALT 2010: 96-111
• 
  Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli:
  Symbolic Model Checking Commitment Protocols Using Reduction. DALT 2010: 185-203
• 
  Jiefei Ma, Krysia Broda, Alessandra Russo, Emil Lupu:
  Distributed Abductive Reasoning with Constraints. DALT 2010: 148-166
• 
  Nir Oren, Madalina Croitoru, Simon Miles, Michael Luck:
  Understanding Permissions through Graphical Norms. DALT 2010: 167-184
• 
  John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith:
  Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems. DALT 2010: 1-21
• 
  Iain Wallace, Michael Rovatsos:
  Executing Specifications of Social Reasoning Agents. DALT 2010: 112-129
• 
  Yanjing Wang, Floor Sietsma, Jan van Eijck:
  Logic of Information Flow on Communication Channels. DALT 2010: 130-147