posted by organizer: c_benzmueller || 480 views || tracked by 3 users: [display]

ARQNL 2018 : Automated Reasoning in Quantified Non-Classical Logics

FacebookTwitterLinkedInGoogle

Link: http://iltp.de/ARQNL-2018/
 
When Jul 18, 2018 - Jul 18, 2018
Where Oxford
Abstract Registration Due Apr 8, 2018
Submission Deadline Apr 15, 2018
Notification Due May 15, 2018
Final Version Due May 25, 2018
Categories    ARQNL   automated reasoning   non-classical logics   quantified logics
 

Call For Papers

ARQNL 2018 Call for Papers

3rd International Workshop on
Automated Reasoning in Quantified Non-Classical Logics
(associated with FLoC and IJCAR 2018)
18 July 2018, Oxford, UK

http://iltp.de/ARQNL-2018/

INVITED SPEAKERS

* Larry Moss (Indiana University)
* Giles Reger (University of Manchester)

IMPORTANT DATES

Abstract submission: 8 April 2018
Paper submission: 15 April 2018
Author notification: 15 May 2018
Final paper version: 25 May 2018

MOTIVATION

Non-classical logics - such as modal logics, conditional logics,
intuitionistic logic, description logics, temporal logics, linear
logic, dynamic logic, deontic logics, 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.

AIMS AND SCOPE

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, describe problem formalizations,
example problems, and benchmarks. We welcome contributions from
computer scientists, linguists, philosophers, and mathematicians.

Topics of the ARQNL workshop will cover all aspects related to the
automation of quantified non-classical logics, including but not
limited to:

* Proof theory, semantics, meta theory, and cut-elimination
* Proof search calculi, including sequent calculi, tableau calculi,
connection calculi, resolution calculi, and instance-based calculi
* Modal logic, conditional logic, intuitionistic logic, description
logic, temporal logic, linear logic, multivalued logic, dynamic
logic, deontic logic, fuzzy logic, paraconsistent logic, relevance
logic, free logic, and natural logic
* Techniques, strategies and heuristics to deal with first-order or
higher-order quantification
* Implementation of theorem provers and experimental evaluations
* Problem libraries and benchmarking for theorem provers
* Applications, formalizations, and example problems
* User interfaces, proof representation, and syntax issues

ARQNL 2018 is associated with IJCAR 2018, the International Joint
Conference on Automated Reasoning, which is part of FLoC.

PAPER SUBMISSIONS

Submissions of papers are solicited in two categories:
* Full papers (up to 15 pages)
* Short papers, talk abstracts, system demonstrations (up to 8 pages)

Submission is electronically, through EasyChair (see the ARQNL
website for further details). Submissions will be refereed by the
programme committee, and evaluated with respect to relevance,
originality, and correctness. Proceedings will be published in the
CEUR Workshop Proceedings (CEURWS) or the EasyChair Proceedings in
Computing (EPiC) series. They will also be included on the FLoC USB
flash drive distributed to all participants. We will also consider
producing a special issue of a recognized journal on the topic of
the workshop.

PROGRAMME COMMITTEE

Christoph Benzmueller (Freie Universitaet Berlin), co-chair
Jose Luiz Fiadeiro (Royal Holloway University of London)
Marcelo Finger (University of Sao Paulo)
Didier Galmiche (LORIA - Universite de Lorraine)
Rajeev Gore (The Australian National University)
Andreas Herzig (IRIT-CNRS)
Sven Linker (University of Liverpool)
Aniello Murano (University of Naples Federico II)
Hans De Nivelle (Nazarbayev University)
Jens Otten (University of Oslo), co-chair
Valeria De Paiva (Nuance Communications)
Xavier Parent (University of Luxembourg)
Revantha Ramanayak (Vienna University of Technology)
Giselle Reis (Carnegie Mellon University - Qatar)
Leila Ribeiro (Universidade Federal do Rio Grande do Sul)
Bruno Woltzenlogel Paleo (Vienna University of Technology)

Related Resources

LPAR 2018   International Conference on Logic for Programming, Artificial Intelligence and Reasoning
LPNMR 2019   15th International Conference on Logic Programming and Non-monotonic Reasoning
MIREL 2018   MIREL 2018 workshop on MIning and REasoning with Legal texts
DL 2018   31st International Workshop on Description Logics
NCMA 2018   Non-Classical Models of Automata and Applications
IJCAR 2018   9th International Joint Conference on Automated Reasoning
ASE 2018   33rd IEEE/ACM International Conference on Automated Software Engineering
NMCA-Almaty 2018   (Non)classical Music in Contemporary Art
KR 2018   16th International Conference on Principles of Knowledge Representation and Reasoning
IDEAL 2018   19th International Conference on Intelligent Data Engineering and Automated Learning