stevens@ANL-MCS.ARPA (Rick L. Stevens) (07/31/87)
Because of the rapidly growing interest in the interconnected
fields of automated reasoning, automated theorem proving, logic
programming, and artificial intelligence, the following information
might be of particular interest.
The Journal of Automated Reasoning, which is very inexpensive
compared to most computer science journals, now includes in each issue
two interesting columns: The Problem Corner, which presents test
problems from the world of puzzles, from mathematics, and from various
applications; and Basic Research Problems, which presents open problems
for research in automated reasoning.
The journal is published quarterly, each issue containing
approximately 110 pages. Beginning next year, each issue will contain
approximately 20% more material. Subscription costs are lower for
individuals that are members of the Association of Automated Reasoning.
The Journal of Automated Reasoning published its first issue in
February, 1985. It is an interdisciplinary journal that maintains a
balance between theory and application. The spectrum of material
ranges from the presentation of a new inference rule with proofs of its
logical properties to a detailed description of a computer program
designed to solve some problem from industry. The papers published in
this journal are from, among others, the fields of automated theorem
proving, logic programming, expert systems, program synthesis and
validation, artificial intelligence, computational logic, robotics, and
various industrial applications. The papers share the common feature
of focusing on some aspect of automated reasoning.
The journal provides a forum and a means for exchanging
information for those interested in theory, in implementation, and
in specific industrial or commercial applications.
For subscription information write to
Kluwer Academic
PO Box 358, Accord Station
Hingham, MA 02018-0358
For outside the U.S. and Canada:
Kluwer Academic Publishers Distribution Center PO Box 322 3300 AH
Dordrecht The Netherlands
$97 for institutions, $39 for private non-members of AAR,
$29.50 for members of AAR
AAR, Association for Automated Reasoning
The Association for Automated Reasoning is an organization for
disseminating and exchanging information. It is international in form,
and publishes a newsletter acyclically to announce workshops, discuss
software advances, present problem sets, etc.
To Join send a $5 check to Larry Henschen 780 S. Warrington
Road Des Plaines, IL 60016