1. Advanced Knowledge Representation Log Week 12

    Activities

    First lecture on Onthologies / Description Logics and Semantic Web.

    Started assignment 2.

    The momo system is described in this paper.

    MOMO model-based diagnosis for everybody

    Abstract

    It is shown how to implement the core of a model-based diagnosis system by a small hyperresolution-based procedure using Prolog. The algorithm is ...

    read more

    There are comments.

  2. Advanced Knowledge Representation Log Week 11

    Activities

    No lecture this week, Markus is overseas.

    Read Model Based reasoning papers and compiled list of questions.

    Mathematical Foundations of Qualitative Reasoning

    Quick Abstract

    The paper examines different formalisms for modeling qualitatively physical systems and their associated inferential processes that allow us to derive qualitative predictions from the models ...

    read more

    There are comments.

« Page 2 / 8 »

blogroll