Maris, Frédéric, 1976-...., enseignant-chercheur en informatique
Maris, Frédéric 1976-...
VIAF ID: 198096186 ( Personal )
Permalink: http://viaf.org/viaf/198096186
Preferred Forms
Works
Title | Sources |
---|---|
Approches légères pour le raisonnement sur les connaissances et les croyances | |
Lightweight approaches to reasoning about knowledge and belief. | |
Modélisation logique de l'intentionnalité dans les jeux épistémiques | |
Reasoning about concurrent actions and its applications to epistemic and temporal planning. | |
SAT planning and temporally expressive planning : the TSP and TLP-GP systems. |