Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!rutgers!tut.cis.ohio-state.edu!purdue!iuvax!morado
From: morado@iuvax.cs.indiana.edu
Newsgroups: comp.lang.prolog
Subject: Looking for K. Kono Konolige
Message-ID: <8700002@iuvax>
Date: 12 Jun 89 17:03:00 GMT
Organization: Indiana University CSCI, Bloomington
Lines: 10
Nf-ID: #N:iuvax:8700002:000:535
Nf-From: iuvax.cs.indiana.edu!morado    Jun 12 12:03:00 1989


Hi, I heard that a workshop on "Alternatives of Logic  Programming"
was organized in  Kuopio,  Finland,  on  May  22-25,  1989.  
One of the  invited lectures was by Kurt Konolige: "Autoepistemic semantics 
for negation-as-failure in Prolog". Does anybody know how to contact
him or get hold of his paper? I am trying to use intensional semantics
to deal with the non-monotonicity of asserting and retracting, and the
title of the lecture is tantalizing...
               Raymundo Morado
               moradoj@iubacs.bacs.indiana.edu