 |
Conference papers
Assertional-based Removed Set Revision of DL-LiteR Belief Bases
Salem Benferhat
1
Zied Bouraoui
1
Odile Papini
2, 3
Eric Würbel
2, 3
3
LIRICA - Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre
LIS - Laboratoire d'Informatique et Systèmes
Salem Benferhat 1
Author
Zied Bouraoui 1
Author
Odile Papini 2, 3
Author
Eric Würbel 2, 3
Author IdHAL : eric-wurbel
1
CRIL - Centre de Recherche en Informatique de Lens (Rue Jean Souvraz - SP 18 62307 LENS CEDEX - France)
- UA - Université d'Artois (9 rue du Temple - BP 10665 - 62030 Arras cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8188 (France)
2
LIS - Laboratoire d'Informatique et Systèmes (Aix Marseille Université – Campus de Saint Jérôme – Bat. Polytech, 52 Av. Escadrille Normandie Niemen, 13397 Marseille Cedex 20 - France)
- UTLN - Université de Toulon : UMR7020 (Avenue de l'Université - BP 20132 - 83957 La Garde Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7020 (France)
- AMU - Aix Marseille Université : UMR7020 (Aix-Marseille Université Jardins du Pharo 58 Boulevard Charles Livon 13284 Marseille cedex 7 - France)
3
LIRICA - Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre (France)
- LIS - Laboratoire d'Informatique et Systèmes (Aix Marseille Université – Campus de Saint Jérôme – Bat. Polytech, 52 Av. Escadrille Normandie Niemen, 13397 Marseille Cedex 20 - France)
- UTLN - Université de Toulon : UMR7020 (Avenue de l'Université - BP 20132 - 83957 La Garde Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7020 (France)
- AMU - Aix Marseille Université : UMR7020 (Aix-Marseille Université Jardins du Pharo 58 Boulevard Charles Livon 13284 Marseille cedex 7 - France)
Document type :
Conference papers
Complete list of metadata
https://hal-univ-artois.archives-ouvertes.fr/hal-03299714
Contributor : Fabien Delorme <>
Submitted on : Monday, July 26, 2021 - 4:16:07 PM
Last modification on : Thursday, September 9, 2021 - 3:10:41 PM
Contributor : Fabien Delorme <>
Submitted on : Monday, July 26, 2021 - 4:16:07 PM
Last modification on : Thursday, September 9, 2021 - 3:10:41 PM
Identifiers
- HAL Id : hal-03299714, version 1
Citation
Salem Benferhat, Zied Bouraoui, Odile Papini, Eric Würbel. Assertional-based Removed Set Revision of DL-LiteR Belief Bases. 13th International Symposium on Artificial Intelligence and Mathematics (ISAIM'14), 2014, Fort Lauderdale, United States. pp.45-75. ⟨hal-03299714⟩
Metrics
Record views