Verteidigte Habilitationen
-
Inducing Commonsense Knowledge Using Vector Space Embeddings
- Zied Bouraoui 17.11.22
-
Counting, Knowledge Compilation and Applications
- Stefan Mengel 08.12.21
-
Reasoning, Arguing, Ranking and Aggregating
- Srdjan Vesic 18.03.21
-
Beyond NP
- Jean-Marie Lagniez 11.12.19
-
A Little about Action, Knowledge, Belief and a Lot about Modal Logic
- Tiago de Lima 05.12.19
-
Modeling and classical propositional logic
- Yakoub Salhi 27.11.19
-
Defeasible Description Logics
- Ivan Varzinczak 26.11.19
-
Contributions to reasoning under uncertainty in a possibilistic framework
- Karim Tabia 24.10.19
-
Des Données aux Connaissances : Modèles et Algorithmes
- Saïd Jabbour 06.12.18
-
Incomparability and incommensurability in reasoning and belief dynamics
- Sylvain Lagrue 12.12.11
-
Qualitative constraints for reasoning about time and space
- Jean-François Condotta 08.12.11
-
Sat4j, a free reasoning engine in propositional logic
- Daniel Le Berre 03.12.10
-
Problem solving around SAT
- Gilles Audemard 29.11.10
-
Reasoning & Inconsistency
- Sébastien Konieczny 03.03.10
-
SAT and beyond - Models and Algorithms
- Bertrand Mazure 29.01.10
-
Working with preferences: staying simple to do more
- Souhila Kaci 03.04.09
-
Attempting simplicity in satisfying constraints
- Christophe Lecoutre 22.11.07
-
Knowledge extraction based on Galois lattices: Methods and applications
- Engelbert Mephu Nguifo 10.12.01
-
From solving the SAT problem to solving problems around SAT
- Lakhdar Saïs 01.12.00
-
control of progressive and anytime reasoning autonomous agents in a dynamic and uncertain environment
- Abdel-Illah Mouaddib 27.11.00