Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 7-Day Trial for You or Your Team.

Learn More →

Journal of automated reasoning

Journal of automated reasoning BOOK REVIEWS 315 L. Wos (editor): Journal of Automated Reasoning, D. Reidel, Dordrecht. This new journal is devoted to artificial intelligence and, in particular, to the subfield of automatic reasoning. The editor-in-chief is L. Wos and there are 31 members of the editorial board. This note is based on reading Vol 1, no. 1. According to the introduction by Wos, the field of automated reasoning (AR) was born around 1979. He expects that AR will become a dominant theory of computer science in the coming years. The first paper (by many authors) surveys several sub- fields of AR. For instance, logic programming, program verification, automatic theorem proving, expert systems, automatic theorem proving based on non-classical logical formalisms and program synthesis. As conceived by the editors, the field of automatic reasoning encompasses all these fields, thus, broadly interpreted, the scope of the journal is all of AI. It is to be hoped that in practice the journal will focus more sharply on those parts of the field which truly involve automatic reasoning in a non trivial way, such as logic programming and automatic theorem proving. Then there are three papers. The first one by J. S. Bennet gives an extensive http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Acta Applicandae Mathematicae Springer Journals

Journal of automated reasoning

Acta Applicandae Mathematicae , Volume 6 (3) – May 3, 2004
Download PDF
1 page

Journal of automated reasoning

Abstract

BOOK REVIEWS 315 L. Wos (editor): Journal of Automated Reasoning, D. Reidel, Dordrecht. This new journal is devoted to artificial intelligence and, in particular, to the subfield of automatic reasoning. The editor-in-chief is L. Wos and there are 31 members of the editorial board. This note is based on reading Vol 1, no. 1. According to the introduction by Wos, the field of automated reasoning (AR) was born around 1979. He expects that AR will become a dominant theory of computer science in...
Loading next page...
 
/lp/springer-journals/journal-of-automated-reasoning-HcXp1Z3Mqu

References (0)

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

Publisher
Springer Journals
Copyright
Copyright
Subject
Mathematics; Computational Mathematics and Numerical Analysis; Applications of Mathematics; Partial Differential Equations; Probability Theory and Stochastic Processes; Calculus of Variations and Optimal Control; Optimization
ISSN
0167-8019
eISSN
1572-9036
DOI
10.1007/BF00047165
Publisher site
See Article on Publisher Site

Abstract

BOOK REVIEWS 315 L. Wos (editor): Journal of Automated Reasoning, D. Reidel, Dordrecht. This new journal is devoted to artificial intelligence and, in particular, to the subfield of automatic reasoning. The editor-in-chief is L. Wos and there are 31 members of the editorial board. This note is based on reading Vol 1, no. 1. According to the introduction by Wos, the field of automated reasoning (AR) was born around 1979. He expects that AR will become a dominant theory of computer science in the coming years. The first paper (by many authors) surveys several sub- fields of AR. For instance, logic programming, program verification, automatic theorem proving, expert systems, automatic theorem proving based on non-classical logical formalisms and program synthesis. As conceived by the editors, the field of automatic reasoning encompasses all these fields, thus, broadly interpreted, the scope of the journal is all of AI. It is to be hoped that in practice the journal will focus more sharply on those parts of the field which truly involve automatic reasoning in a non trivial way, such as logic programming and automatic theorem proving. Then there are three papers. The first one by J. S. Bennet gives an extensive

Journal

Acta Applicandae Mathematicae – Springer Journals

Published: May 3, 2004

There are no references for this article.