jorge@brillig.cs.umd.edu (Jorge Lobo) (07/31/90)
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)