Newsgroups: comp.ai.jair.announce
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!oitnews.harvard.edu!purdue!lerc.nasa.gov!magnus.acs.ohio-state.edu!math.ohio-state.edu!howland.reston.ans.net!newsfeed.internetmci.com!in2.uu.net!news.reference.com!cnn.nas.nasa.gov!eos!kronos.arc.nasa.gov!jair-ed
From: jair-ed@ptolemy.arc.nasa.gov
Subject: New Article, Well-Founded Semantics for Extended ...
Message-ID: <1996Feb15.220648.7498@ptolemy-ethernet.arc.nasa.gov>
Originator: jair-ed@polya.arc.nasa.gov
Lines: 40
Sender: usenet@ptolemy-ethernet.arc.nasa.gov (usenet@ptolemy.arc.nasa.gov)
Nntp-Posting-Host: polya.arc.nasa.gov
Organization: NASA/ARC Computational Sciences Division
Date: Thu, 15 Feb 1996 22:06:48 GMT
Approved: jair-ed@ptolemy.arc.nasa.gov

JAIR is pleased to announce that we have published the following article:

Brewka, G. (1996)
  "Well-Founded Semantics for Extended Logic Programs with Dynamic 
   Preferences", Volume 4, pages 19-36.
   Available in HTML, PostScript (464K), and compressed Postscript (135K)
   Postscript file: brewka96a.ps
   For direct access with WWW browsers, use this URL:
    http://www.cs.washington.edu/research/volume4/abstracts/brewka96a.html
   Other access methods are described below. 

   Abstract: The paper describes an extension of well-founded
   semantics for logic programs with two types of negation. In this
   extension information about preferences between rules can be expressed
   in the logical language and derived dynamically. This is achieved by
   using a reserved predicate symbol and a naming technique. Conflicts
   among rules are resolved whenever possible on the basis of derived
   preference information. The well-founded conclusions of prioritized
   logic programs can be computed in polynomial time. A legal reasoning
   example illustrates the usefulness of the approach.

The PostScript file is available via:
   
 -- comp.ai.jair.papers

 -- World Wide Web: The URL for our World Wide Web server is
       http://www.cs.washington.edu/research/jair/home.html

 -- Anonymous FTP from either of the two sites below:
      CMU:   p.gp.cs.cmu.edu        directory: /usr/jair/pub/volume4
      Genoa: ftp.mrg.dist.unige.it  directory:  pub/jair/pub/volume4

 -- automated email. Send mail to jair@cs.cmu.edu or jair@ftp.mrg.dist.unige.it
    with the subject AUTORESPOND, and the body GET VOLUME4/FILE-NM
    (e.g., GET VOLUME4/VANBEEK96A.PS)
    Note: Your mailer might find our files too large to handle. Also, note  
    that compressed files cannot be emailed, since they are binary files.

 -- JAIR Gopher server: At p.gp.cs.cmu.edu, port 70. 

For more information about JAIR, check out our WWW or FTP sites, or
send electronic mail to jair@cs.cmu.edu with the subject AUTORESPOND
and the message body HELP, or contact jair-ed@ptolemy.arc.nasa.gov.



