DARe-17: Fourth International Workshop on Defeasible and Ampliative Reasoning Espoo, Finland, July 3, 2017 |
Conference website | https://sites.google.com/view/dare-17/ |
Submission link | https://easychair.org/conferences/?conf=dare17 |
Submission deadline | May 1, 2017 |
The International Workshop on Defeasible and Ampliative Reasoning (DARe), held in conjunction with LPNMR 2017 in Espoo, Finland, aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss the defeasible and ampliative aspects of reasoning in a multi-disciplinary forum.
Latest news
- Submission deadline extended to
April 10 2017May 1 2017. - 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.
Description and Scope
There are expressions of human cognition for which the development of logical formalisations is desirable but particularly problematic, since classical reasoning cannot be straightforwardly applied. Some typical examples are reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. They often show two strongly intertwined aspects:
- Ampliative aspect: the ability to make inferences that venture beyond the scope of the premises, in a somehow daring but justifiable way. The focus is on those forms of inference that, moving from true premises, allow the derivation of conclusions that are not necessarily true, but that we are somehow rationally justified in expecting to be true. Some examples are default, inductive and abductive reasoning.
- Defeasible aspect: the ability to backtrack one’s conclusions or to admit exceptions in reasoning. Some examples are retractive reasoning (e.g., belief contraction and negotiation) and preemptive reasoning (e.g., multiple inheritance networks and in regulatory systems).
The goal of DARe is to present latest research developments on the aforementioned aspects of reasoning, to discuss current directions in the field, and to collect first-hand feedback from the community. Among the foreseen outcomes is the emergence of a framework to relate canonical problems, tools and applications, filling an important gap in the convergence of logical, statistical and probabilistic approaches to defeasibility and ampliativeness in reasoning, as well as to get a better understanding of how to effectively implement these ideas.
Submission Guidelines
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 here) and should be no longer than 13 pages.
List of Topics
DARe welcomes contributions on all aspects of defeasible and ampliative reasoning such as (but not limited to):
- Abductive and inductive reasoning
- Explanation finding, diagnosis and causal reasoning
- Inconsistency handling and exception-tolerant reasoning
- Decision-making under uncertainty and incomplete information
- Default reasoning, non-monotonic reasoning, non-monotonic logics, conditional logics
- Specific instances and variations of ampliative and defeasible reasoning
- Probabilistic and statistical approaches to reasoning
- Vagueness, rough sets, granularity and fuzzy-logics
- Philosophical foundations of defeasibility
- Empirical studies of reasoning
- Relationship with cognition and language
- Contextual reasoning
- Preference-based reasoning
- Analogical reasoning
- Similarity-based reasoning
- Belief dynamics and merging
- Argumentation theory, negotiation and conflict resolution
- Heuristic and approximate reasoning
- Defeasible normative systems
- Reasoning about actions and change
- Reasoning about knowledge and belief, epistemic and doxastic logics
- Ampliative and defeasible temporal and spatial reasoning
- Computational aspects of reasoning with uncertainty
- Implementations and systems
- Applications of uncertainty in reasoning
Committees
Program Committee
- Natasha Alechina, University of Nottingham, UK
- Grigoris Antoniou, University of Huddersfield, UK
- Ofer Arieli, Academic College of Tel-Aviv, Israel
- Guillaume Aucher, University of Rennes 1 - INRIA, France
- Christoph Beierle, FernUniversitaet Hagen, Germany
- Mario Benevides, Universidade Federal do Rio de Janeiro, Brazil
- Antonis Bikakis, University College London, UK
- Alexander Bochman, Holon Institute of Technology, Israel
- Arina Britz, Stellenbosch University, South Africa
- James Delgrande, Simon Fraser University, Canada
- Marcelo Finger, Universidade de São Paulo, Brazil
- Nina Gierasimczuk, Danish Technical University, Denmark
- Patrick Girard, University of Auckland, New Zealand
- Sven Ove Hansson, Royal Institute of Technology, Sweden
- Andreas Herzig, IRIT CNRS, France
- Aaron Hunter, British Columbia Institute of Technology, Canada
- Souhila Kaci, Université Montpellier 2, France
- Gabriele Kern-Isberner, TU Dortmund, Germany
- Simon Kramer, SK-R&D, Switzerland
- Michael Maher, University of New South Wales, Australia
- João Marcos, Universidade Federal do Rio Grande do Norte, Brazil
- Thomas Meyer, University of Cape Town, South Africa
- Gilles Richard, Université Paul Sabatier, France
- Francois Schwarzentruber, ENS Rennes/IRISA, France
- Umberto Straccia, CNR, Italy
- Joost Vennekens, K.U. Leuven, Belgium
- Peter Verdée, Universiteit Gent, Belgium
- Heinrich Wansing, Ruhr-Universitaet Bochum, Germany
- Renata Wassermann, Universidade de São Paulo, Brazil
- Anna Zamansky, University of Haifa, Israel
Organizing committee
- Richard Booth, Cardiff University, United Kingdom
- Giovanni Casini, Université du Luxembourg
- Ivan Varzinczak, CRIL, Université d'Artois, France
Invited Speakers
- TBC
Publication
Accepted papers will be made available electronically in the CEUR Workshop Proceedings series. Copyright of papers remain with the authors.
Previous proceedings: 2014 2015 2016
Venue
The workshop will be held in Espoo, Finland (co-located with LPNMR 2017)
Contact
All questions about submissions should be emailed to dare.to.contact.us@gmail.com.