Partenaires

CNRS
Université d'Artois IUT de Lens



retour à l'accueil

Accueil du site > Annuaire > Annuaire

Annuaire

Sébastien Ramon

Doctorant

Axe(s) de recherche

Article(s) de revue(s) internationale(s)

Besnard Philippe, Grégoire Éric, Ramon Sébastien,
Overriding Subsuming Rules,
dans International Journal of Approximate Reasoning (IJAR), vol. 53, Elsevier , pp. 452-466, avril 2013. [Résumé] [BibTeX...]

Besnard Philippe, Grégoire Éric, Ramon Sébastien,
Overriding Subsuming Rules,
dans , Elsevier, 2013. [Résumé] [BibTeX...]

Communication(s) dans des conférences d'audience internationale avec publication des actes

Besnard Philippe, Grégoire Éric, Ramon Sébastien,
Preemption Operators,
dans 20th European Conference on Artificial Intelligence (ECAI'12), FAIA 0242, IOS Press , pp. 893-894, août 2012. (Roma, Italy) [Résumé] [Télécharger] [BibTeX...]

Grégoire Éric, Ramon Sébastien,
Disabling Subsumptions in a Logic-Based Component,
dans 24th International Conference on Software Engineering and Knowledge Engineering (SEKE'12), pp. 243-248, juillet 2012. (Redwood City, San Francisco Bay, CA, USA) [Télécharger] [BibTeX...]

Besnard Philippe, Grégoire Éric, Ramon Sébastien,
Logic-based Fusion of Legal Knowledge,
dans 15th International Conference on Information Fusion (FUSION'12), IEEE Press, pp. 587-592, juillet 2012. (Singapour) [Télécharger] [BibTeX...]

Besnard Philippe, Grégoire Éric, Ramon Sébastien,
Enforcing Logically Weaker Knowledge in Classical Logic,
dans 5th International Conference on Knowledge Science Engineering and Management (KSEM'11), LNAI 7091, Springer, pp. 44-55, décembre 2011. (Irvine (CA), USA) [Télécharger] [BibTeX...]

Besnard Philippe, Grégoire Éric, Ramon Sébastien,
Overriding Subsuming Rules,
dans 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'11), LNAI 6717, Springer, pp. 532--544, juin 2011. (Belfast, Northen Ireland) [Télécharger] [BibTeX...]

Besnard Philippe, Grégoire Éric, Ramon Sébastien,
A Default Logic Patch for Default Logic,
dans 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'09), LNAI 5590, Springer, pp. 578--589, juillet 2009. (Verona, Italy) [Télécharger] [BibTeX...]

Communication(s) dans des conférences d'audience internationale sans publication des actes

Besnard Philippe, Grégoire Éric, Ramon Sébastien,
Preemption Operators,
dans 14th International Workshop on Non-Monotonic Reasoning (NMR'12), pp. 893-894, juin 2012. (Roma, Italy) [Télécharger] [BibTeX...]

Besnard P, Grégoire Éric, Ramon Sébastien,
Revising Subsuming Knowledge and Beliefs,
dans International Workshop on Belief Revision and Argumentation , janvier 2012. (Funchal, Portugal) [BibTeX...]

Communication(s) dans des conférences d'audience nationale

Besnard Philippe, Grégoire Éric, Ramon Sébastien,
Prédominance de Connaissances Subsumées en Logique Classique,
dans 6èmes Journées de l'Intelligence Artificielle Fondamentale (JIAF'12), pp. 21--29, mai 2012. (Toulouse, France) [Télécharger] [BibTeX...]

Besnard Philippe, Grégoire Éric, Ramon Sébastien,
Corriger la Logique des Défauts par la Logique des Défauts,
dans Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'09), octobre 2009. (Marseille, France) [Télécharger] [BibTeX...]

Thèse de doctorat

Ramon Sébastien,
Méthodes Permettant la Prédominance de Connaissances Subsumées,
thèse de doctorat, Université d'Artois, Centre de Recherche en Informatique de Lens (CRIL CNRS UMR 8188) , décembre 2011. [Télécharger] [BibTeX...]

Rapport(s) de DEA / Master Recherche

Ramon Sébastien,
Introduction de Défauts pour la Résolution du Problème de Trivialisation en Logique des Défauts,
rapport de DEA/Master recherche, Université d'Artois, Centre de Recherche en Informatique de Lens (CRIL CNRS UMR 8188), juillet 2008. [Télécharger] [BibTeX...]

Ramon Sébastien,
Réalisation Objet d'un Mini-Solveur CSP,
rapport de DEA/Master recherche, Université d'Artois, Centre de Recherche en Informatique de Lens (CRIL CNRS UMR 8188), juin 2007. [Télécharger] [BibTeX...]