GRAHAM@UMKCVAX2.BITNET (05/06/88)
Mini-Conference on Automatic Deduction
A mini-conference on automated deduction is being organized. The focus
is to be on new approaches to automatic deduction based on non-traditional
approaches - topics not well represented at such conferences as CADE. These
non-traditional frameworks might include both theoretical and experimental
research on proof theory and deduction systems for the following
non-classical logics and extensions to first order logic:
modal, nonmonotonic, default, tense, and action logics
circumscription
the frame problem
intentional reasoning
metatheory
reflective reasoning
fixed points
closed world assumption
non-Cantorean set theories
quantifier elimination
possibility, probability, and ontology
Those interested in helping to organize or participate in such a
mini-conference are invited to contact:
Dr. Frank Brown,
Dept. of Computer Science, University of Kansas,
Lawrence, Kansas 66045,
(913)-864-4482.
Steven Graham, GRAHAM@UMKCVAX1.BITNET
Computer Science Program, University of Missouri Kansas-City,
5100 Rockhill Road
Kansas City, MO 64110
(816) 276-2365