
<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="">* Please accept our apologies if you receive multiple copies of this call *</div><div class=""><br class=""></div><div class="">==============================</div><div class="">Call for Papers</div><div class=""><br class=""></div><div class="">DARe at LPNMR 2017</div><div class=""><br class=""></div><div class="">Date: 3 July 2017</div><div class="">Espoo, Finland</div><div class=""><br class=""></div><div class="">*** Deadline: 10 April 2017 ***</div><div class="">==============================</div><div class=""><br class=""></div><div class="">The Fourth International Workshop on</div><div class=""><br class=""></div><div class="">"Defeasible and Ampliative Reasoning" (DARe)</div><div class=""><br class=""></div><div class=""><a href="https://sites.google.com/view/dare-17" class="">https://sites.google.com/view/dare-17</a></div><div class=""><br class=""></div><div class="">held at the International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)</div><div class=""><br class=""></div><div class="">-- Latest News --</div><div class=""><br class=""></div><div class="">There will be a special issue of the International Journal of Approximate Reasoning (IJAR) containing selected extended versions of papers that have been accepted at DARe. The call for this special issue is planned for late 2017. More information to follow.</div><div class=""><br class=""></div><div class="">-- Workshop Description and Aims --</div><div class=""><br class=""></div><div class="">Classical reasoning is not flexible enough when directly applied to the formalization of certain nuances of human quotidian decision making. These involve different kinds of reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others.</div><div class=""><br class=""></div><div class="">It turns out that everyday reasoning usually shows the two salient intertwined aspects below:</div><div class=""><br class=""></div><div class="">* Ampliative aspect: augmenting the underlying reasoning by allowing more conclusions. In practical contexts, this amounts to the ability to make inferences that venture beyond the scope of the premises, somehow in an unsound but justifiable way. Prominent examples are (i) default reasoning: jumping to conclusions deemed as plausible 'by default', i.e., in the absence of information to the contrary, like applying negation as failure or adopting the closed-world assumption; (ii) inductive and abductive reasoning: taking chances in drawing conclusions that implicitly call for further scrutiny or tests by empirical observations, like in making inductive hypotheses in scientific theories or finding abductive explanations in forensics, and (iii) analogical reasoning: extrapolating from very few examples (in the worst case only one) on the basis of observable similarities or dissimilarities.</div><div class=""><br class=""></div><div class="">* Defeasible aspect: curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned. In practice, this amounts to the ability to backtrack one's conclusions or to admit exceptions in reasoning. Some examples of this are (i) retractive reasoning: withdrawing conclusions that have already been derived, like in belief contraction or in negotiation, and (ii) preemptive reasoning: preventing or blocking the inference of some conclusions by disallowing their derivation in the first place, like in dealing with exceptional cases in multiple inheritance networks and in regulatory systems.</div><div class=""><br class=""></div><div class="">Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. Despite the progress that has been achieved, a large avenue remains open for exploration. Indeed, the literature on non-monotonic reasoning has focused almost exclusively on defeasibility of argument forms, whereas belief revision paradigms are restricted to an underlying classical (Tarskian) consequence relation. Moreover, even if some of the issues related to uncertainty in reasoning have been studied using probabilistic approaches and statistical methods, their integration with qualitative frameworks remain a challenge. Finally, well-established approaches are largely based on propositional languages or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity.</div><div class=""><br class=""></div><div class="">DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community.</div><div class=""><br class=""></div><div class="">-- Scope of the Workshop --</div><div class=""><br class=""></div><div class="">DARe welcomes contributions on all aspects of defeasible and ampliative reasoning such as (but not limited to):</div><div class=""><br class=""></div><div class="">- Abductive and inductive reasoning</div><div class="">- Explanation finding, diagnosis and causal reasoning</div><div class="">- Inconsistency handling and exception-tolerant reasoning</div><div class="">- Decision-making under uncertainty and incomplete information</div><div class="">- Default reasoning, non-monotonic reasoning, non-monotonic logics, conditional logics</div><div class="">- Specific instances and variations of ampliative and defeasible reasoning</div><div class="">- Probabilistic and statistical approaches to reasoning</div><div class="">- Vagueness, rough sets, granularity and fuzzy-logics</div><div class="">- Philosophical foundations of defeasibility</div><div class="">- Empirical studies of reasoning</div><div class="">- Relationship with cognition and language</div><div class="">- Contextual reasoning</div><div class="">- Preference-based reasoning</div><div class="">- Analogical reasoning</div><div class="">- Similarity-based reasoning</div><div class="">- Belief dynamics and merging</div><div class="">- Argumentation theory, negotiation and conflict resolution</div><div class="">- Heuristic and approximate reasoning</div><div class="">- Defeasible normative systems</div><div class="">- Reasoning about actions and change</div><div class="">- Reasoning about knowledge and belief, epistemic and doxastic logics</div><div class="">- Ampliative and defeasible temporal and spatial reasoning</div><div class="">- Computational aspects of reasoning with uncertainty</div><div class="">- Implementations and systems</div><div class="">- Applications of uncertainty in reasoning</div><div class=""><br class=""></div><div class="">-- Submission Requirements --</div><div class=""><br class=""></div><div class="">We invite submissions of papers presenting original research results or position statements. Submissions must be prepared using the Springer LNAI/LNCS format (which can be found at <a href="http://lpnmr2017.aalto.fi/submission.html" class="">http://lpnmr2017.aalto.fi/submission.html</a>) and should be no longer than 13 pages. </div><div class=""><br class=""></div><div class="">Please submit to: <a href="https://easychair.org/conferences/?conf=dare17" class="">https://easychair.org/conferences/?conf=dare17</a></div><div class=""><br class=""></div><div class="">-- Workshop Proceedings/Notes --</div><div class=""><br class=""></div><div class="">Accepted papers will be made available electronically in the CEUR Workshop Proceedings series (<a href="http://ceur-ws.org" class="">http://ceur-ws.org</a>). Copyright of papers remain with the authors.</div><div class=""><br class=""></div><div class="">The 2014 proceedings are available at <a href="http://ceur-ws.org/Vol-1212/" class="">http://ceur-ws.org/Vol-1212/</a></div><div class=""><br class=""></div><div class="">The 2015 proceedings are available at <a href="http://ceur-ws.org/Vol-1423/" class="">http://ceur-ws.org/Vol-1423/</a></div><div class=""><br class=""></div><div class="">The 2016 proceedings are available at <a href="http://ceur-ws.org/Vol-1626/" class="">http://ceur-ws.org/Vol-1626/</a></div><div class=""><br class=""></div><div class="">-- Attendance --</div><div class=""><br class=""></div><div class="">The selection of accepted contributions will be based on relevance, significance and the work's potential to foster discussions and cross-pollination. Therefore submissions of ongoing work are also strongly encouraged.</div><div class=""><br class=""></div><div class="">At least one co-author of each accepted paper must register for the workshop.</div><div class=""><br class=""></div><div class="">Please check the LPNMR 2017 website for registration procedure, fees as well as cancellation policies.</div><div class=""><br class=""></div><div class="">-- Important Dates --</div><div class=""><br class=""></div><div class="">- Submission deadline: 10 April 2017</div><div class="">- Notification: 1 May 2017</div><div class="">- Camera ready: 22 May 2017</div><div class="">- Workshop date: 3 July 2017</div><div class=""><br class=""></div><div class="">-- Invited Speaker --</div><div class=""><br class=""></div><div class="">[TBA]</div><div class=""><br class=""></div><div class="">-- Workshop Co-Chairs --</div><div class=""><br class=""></div><div class="">- Richard Booth, Cardiff University, UK</div><div class="">- Giovanni Casini, University of Luxembourg</div><div class="">- Ivan Varzinczak, CRIL, Univ. Artois & CNRS, France</div><div class=""><br class=""></div><div class="">-- Program Committee --</div><div class=""><br class=""></div><div class="">- Natasha Alechina, University of Nottingham, UK</div><div class="">- Grigoris Antoniou, University of Huddersfield, UK</div><div class="">- Ofer Arieli, Academic College of Tel-Aviv, Israel</div><div class="">- Guillaume Aucher, University of Rennes 1 - INRIA, France</div><div class="">- Christoph Beierle, FernUniversitaet Hagen, Germany</div><div class="">- Mario Benevides, Universidade Federal do Rio de Janeiro, Brazil</div><div class="">- Antonis Bikakis, University College London, UK</div><div class="">- Alexander Bochman, Holon Institute of Technology, Israel</div><div class="">- Katarina Britz, Stellenbosch University, South Africa</div><div class="">- James Delgrande, Simon Fraser University, Canada</div><div class="">- Marcelo Finger, Universidade de São Paulo, Brazil</div><div class="">- Nina Gierasimczuk, Danish Technical University, Denmark</div><div class="">- Patrick Girard, University of Auckland, New Zealand</div><div class="">- Sven Ove Hansson, Royal Institute of Technology, Sweden</div><div class="">- Andreas Herzig, IRIT CNRS, France</div><div class="">- Aaron Hunter, British Columbia Institute of Technology, Canada</div><div class="">- Souhila Kaci, Université Montpellier 2, France</div><div class="">- Gabriele Kern-Isberner, TU Dortmund, Germany</div><div class="">- Simon Kramer, SK-R&D, Switzerland</div><div class="">- Michael Maher, University of New South Wales, Australia</div><div class="">- João Marcos, Universidade Federal do Rio Grande do Norte, Brazil</div><div class="">- Thomas Meyer, University of Cape Town, South Africa</div><div class="">- Gilles Richard, Université Paul Sabatier, France</div><div class="">- Francois Schwarzentruber, ENS Rennes/IRISA, France</div><div class="">- Umberto Straccia, CNR, Italy</div><div class="">- Joost Vennekens, K.U. Leuven, Belgium</div><div class="">- Peter Verdée, Universiteit Gent, Belgium</div><div class="">- Heinrich Wansing, Ruhr-Universitaet Bochum, Germany</div><div class="">- Renata Wassermann, Universidade de São Paulo, Brazil</div><div class="">- Anna Zamansky, University of Haifa, Israel</div><div class=""><br class=""></div><div class="">-- Further Information --</div><div class=""><br class=""></div><div class="">Please visit the workshop website (<a href="https://sites.google.com/view/dare-17" class="">https://sites.google.com/view/dare-17</a>) for further information and regular updates.</div><div class=""><br class=""></div><div class="">Enquiries should be sent to <a href="mailto:dare.to.contact.us@gmail.com" class="">dare.to.contact.us@gmail.com</a></div><div class=""><br class=""></div><div class=""><div class="">--<br class="">Ivan Varzinczak<br class="">CRIL, Univ. Artois & CNRS, France<br class=""><a href="http://member.acm.org/~ijv" class="">http://member.acm.org/~ijv</a></div><div class=""><br class=""></div></div></body></html>