Research output per year
Research output per year
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.
| Status | Finished |
|---|---|
| Effective start/end date | 1/01/94 → 1/01/01 |
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
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/Report › Report
-
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-9Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific
-
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 proceeding › Chapter › Scientific › peer-review
1 Citation (Scopus)