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

• 2018
• 
  Elizabeth Black, Sanjay Modgil, Nir Oren:
  Theory and Applications of Formal Argumentation - 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10757, Springer 2018, ISBN 978-3-319-75552-6 [contents]
• 2017
• 
  Annemarie Borg, Ofer Arieli, Christian Straßer:
  Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM. TAFA 2017: 17-34
• 
  Jérémie Dauphin, Marcos Cramer:
  ASPIC-END: Structured Argumentation with Explanations and Natural Deduction. TAFA 2017: 51-66
• 
  Jérémie Dauphin, Marcos Cramer:
  Extended Explanatory Argumentation Frameworks. TAFA 2017: 86-101
• 
  Nils Geilen, Matthias Thimm:
  Heureka: A General Heuristic Backtracking Solver for Abstract Argumentation. TAFA 2017: 143-149
• 
  Zimi Li, Nir Oren, Simon Parsons:
  On the Links Between Argumentation-Based Reasoning and Nonmonotonic Reasoning. TAFA 2017: 67-85
• 
  David Kohan Marzagão, Josh Murphy, Anthony P. Young, Marcelo Matheus Gauy, Michael Luck, Peter McBurney, Elizabeth Black:
  Team Persuasion. TAFA 2017: 159-174
• 
  Sanjay Modgil:
  Towards a General Framework for Dialogues That Accommodate Reasoning About Preferences. TAFA 2017: 175-191
• 
  Josh Murphy, Isabel Sassoon, Michael Luck, Elizabeth Black:
  An Investigation of Argumentation Framework Characteristics. TAFA 2017: 1-16
• 
  Gideon Ogunniye, Alice Toniolo, Nir Oren:
  A Dynamic Model of Trust in Dialogues. TAFA 2017: 211-226
• 
  Odinaldo Rodrigues:
  A Forward Propagation Algorithm for the Computation of the Semantics of Argumentation Frameworks. TAFA 2017: 120-136
• 
  Odinaldo Rodrigues:
  EqArgSolver - System Description. TAFA 2017: 150-158
• 
  Matthias Thimm:
  The Formal Argumentation Libraries of Tweety. TAFA 2017: 137-142
• 
  Matthias Thimm, Pietro Baroni, Massimiliano Giacomin, Paolo Vicig:
  Probabilities on Extensions in Abstract Argumentation. TAFA 2017: 102-119
• 
  Alice Toniolo, Timothy J. Norman, Nir Oren:
  Enumerating Preferred Extensions: A Case Study of Human Reasoning. TAFA 2017: 192-210
• 
  Anthony P. Young, Sanjay Modgil, Odinaldo Rodrigues:
  On the Interaction Between Logic and Preference in Structured Argumentation. TAFA 2017: 35-50