Journal of Automated Reasoning

Publisher: Springer |  Publishing Format: Open Access   | Impact Factor:


The interdisciplinary Journal of Automated Reasoning balances theory, implementation and application. The spectrum of coverage ranges from the presentation of a new inference rule with proof of its logical properties to a detailed account of a computer program designed to solve various problems in industry. Topics include automated theorem proving, logic programming, expert systems, program synthesis and validation, artificial intelligence, computational logic, robotics, and various industrial applications. The contents focus on several aspects of automated reasoning, a field whose objective is the design and implementation of a computer program that serves as an assistant in solving problems and in answering questions that require reasoning.


Keywords

Automated, Robotics


Details
Publication Format:  Open Access

Editor in Chief
Tobias Nipkow
Country:  Germany

Email:   Nipkow@in.tum.de
Publisher
Springer
Country: Switzerland

Website:   https://www.springer.com/journal/10817



Please refer to the original journal website for accurate and up to date information.