Hustadt, Ullrich Programming Logics, MPI for Informatics, Max Planck Society;
hustadt-long.pdf (beliebiger Volltext), 117KB
Hustadt, U. (1994). Do we need the closed-world assumption in knowledge representation? In F. Baader, M. Buchheit, M. A. Jeusfeld, & W. Nutt (Eds.), Reasoning about Structured Objects: Knowledge Representation Meets Databases (KRDB '94) (pp. 24-26). Aachen, Germany: CEUR.