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

• 2014
• 
  Antonis Achilleos:
  On the Complexity of Two-Agent Justification Logic. CLIMA 2014: 1-18
• 
  Natasha Alechina, Wiebe van der Hoek, Brian Logan:
  Fair Allocation of Group Tasks According to Social Norms. CLIMA 2014: 19-34
• 
  Stefano Bistarelli, Fabio Rossi, Francesco Santini:
  Enumerating Extensions on Random Abstract-AFs with ArgTools, Aspartix, ConArg2, and Dung-O-Matic. CLIMA 2014: 70-86
• 
  Elizabeth Black, Amanda Jane Coles, Sara Bernardini:
  Automated Planning of Simple Persuasion Dialogues. CLIMA 2014: 87-104
• 
  Maiquel de Brito, Jomi Fred Hübner, Olivier Boissier:
  A Conceptual Model for Situated Artificial Institutions. CLIMA 2014: 35-51
• 
  Hans van Ditmarsch, Sophia Knight:
  Partial Information and Uniform Strategies. CLIMA 2014: 183-198
• 
  Daniel Eckert, Frederik Herzberg:
  The Problem of Judgment Aggregation in the Framework of Boolean-Valued Models. CLIMA 2014: 138-147
• 
  Ricardo Gonçalves, Matthias Knorr, João Leite:
  Evolving Bridge Rules in Evolving Multi-Context Systems. CLIMA 2014: 52-69
• 
  Dionysios Kontarinis, Elise Bonzon, Nicolas Maudet, Pavlos Moraitis:
  Empirical Evaluation of Strategies for Multiparty Argumentative Debates. CLIMA 2014: 105-122
• 
  Fabio Mogavero, Aniello Murano, Luigi Sauro:
  A Behavioral Hierarchy of Strategy Logic. CLIMA 2014: 148-165
• 
  Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga:
  Synthesis and Verification of Uniform Strategies for Multi-agent Systems. CLIMA 2014: 166-182
• 
  Xin Sun:
  How to Build Input/Output Logic. CLIMA 2014: 123-137
• 
  Nils Bulling, Leendert W. N. van der Torre, Serena Villata, Wojtek Jamroga, Wamberto Weber Vasconcelos:
  Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings. Lecture Notes in Computer Science 8624, Springer 2014, ISBN 978-3-319-09763-3 [contents]
• 2013
• 
  Teresa Alsinet, Ramón Béjar, Francesc Guitart, Lluís Godo:
  Web Based System for Weighted Defeasible Argumentation. CLIMA 2013: 155-171
• 
  Ofer Arieli:
  A Sequent-Based Representation of Logical Argumentation. CLIMA 2013: 69-85
• 
  Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son:
  Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL. CLIMA 2013: 290-306
• 
  Pietro Baroni, Marco Romano, Francesca Toni, Marco Aurisicchio, Giorgio Bertanza:
  An Argumentation-Based Approach for Automatic Evaluation of Design Debates. CLIMA 2013: 340-356
• 
  Ringo Baumann, Gerhard Brewka:
  Analyzing the Equivalence Zoo in Abstract Argumentation. CLIMA 2013: 18-33
• 
  Nils Bulling, Mehdi Dastani:
  Coalitional Responsibility in Strategic Settings. CLIMA 2013: 172-189
• 
  Elena Cabrio, Sara Tonelli, Serena Villata:
  From Discourse Analysis to Argumentation Schemes and Back: Relations and Differences. CLIMA 2013: 1-17
• 
  Louise A. Dennis, Michael Fisher, Matthew P. Webster:
  Using Agent JPF to Build Models for Other Model Checkers. CLIMA 2013: 273-289
• 
  Pierpaolo Dondio:
  Computing the Grounded Semantics in all the Subgraphs of an Argumentation Framework: An Empirical Evaluation. CLIMA 2013: 119-137
• 
  Barbara Dunin-Keplicz, Alina Strachocka:
  Perceiving Rules under Incomplete and Inconsistent Information. CLIMA 2013: 256-272
• 
  Xiuyi Fan, Robert Craven, Ramsay Singer, Francesca Toni, Matthew Williams:
  Assumption-Based Argumentation for Decision-Making with Preferences: A Medical Case Study. CLIMA 2013: 374-390
• 
  Ana Sofia Gomes, José Júlio Alferes:
  External Transaction Logic with Automatic Compensations. CLIMA 2013: 239-255
• 
  Wojciech Jamroga, Masoud Tabatabaei:
  Accumulative Knowledge under Bounded Resources. CLIMA 2013: 206-222
• 
  Jeffrey Kane, Pavel Naumov:
  Symmetries and Epistemic Reasoning. CLIMA 2013: 190-205
• 
  Matthias Knorr, Alfredo Gabaldon, Ricardo Gonçalves, João Leite, Martin Slota:
  Time Is Up! - Norms with Deadlines in Action Languages. CLIMA 2013: 223-238
• 
  Dionysios Kontarinis, Elise Bonzon, Nicolas Maudet, Alan Perotti, Leon van der Torre, Serena Villata:
  Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System. CLIMA 2013: 51-68
• 
  Peter Novák, Cees Witteveen:
  Reconfiguration of Large-Scale Surveillance Systems. CLIMA 2013: 325-339

skipping 207 more matches