Sébastien Ramon

PhD in computer science

Since october 2008, I am a member of the Lens Computer Science Research Centre (CRIL CNRS UMR 8188). In December 2011, I passed a PhD Thesis in computer science entitled ``Methods Allowing the Overriding of Subsumed Knowledge'' under the joint supervision of Eric Grégoire and Philippe Besnard. My research activities are concerned with symbolic Artificial Intelligence and are focused on logic-based approaches of knowledge representation and reasoning. More precisely, I am interested in classical logic, non monotonic logics, belief revision and inconsistency tolerance.

A black and white picture of Sébastien Ramon

address	CRIL - Université d'Artois
	rue Jean Souvraz
	(F) 62307 SP18
	FRANCE CEDEX
mail	ramon@cril.fr
phone	+33 (0)3 21 79 17 23 (secretariat)
fax	+33 (0)3 21 79 17 70 (secretariat)

Research activities

My PhD thesis deals with the issue occurring when a piece of information is added to a knowledge set which already entails it. How to make sure that this new piece of information prevails the ones that allow its inference? Suppose for instance that a premisses set contains the piece of information ``If the switch is on then the room is lighted''. It is natural to expect that adding an additional rule, in a way more precise than the first one, and which assert that ``If the switch is on and if the lamp bulb is not broken then the room is lighted'', could prevail it. Indeed, it will not be sufficient to know that ``The switch is on'' to conclude that ``The room is lighted'': It is now necessary to say that ``The lamp bulb is not broken''. It is important to know that the second rule is consistent with the first one and that the non monotonic logics and beliefs revision or update frameworks do not handle this issue in principle.

Recent works

Preemption in classical logic case (KSEM'11, BRA'12, JIAF'12),

Computational investigations, implementation and experimentation in the clausal framework (see Preempte),
Iterative aspects of preemption in classical logic case (SEKE'12),
Preemption in the context of fusion of legal knowledges (FUSION'12),
Preemption in non monotonic logics case (IJAR, ECSQARU'11),
Preemption as a belief change operation (ECAI'12, NMR'12),
Trivialization issue of default logic (ECSQARU'09, JIAF'09).

Publications

International Journal paper(s)

14. Philippe BESNARD, Éric GREGOIRE, Sébastien RAMON, ``Overriding Subsuming Rules'', in International Journal of Approximate Reasoning (IJAR), Elsevier, 2013. To appear.

International conference paper(s) with proceedings

13. Philippe BESNARD, Éric GREGOIRE, Sébastien RAMON, ``Preemption Operators'', in 20th European Conference in Artificial Intelligence (ECAI'12), IOS Press, FAIA 0242, pp. 893-894, august 2012. (Montpellier, France). [BIBTEX] [PAPER] [POSTER]

12. Philippe BESNARD, Éric GREGOIRE, Sébastien RAMON, ``Logic-based Fusion of Legal Knowledge'', in 15th International Conference on Information Fusion (FUSION'12), IEEE Press, pp. 587-592, july 2012. (Singapore, Singapore). To appear. [BIBTEX] [PAPER]

11. Éric GREGOIRE, Sébastien RAMON, ``Disabling Subsumptions in a Logic-Based Component'', in 24th International Conference on Software Engineering and Knowledge Engineering (SEKE'12), pp. 243-248, july 2012. (Redwood City, San Francisco Bay (CA), USA). [BIBTEX] [PAPER]

10. Philippe BESNARD, Éric GREGOIRE, Sébastien RAMON, ``Enforcing Logically Weaker Knowledge in Classical Logic'', in 5th International Conference on Knowledge Science Engineering and Management (KSEM'11), LNAI 7091, Springer, pp. 44--55, december 2011. (Irvine (CA), USA). [BIBTEX] [PAPER]

9. Philippe BESNARD, Éric GREGOIRE, Sébastien RAMON, ``Overriding Subsuming Rules'', in 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'11), LNAI 6717, Springer, pp. 532--544, june 2011. (Belfast, Northern Ireland). [BIBTEX] [PAPER]

8. Philippe BESNARD, Éric GREGOIRE, Sébastien RAMON, ``A Default Logic Patch for Default Logic'', in 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'09), LNAI 5590, Springer, pp. 578--589, july 2009. (Verona, Italy). [BIBTEX] [PAPER] [SLIDES]

International conference paper(s) without proceedings

7. Philippe BESNARD, Éric GREGOIRE, Sébastien RAMON, ``Preemption Operators'', in 14th International Workshop on Non-Monotonic Reasoning (NMR'12), june 2012. (Roma, Italy). [BIBTEX] [PAPER] [SLIDES]

6. Philippe BESNARD, Éric GREGOIRE, Sébastien RAMON, ``Revising Subsuming Knowledge and Beliefs'', in International Workshop on Belief Revision and Argumentation (BRA'12), january 2012. (Funchal, Portugal). [BIBTEX]

National conference paper(s)

5. Philippe BESNARD, Éric GREGOIRE, Sébastien RAMON, ``Prédominance de Connaissances Subsumées en Logique Classique'', in 6ièmes Journées de l'Intelligence Artificielle Fondamentale (JIAF'12), may 2012. (Toulouse, France). [BIBTEX] [PAPER] [SLIDES]

4. Philippe BESNARD, Éric GREGOIRE, Sébastien RAMON, ``Corriger la Logique des Défauts par la Logique des Défauts'', in 3ièmes Journées de l'Intelligence Artificielle Fondamentale (JIAF'09), october 2009. (Marseille, France). [BIBTEX] [PAPER] [SLIDES]

PhD & MSc thesis

3. Sébastien RAMON, ``Méthodes permettant la prédominance de connaissances subsumées'', PhD Thesis, Université d'Artois, Centre de Recherche en Informatique de Lens (CRIL CNRS UMR 8188), december 2011. [BIBTEX] [PAPER] [SLIDES] [BOOK]

2. Sébastien RAMON, ``Introduction de Défauts pour la Résolution du Problème de Trivialisation en Logique des Défauts'', Master 2 Thesis, Université d'Artois, Centre de Recherche en Informatique de Lens (CRIL CNRS UMR 8188), july 2008. [BIBTEX] [PAPER] [SLIDES]

1. Sébastien RAMON, ``Réalisation Objet d'un Mini-Solveur CSP'', Master 1 Thesis, Université d'Artois, Centre de Recherche en Informatique de Lens (CRIL CNRS UMR 8188), june 2007. [BIBTEX] [PAPER] [APPENDIX] [SLIDES]