Knowledge Tree

researcher / Pierre Siegel

Pierre Siegel

at_id:

orcid_id:

Disciplines:

Computer sciences

Natural sciences

Edit Merge See Links

Thesis:

Représentation et utilisation de la connaissnace en calcul propositionnel

Directed Thesis:

Approches pour les problèmes SAT et CSP : ensembles strong backdoor, voisinage consistant et forme normale généralisée

X-logiques : théorèmes de représentation pour les logiques préférentielles et la logique des défauts

Contribution au partitionnement matériel/logiciel des systèmes temps réels pour les applications de contrôle d'expériences

Proposition d'une structure de représentation de la connaissance pour les raisonnements non classiques

Une procédure de preuve pour une logique modale non monotone

L'évaluation sémantique en calcul propositionnel