Defended HDRs
-
Inducing Commonsense Knowledge Using Vector Space Embeddings
- Zied Bouraoui 11/17/22
-
Counting, Knowledge Compilation and Applications
- Stefan Mengel 12/8/21
-
Reasoning, Arguing, Ranking and Aggregating
- Srdjan Vesic 3/18/21
-
Beyond NP
- Jean-Marie Lagniez 12/11/19
-
A Little about Action, Knowledge, Belief and a Lot about Modal Logic
- Tiago de Lima 12/5/19
-
Modeling and classical propositional logic
- Yakoub Salhi 11/27/19
-
Defeasible Description Logics
- Ivan Varzinczak 11/26/19
-
Contributions to reasoning under uncertainty in a possibilistic framework
- Karim Tabia 10/24/19
-
Des Données aux Connaissances : Modèles et Algorithmes
- Saïd Jabbour 12/6/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 12/8/11
-
Sat4j, a free reasoning engine in propositional logic
- Daniel Le Berre 12/3/10
-
Problem solving around SAT
- Gilles Audemard 11/29/10
-
Reasoning & Inconsistency
- Sébastien Konieczny 3/3/10
-
SAT and beyond - Models and Algorithms
- Bertrand Mazure 1/29/10
-
Working with preferences: staying simple to do more
- Souhila Kaci 4/3/09
-
Attempting simplicity in satisfying constraints
- Christophe Lecoutre 11/22/07
-
Knowledge extraction based on Galois lattices: Methods and applications
- Engelbert Mephu Nguifo 12/10/01
-
From solving the SAT problem to solving problems around SAT
- Lakhdar Saïs 12/1/00
-
control of progressive and anytime reasoning autonomous agents in a dynamic and uncertain environment
- Abdel-Illah Mouaddib 11/27/00