| Accueil |
 |
|
|
 |
| Équipes |
|
|
|
 |
| Projets struct. |
|
|
|
|
| Vie du laboratoire |
|
|
|
|
|
 |
Pierre SIEGEL
|
 |
|
|
Adjoint du site Marseille-Nord,
Membre de l'équipe INCA |
| |
| Fonction : |
Professeur des universités (PR) |
| UFR : |
Université de Provence (U1) |
| |
| Tél. : |
04 91 11 36 01 |
| E-mail : |
pierre siegel cmiuniv-mrsfr |
| |
| Adresse : |
LSIS - UMR CNRS 6168
Domaine Universitaire de Saint-Jérôme
Avenue Escadrille Normandie-Niemen
13397 MARSEILLE CEDEX 20 |
|
PUBLICATIONS
|
|
|
[1] B. Benhamou, P. Siegel, “Symmetry and Non-monotonic Inference”, in: Symcon'08, septembre 2008. à paraître.[bib] |
|
|
|
[2] L. Paris, R. Ostrowski, P. Siegel, Lakhdar Sa"Is, “From Horn Strong Backdoor Sets to Ordered Strong BAckdoor Sets”, in: Proceedings of the 6th Mexican International Conference on Artificial Intelligence (MICAI'07), A. Gelbukh and A.F. Kuri Morales, LNAI, vol. 4827, pp. 105-117, Springer-Verlag, Aguascalientes, Mexico, novembre 2007.[bib] |
|
|
|
[3] L. Paris, R. Ostrowski, P. Siegel, “Des ensembles Horn strong backdoor aux ensembles ordonné strong backdoor”, in: Actes des troisièmes Journées Francophones de Programmation par Contraintes (JFPC’2007), pp. 48-57, Rocquencourt, France, juin 2007.[bib] |
|
|
|
[4] L. Paris, R. Ostrowski, Lakhdar Saïs, P. Siegel, “Computing Horn Strong Backdoor Sets Thanks to Local Search”, in: Proceedings of the 18th International Conference on Tools with Artificial Intelligence (ICTAI'06), pp. 139-143, IEEE Computer Society, Washington D.C., United States, november, 13-15 2006.[bib] |
|
|
|
[5] L. Paris, B. Benhamou, P. Siegel, “A Boolean encoding including SAT and n-ary CSPs”, in: Proceedings of The Twelfth International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2006), Springer, LNAI, n° 4183, pp. 33-44, Varna, Bulgaria, Septembre 2006.[bib] |
|
|
|
[6] B. Benhamou, L. Paris, P. Siegel, “Dealing with SAT and CSPs in a single framework”, in: Proceedings of the The CP 2006 Workshop on the Integration of SAT and CP techniques, pp. 65-79, Nantes, France, September 25 2006.[bib] |
|
|
|
[7] L. Paris, R. Ostrowski, Lakhdar Saïs, P. Siegel, “Approximation d'ensembles Horn strong backdoor par recherche locale”, in: Actes des deuxièmes Journées Francophones de Programmation par Contraintes (JFPC’2006), pp. 277-284, Nîmes, France, Juin 7-9 2006.[bib] |
|
|
|
[8] L. Paris, B. Benhamou, P. Siegel, “Un cadre théorique et pratique commun aux formalismes SAT et CSP n-aires”, in: 7e Rencontres Jeunes Chercheurs en Intelligence Artificielle (RJCIA'05), pp. 169-182, Nice, France, juin 1-3 2005.[bib] |
|
|
|
[9] L. Paris, B. Benhamou, P. Siegel, “A Cardinality General Normal Form (CGNF) in propositional logic including n-ary CSPs.”, in: Joint Annual Workshop of ERCIM/CoLogNet on Constraint Solving and Constraint Logic Programming (CSCLP'05), pp. 89-100, Uppsala, Sweden, June 20-22 2005.[bib] |
|
|
|
[10] P. Siegel, L. Forget, V. Risch, “Preferential logics are X-Logics”, in: Journal of Logic and Computation, vol. 11, n° 1, pp. 71-83, 2001.[bib] |
|
|
|
[11] G. Audemard, B. Benhamou, P. Siegel, “AVAL: an enumerative Method for SAT”, in: Proceedings of the conference on Computational Logic (CL00), pp. 373-383, Londres, 2000.[bib] |
|
|
|
[12] R. Jeansoulin, P. Siegel, “Knowledge bases and reasoning mechanisms for environmental data : a logical viewpoint”, in: Elsevier (Ed.), ``Advances in Environmental and Ecological Modelling'', F. Blasco and A.Weill, pp. 171-191, 1999.[bib] |
|
|
|
[13] G. Audemard, B. Benhamou, P. Siegel, “La méthode d'avalanche AVAL : une méthode énumérative pour SAT”, in: Journée nationale des problèmes NP Complets, JNPC 99, pp. 17-25, Lyon, 1999.[bib] |
|
|
|
[14] Gilles Audemard, B. Benhamou, P. Siegel, “La méthode d'avalanche AVAL: une méthode énumérative pour SAT”, LIM, n° 309, 1999.[bib] |
|
|
|
|
|
|
| Recherche |
|
|
|
|
| Enseignement |
|
|
|
|
| Liens |
|
|
|
|
|
