Jaeger, Manfred Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-94-208.pdf (Any fulltext), 399KB
Jaeger, M.(1994). A probabilistic extension of terminological logics (MPI-I-94-208). Saarbrücken: Max-Planck-Institut für Informatik.