Chatbot listing, virtual agents, virtual assistants, chat bot directory, conversational agents, virtual human news, chatterbot list
NEWS: Chatbots.org survey on 3000 US and UK consumers shows it is time for chatbot integration in customer service!read more..
Journal of Automated Reasoning
Summary: Journal of Automated Reasoning deals with theoretical and practical reasoning issues.
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.
The Journal of Automated Reasoning provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications.
| Publisher | Springer |
| More information | http://www.springerlink.com/content/0168-7433 |
| Keywords | automated reasoning, automated theorem proving, logic programming, expert systems, program synthesis, program validation, artificial intelligence, computational logic, robotics |
New Comment
Only registered members are allowed to comment.
or login
Browse Topics
