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

• 2010
• 
  Thomas Ågotnes:
  Group Announcements: Logic and Games (Abstract of Invited Talk). CLIMA 2010: 9-13
• 
  Christoph Benzmüller:
  Combining Logics in Simple Type Theory. CLIMA 2010: 33-48
• 
  Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano:
  Exploring the Boundary of Half Positionality. CLIMA 2010: 171-185
• 
  Jan Calta, Dmitry Shkatov, Bernd-Holger Schlingloff:
  Finding Uniform Strategies for Multi-agent Systems. CLIMA 2010: 135-152
• 
  Stefania Costantini, Arianna Tocchio:
  A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages. CLIMA 2010: 238-255
• 
  Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré:
  Verifying Business Process Compliance by Reasoning about Actions. CLIMA 2010: 99-116
• 
  Sujata Ghosh, Ramaswamy Ramanujam, Sunil Easaw Simon:
  Playing Extensive Form Games in Parallel. CLIMA 2010: 153-170
• 
  Pedro Arturo Góngora, Eric Ufferman, Francisco Hernández Quiroz:
  Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of pi-Calculus Processes. CLIMA 2010: 65-81
• 
  Jomi Fred Hübner, Olivier Boissier, Rafael H. Bordini:
  From Organisation Specification to Normative Programming in Multi-Agent Organisations. CLIMA 2010: 117-134
• 
  Sung-Shik T. Q. Jongmans, Koen V. Hindriks, M. Birna van Riemsdijk:
  Model Checking Agent Programs by Using the Program Interpreter. CLIMA 2010: 219-237
• 
  Özgür Kafali, Federico Chesani, Paolo Torroni:
  What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior. CLIMA 2010: 82-98
• 
  Robert A. Kowalski, Fariba Sadri:
  An Agent Language with Destructive Assignment and Model-Theoretic Semantics. CLIMA 2010: 200-218
• 
  Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, Ken Satoh:
  Speculative Abductive Reasoning for Hierarchical Agent Systems. CLIMA 2010: 49-64
• 
  Ron van der Meyden:
  Games, Norms and Strategic Notions in Information Flow Security. CLIMA 2010: 8
• 
  Sara Miner More, Pavel Naumov:
  Hypergraphs of Multiparty Secrets. CLIMA 2010: 15-32
• 
  Toby Walsh:
  Is Computational Complexity a Barrier to Manipulation? CLIMA 2010: 1-7
• 
  Stefan Woltran:
  Strong Equivalence in Argumentation. CLIMA 2010: 14
• 
  Jonathan A. Zvesper, Krzysztof R. Apt:
  Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets. CLIMA 2010: 186-199
• 
  Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga:
  Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings. Lecture Notes in Computer Science 6245, Springer 2010, ISBN 978-3-642-14976-4 [contents]