Proceedings
Proceedings
PDF file of Technical Report MIP-9808, University of Passau
Abstract of Proceedings (PDF)
-
Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti:
A Modal Programming Language for Representing Complex Actions
Abstract (HTML)
,
paper (Postscript)
-
Y. Dimopoulos, A. Kakas and S. Sripada:
Database evolution under non-deterministic and non-chronological
updates
Abstract (HTML)
,
paper (Postscript)
-
Hisashi Hayashi:
Knowledge assimilation and proof restoration through the addition
of goals
Abstract (HTML)
,
paper (Postscript)
-
James Harland, Michael Winikoff:
Making Logic Programs Reactive
Abstract (HTML)
,
paper (Postscript)
-
Sofian Maabout:
Maintaining and Restoring Database Consistency with Update Rules
Abstract (HTML)
,
paper (Postscript)
dynamics_98@fmi.uni-passau.de