🚀 go-pugleaf

                          Workshop on


            LOGIC PROGRAMMING and NON-MONOTONIC REASONING
            ---------------------------------------------

                         Austin, Texas
               Nov. 1 (afternoon) and Nov. 2, 1990


A workshop on Logic Programming and Non-Monotonic Reasoning will be
held in conjunction with the 1990 North American Conference on Logic
Programming.  The workshop is co-sponsored and additional funding
for the workshop is being provided by the

          Mathematic Science Institute, Cornell University.


OBJECTIVE:  The main aim of the workshop is to provide a forum for
researchers  interested in the relationship between logic programming
(theory and practice) and non-monotonic reasoning to interact
fruitfully.  We are interested in seeing experts in both these
areas come under one roof and discuss matters of common interest. 
A (non-exclusive) list of topics of interest follows:

  stable semantics                probabilistic non-monotonic theories
  default logic                   inheritance networks
  auto-epistemic logic            logics of belief
  truth maintenance systems       applications
  implementation issues           meta-programming and non-monotonicity

SUBMISSION OF MANUSCRIPTS:  Potential authors should submit four
copies of an extended abstract (maximum length:  8 pages,
double-spaced) by August 21, 1990 to:

   V.S. Subrahmanian
   Department of Computer Science
   A.V. Williams Building
   University of Maryland
   College Park, MD 20742, USA.
   vs@cs.umd.edu , (301) 454-1862

Authors should indicate e-mail addresses on their manuscript.  Authors
will be notified of acceptance/rejection by Sep. 15, 1990.

PARTICIPATION:  In order to increase the degree of interaction amongst
workshop participants, we plan to limit attendance to 40.  If you wish
to participate, please send e-mail to:  marek@ms.uky.edu.  A nominal
fee may be required of participants in order to cover the cost of
organization.

PROGRAM Co-CHAIRS:  W. Marek   (Kentucky)  
                    A. Nerode  (Cornell)
                    D. Pedreschi (Pisa)
                    V.S. Subrahmanian (Maryland)