• 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

• 2004
• 
  João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni:
  Declarative Agent Languages and Technologies, First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers. Lecture Notes in Computer Science 2990, Springer 2004, ISBN 3-540-22124-7 [contents]
• 2003
• 
  Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
  Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study. DALT 2003: 243-262
• 
  Davide Ancona, Viviana Mascardi:
  Coo-BDI: Extending the BDI Model with Cooperativity. DALT 2003: 109-134
• 
  Federico Bergenti, Giovanni Rimassa, Mirko Viroli:
  Operational Semantics for Agents by Iterated Refinement. DALT 2003: 37-53
• 
  Marco Castaldi, Stefania Costantini, Stefano Gentile, Arianna Tocchio:
  A Logic-Based Infrastructure for Reconfiguring Applications. DALT 2003: 17-36
• 
  Keith L. Clark, Francis G. McCabe:
  Go! for Multi-Threaded Deliberative Agents. DALT 2003: 54-75
• 
  Marco Colombetti, Nicoletta Fornara, Mario Verdicchio:
  A Social Approach to Communication in Multiagent Systems. DALT 2003: 191-220
• 
  Lee Flax:
  A Proposal for Reasoning in Agents: Restricted Entailment. DALT 2003: 173-190
• 
  Wiebe van der Hoek, Alessio Lomuscio:
  A logic for ignorance. DALT 2003: 97-108
• 
  Peep Küngas, Mihhail Matskin:
  Linear Logic, Partial Deduction and Cooperative Problem Solving. DALT 2003: 263-279
• 
  Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini:
  Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication. DALT 2003: 135-154
• 
  Andrea Omicini, Franco Zambonelli:
  MAS as Complex Systems: A View on the Role of Declarative Approaches. DALT 2003: 1-16
• 
  Tran Cao Son, Enrico Pontelli, Desh Ranjan, Brook Milligan, Gopal Gupta:
  An Agent-based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology. DALT 2003: 76-96
• 
  Bình Vu Trân, James Harland, Margaret Hamilton:
  A Combined Logic of Expectation & Observation. A generalisation of BDI logics. DALT 2003: 155-172
• 
  Wamberto Weber Vasconcelos:
  Logic-Based Electronic Institutions. DALT 2003: 221-242