@phdthesis{chleq:tel-00529412, TITLE = {{Contribution {\`a} l'{\'e}tude du raisonnement temporel. R{\'e}solution avec contraintes et application {\`a} l'abduction en raisonnement temporel}}, AUTHOR = {Chleq, Nicolas}, URL = {https://pastel.hal.science/tel-00529412}, SCHOOL = {{Ecole Nationale des Ponts et Chauss{\'e}es}}, YEAR = {1995}, MONTH = Jan, KEYWORDS = {intelligence artificielle ; programmation ; contrainte ; science cognitive ; cognition ; neuroscience ; planification ; pr{\'e}diction ; raisonnement math{\'e}matique ; informatique ; mod{\`e}le math{\'e}matique ; syst{\`e}me expert ; logique temporelle ; r{\'e}solution avec contrainte ; raisonnement abductif ; abduction (logique)}, TYPE = {Theses}, PDF = {https://pastel.hal.science/tel-00529412/file/1995TH_CHLEQ_N_NS19082.pdf}, HAL_ID = {tel-00529412}, HAL_VERSION = {v1}, }