- 2
François Schwarzentruber
2
Documents
Identifiants chercheurs
- francois-schwarzentruber
- 0000-0002-1228-4333
- IdRef : 158488911
Présentation
Publications
- 2
- 1
- 1
- 1
- 1
- 1
- 1
|
Premiers pas vers une résolution du problème de satisfaisabilité pour la logique monadique du premier ordre par une reformulation en logique des connaissances subjective mono-agentActes des 12es journées d'intelligence artificielle fondamentale (JIAF 2018), Jun 2018, Amiens, France
Communication dans un congrès
hal-01837924v1
|
|
Hintikka's World: Scalable Higher-order Knowledge2019, pp.6494-6496
Autre publication scientifique
hal-03664506v1
|