Xref: utzoo news.announce.conferences:1300 comp.theory:906 comp.ai:7313 comp.lang.prolog:2999
Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!usc!zaphod.mps.ohio-state.edu!uwm.edu!lll-winken!tekbspa!denny
From: jorge@brillig.cs.umd.edu (Jorge Lobo)
Newsgroups: news.announce.conferences,comp.theory,comp.ai,comp.lang.prolog
Subject: LP and Non-Monotonic Reasoning Workshop
Message-ID: <1990Jul31.073033.1091@tss.com>
Date: 31 Jul 90 07:30:33 GMT
Expires: 08/21/90
Sender: denny@tss.com (Denny Page)
Reply-To: vs@cs.umd.edu (Jorge Lobo)
Organization: U of Maryland, Dept. of Computer Science, Coll. Pk., MD 20742
Lines: 56
Approved: denny@tss.com


                          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)