morado@iuvax.cs.indiana.edu (06/13/89)
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