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

• 2006
• 
  Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni:
  Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers. Lecture Notes in Computer Science 3904, Springer 2006, ISBN 3-540-33106-9 [contents]
• 2005
• 
  Thomas Ågotnes, Michal Walicki:
  Complete Axiomatizations of Finite Syntactic Epistemic States. DALT 2005: 33-50
• 
  Natasha Alechina, Mark Jago, Brian Logan:
  Resource-Bounded Belief Revision and Contraction. DALT 2005: 141-154
• 
  Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer:
  A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication. DALT 2005: 223-244
• 
  Stefania Costantini, Arianna Tocchio:
  About Declarative Semantics of Logic-Based Agent Languages. DALT 2005: 106-123
• 
  Andrés García-Camino, Juan A. Rodríguez-Aguilar, Carles Sierra, Wamberto Weber Vasconcelos:
  A Distributed Architecture for Norm-Aware Agent Societies. DALT 2005: 89-105
• 
  Hisashi Hayashi, Seiji Tokura, Tetsuo Hasegawa, Fumio Ozaki:
  Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains. DALT 2005: 171-187
• 
  Johan Kwisthout, Mehdi Dastani:
  Modelling Uncertainty in Agent Programming. DALT 2005: 17-32
• 
  John W. Lloyd, Tim D. Sears:
  An Architecture for Rational Agents. DALT 2005: 51-71
• 
  Alessio Lomuscio, Bozena Wozna:
  A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results. DALT 2005: 188-204
• 
  Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini, Jomi Fred Hübner:
  Agent-Oriented Programming with Underlying Ontological Reasoning. DALT 2005: 155-170
• 
  Gaële Simon, Bruno Mermet, Dominique Fournier:
  Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour. DALT 2005: 124-140
• 
  Marina De Vos, Tom Crick, Julian A. Padget, Martin Brain, Owen Cliffe, Jonathan Needham:
  LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming. DALT 2005: 72-88
• 
  Kaiyu Wan, Vasu S. Alagar:
  An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents. DALT 2005: 205-222
• 
  Laurens Winkelhagen, Mehdi Dastani, Jan M. Broersen:
  Beliefs in Agent Implementation. DALT 2005: 1-16