ralphw@cs.umr.EDU (Ralph Wilkerson) (02/27/90)
CALL FOR MANUSCRIPTS
ADVANCES IN LOGIC PROGRAMMING AND
AUTOMATED REASONING
edited by Ralph W. Wilkerson, University of Missouri-Rolla
This annual series will review new research contributions of the
methods of logic in computer science. Contributions from leading
researchers and practitioners will be sought. The intended audience
for the series is professionals in universities, institutes, private
industry, and the private sector. The series is designed to
stimulate and sustain new, productive lines of investigation into the
theory and applications of symbolic and algebraic computing techniques
as it relates to logic programming and automated deduction.
Contributions should be original research of high quality and not
previously published. The manuscripts can be tutorial in nature.
Suggested topics include, but are not limited to:
equational logic and applications
parallel methodologies
combinatorial logic and functional programming
term rewriting systems
control of logic programs
completion procedures
syntactic theories and unification
design and implementation of deduction systems
logical methods of knowledge representation
logic based inference techniques
program synthesis and verification
non-monotonic reasoning systems
ABLEX Publishing and the Advances Series Editor invite you to submit a 1 page
proposal to the editor for consideration. Please contact the series editor
for editorial guidelines for manuscripts.
Dr. Ralph W. Wilkerson, Advances Series Editor
Department of Computer Science
University of Missouri-Rolla
Rolla, MO 65401
Phone: (314)-341-4653
Email: ralphw@gator.cs.umr.edu
Bitnet: c3267@umrvmb