posted by user: c_benzmueller || 24791 views || tracked by 2 users: [display]

ARQNL 2016 : Automated Reasoning in Quantified Non-Classical Logics


When Jul 1, 2016 - Jul 1, 2016
Where Coimbra, Portugal
Abstract Registration Due Apr 25, 2016
Submission Deadline May 2, 2016
Notification Due May 30, 2016
Final Version Due Jun 13, 2016
Categories    logic   reasoning   knowledge representation

Call For Papers

Call for Papers

ARQNL 2016 - Automated Reasoning in Quantified Non-Classical Logics

2nd International Workshop (associated with IJCAR 2016)
1 July 2016, Coimbra, Portugal


Abstract submission: 25 April 2016
Paper submission: 2 May 2016

Non-classical logics -- such as modal logics, conditional logics,
intuitionistic logic, description logics, temporal logics, linear
logic, dynamic logic, fuzzy logic, paraconsistent logic, relevance
logic -- have many applications in AI, Computer Science, Philosophy,
Linguistics and Mathematics. Hence, the automation of proof search
in these logics is a crucial task.

The ARQNL workshop aims at fostering the development of proof calculi,
automated theorem proving systems and model finders for all sorts of
quantified non-classical logics. The workshop will provide a forum for
researchers to present and discuss recent developments in this area.
The contributions may range from theory to system descriptions and
implementations. Contributions may also outline relevant applications
and describe example problems and benchmarks. We welcome contributions
from computer scientists, linguists, philosophers, and mathematicians.

Paper formats:
Research papers (up to 15 pages), or short papers, talk abstracts, and
system demonstrations (up to 6 pages) are solicited. The submission
deadline is May 2nd.

Proceedings will be published in the EasyChair
Proceedings in Computing (EPiC) series. For further information see
the workshop website at

Programme Committee
Carlos Areces, Universidad Nacional de Córdoba
Christoph Benzmüller (co-chair), Freie Universität Berlin
Walter Carnielli, Centre for Logic, Epistemology and the History of Science – CLE
Christian Fermüller, TU Wien
Rajeev Goré, The Australian National University
Andreas Herzig, IRIT-CNRS
Stephan Merz, INRIA Nancy
Till Mossakowski, University of Magdeburg
Aniello Murano, Università di Napoli "Federico II"
Hans De Nivelle, University of Wrocław
Jens Otten (co-chair), University of Potsdam
Valeria De Paiva, University of Birmingham
Giselle Reis, INRIA Saclay
Julian Richardson, Google Inc.
Luca Viganò, King's College London

Related Resources

ARQNL 2018   Automated Reasoning in Quantified Non-Classical Logics
DBKDA 2019   The Eleventh International Conference on Advances in Databases, Knowledge, and Data Applications
LPAR 2018   International Conference on Logic for Programming, Artificial Intelligence and Reasoning
ICFCA 2019   The 15th International Conference on Formal Concept Analysis
LPNMR 2019   15th International Conference on Logic Programming and Non-monotonic Reasoning
AICCC 2018   2018 Artificial Intelligence and Cloud Computing Conference (AICCC 2018) EI Compendex, Scopus
MIREL 2018   MIREL 2018 workshop on MIning and REasoning with Legal texts
JELIA 2019   JELIA 2019 - 2nd CfP - 1 month left - IJCAI, TPLP, Awards and Prizes
DL 2018   31st International Workshop on Description Logics
NCMA 2018   Non-Classical Models of Automata and Applications