Special Session on Automated Reasoning and Proving Techniques with Applications in Intelligent Systems (ARPTA 2017)

April 3-5, 2017

Kanazawa, Japan

Call For Papers

Reasoning is the process of drawing new conclusions from given premises, which are already known facts or previously assumed hypotheses to provide some evidence for the conclusions. Therefore, reasoning is intrinsically ampliative, i.e., it has the function of enlarging or extending some things, or adding some things to what is already known or assumed. In general, a reasoning consists of a number of arguments in some order. A logically valid reasoning is a reasoning such that its arguments are justified based on some logical validity criterion provided by a logic system in order to obtain correct conclusions.Proving is the process of finding a justification for an explicitly specified statement from given premises, which are already known facts or previously assumed hypotheses to provide some evidence for the specified statement. A proof is a description of a found justification. A logically valid proving is a proving such that it is justified based on some logical validity criterion provided by a logic system in order to obtain a correct proof. Automated reasoning and proving techniques have many applications in research and development of various intelligent systems. This special session seeks research papers on all aspects of automated reasoning and proving including foundations, implementations, and applications, in particular, those papers describing real applications in intelligent systems are welcome.

Topics of Interest

• Modal reasoning
• Deontic reasoning
• Temporal and spatio-temporal reasoning
• Relevant reasoning
• Automated theorem finding
• Automated theorem proving
• Automated verification
• Automated reasoning and proving based on high-order logics
• Complexity of automated reasoning and proving
• Logic basis for automated reasoning and proving

IMPORTANT DATES

Submission deadline: October 1,2016

Notification Due: November 1,2016

Final Version Due: November 15,2016

                       

User Name : jerish
Posted 20-09-2016 on 10:44:42 AEDT

Related CFPs

IJACEEE   International Journal of Applied Control, Electrical and Electronics Engineering
IJCSITY   International Journal of Computational Science and Information Technology
ACII   Advanced Computational Intelligence: An International Journal
BDAB 2026   7th International Conference on Big Data and Blockchain (BDAB 2026)