Reasoning with belief and knowledge

  • Thijsse, E.G.C., (Researcher)

    Project: Research project

    Project Details

    Description

    Doel van het project is het vinden van een uniforme theorie die gebaseerd is op parti�le modellen en waarin een meer adequate behandeling van redeneren met kennis en geloof kan worden gegeven, in het bijzonder door het vermijden van logische alwetendheid en door het bewerkstelligen van niet-monotonie.
    StatusFinished
    Effective start/end date1/01/941/01/01

    Research Output

    Expressibility of Partial Truth Functions: results on 3- and 4-valued clones

    Thijsse, E., 1999, Leipzig: Universität Leipzig, Institut für Informatik. 34 p. (Report; no. 1)

    Research output: Book/ReportReportProfessional

    Logic, Belief and Language

    Thijsse, E., 1999, JFAK, Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday. Gerbrandy, J., Marx, M., de Rijke, M. & Venema, Y. (eds.). Amsterdam: Vossiuspers AUP, p. 1-9

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

    Persistence and Minimality in Epistemic Logic

    Thijsse, E., van der Hoek, W. & Jaspars, J., 1998, Logics in Artificial Intelligence. Proceedings JELIA'98. Dix, J., Farinas del Cerro, L. & Furbach, U. (eds.). Berlijn: Springer Verlag, p. 62-76 (Lecture Notes in Artificial Intelligence; no. 1489).

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review