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

• 2009
• 
  Michael Fisher, Fariba Sadri, Michael Thielscher:
  Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers. Lecture Notes in Computer Science 5405, Springer 2009, ISBN 978-3-642-02733-8 [contents]
• 2008
• 
  Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan:
  Bounded-Resource Reasoning as (Strong or Classical) Planning. CLIMA 2008: 77-96
• 
  Marius C. Bujorianu, Manuela-Luminita Bujorianu, Howard Barringer:
  A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems. CLIMA 2008: 97-116
• 
  Stefania Costantini, Arianna Tocchio, Panagiota Tsintza:
  Contracts Violation: Justification via Argumentation. CLIMA 2008: 132-153
• 
  Mehdi Dastani:
  Programming Multi-agent Systems. CLIMA 2008: 13-16
• 
  Catalin Dima:
  Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall. CLIMA 2008: 117-131
• 
  Phan Minh Dung, Phan Minh Thang, Nguyen Duy Hung:
  Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant. CLIMA 2008: 154-172
• 
  Laura Giordano, Alberto Martelli:
  Verifying Agents' Conformance with Multiparty Protocols. CLIMA 2008: 17-36
• 
  Wojciech Jamroga:
  Easy Yet Hard: Model Checking Strategies of Agents. CLIMA 2008: 1-12
• 
  Norihiro Kamide:
  Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic. CLIMA 2008: 57-76
• 
  Juan Manuel Serrano, Sergio Saugar:
  Run-Time Semantics of a Language for Programming Social Processes. CLIMA 2008: 37-56