Skip to Main content Skip to Navigation
New interface


...
tel-03332510v1  Habilitation à diriger des recherches
Srdjan Vesic. Reasoning, arguing, ranking and aggregating
Logic in Computer Science [cs.LO]. Université d'Artois, 2021
...
tel-02488400v3  Habilitation à diriger des recherches
Jean-Marie Lagniez. Promenade au-delà de NP
Intelligence artificielle [cs.AI]. Université d'Artois, 2019
...
tel-03048085v1  Habilitation à diriger des recherches
Ivan Varzinczak. Habilitation (Summary of main contributions to the field and some general perspectives on future research)
Artificial Intelligence [cs.AI]. Université d'Artois, 2019
...
tel-03662683v1  Habilitation à diriger des recherches
Karim Tabia. CONTRIBUTIONS TO REASONING UNDER UNCERTAINTY IN A POSSIBILISTIC SETTING
Artificial Intelligence [cs.AI]. Université d'Artois, 2019
...
tel-02052769v1  Theses
Michael Sioutis. Algorithmic Contributions to Qualitative Constraint-based Spatial and Temporal Reasoning
Artificial Intelligence [cs.AI]. Université d'Artois, 2017. English
...
tel-03594800v1  Theses
Eric Piette. Une nouvelle approche au General Game Playing dirigée par les contraintes
Intelligence artificielle [cs.AI]. Université d'Artois, 2016. Français
...
tel-02884327v1  Habilitation à diriger des recherches
Daniel Le Berre. Sat4j, un moteur libre de raisonnement en logique propositionnelle
Intelligence artificielle [cs.AI]. Université d'Artois, 2010
...
tel-03703452v1  Habilitation à diriger des recherches
Saïd Jabbour. Des Données aux Connaissances : Modèles et Algorithmes
Intelligence artificielle [cs.AI]. Université d'Artois, 2018
...
tel-03716897v1  Theses
Romain Wallon. Pseudo-Boolean Reasoning and Compilation
Artificial Intelligence [cs.AI]. Université d'Artois, 2020. English
...
tel-01937279v1  Theses
Jérôme Delobelle. Ranking-based Semantics for Abstract Argumentation
Artificial Intelligence [cs.AI]. Université d'Artois, 2017. English
...
tel-03648917v1  Theses
Hugues Wattez. Solveurs de Contraintes Autonomes
Intelligence artificielle [cs.AI]. Université d'Artois, 2021. Français
...
tel-03611336v1  Habilitation à diriger des recherches
Stefan Mengel. Counting, Knowledge Compilation and Applications
Artificial Intelligence [cs.AI]. Université d'Artois, 2021
...
tel-02886382v1  Theses
Valentin Montmirail. Practical resolution of satisfiability testing for modal logics
Computer Science [cs]. Université d'Artois, 2018. English
...
tel-01723480v1  Theses
Mehdi Maamar. Fouille de motifs basée sur la programmation par contraintes - Appliquée à la validation de logiciels
Intelligence artificielle [cs.AI]. Université d'Oran 1 Ahmed Ben Bella, 2017. Français
...
tel-02151885v1  Theses
Jean-Guy Mailly. Dynamics of Argumentation Frameworks
Artificial Intelligence [cs.AI]. Université d'Artois, 2015. English
...
tel-02979325v1  Theses
Nicolas Szczepanski. SAT en Parallèle
Calcul parallèle, distribué et partagé [cs.DC]. Université d'Artois, 2017. Français. ⟨NNT : ⟩