Documents

DELIVRABLES :

D1.1 : D1.1-juillet-2013 Research report on first-order ASP
D1.2 : D1.2-octobre-2013 Research report on studying syntactic and semantics merging
D1.3 : D1.3-octobre-2013 Research report on analysing of redundancy
D2.1 : D2.1-avril-2014 Research report on ASP with uncertainty
D2.2 : D2.2-avril-2014 Research report on existential rules
D2.3 : D2.3-avril-2014 Research report on translation of bases expressed in OWL to ASP program
D2.4 : D2.4-octobre-2014 Research report on getting rid of incommensurability of uncertainty scales
D2.5 : D2.5-octobre-2014 Research report on getting rid of incommensurability of uncertainty frameworks
D3 : D3-juin-2017 Interrogation en ASP

PUBLICATIONS

Edition de livres
Odile Papini, Salem Benferhat, Laurent Garcia, Marie-Laure Mugnier, Eduardo L. Fermé, Thomas Meyer, Renata Wassermann, Torsten Hahmann, Ken Baclawski, Adila Krisnadhi, Pavel Klinov, Stefano Borgo, Oliver Kutz, Daniele Porello:
Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 25-27, 2015. CEUR Workshop Proceedings 1517, CEUR-WS.org 2015

Chapitres de livre

J. Hué, O. Papini, E. Würbel. Extending belief bases change to logic programs with ASP.
In Trends in Belief Revision and Argumentation Dynamics. The Studies in Logic - Logic and Cognitive Systems Series
(http://www.collegepublications.co.uk/logic/lcs/?00007). December 2013.

Revues d'audience internationale

Jean-François Baget, Laurent Garcia,Fabien Garreau, Claire Lefèvre, Swan Rocher, Igor Stéphan:
Bringing existential variables in answer set programming and bringing non-monotony in
existential rules: two sides of the same coin. To Appear in Ann. Math. Artif. Intell. (2018)

Salem Benferhat, Zied Bouraoui, Odile Papini, Eric Würbel:
Prioritized assertional-based removed sets revision of DL-Lite belief bases. Ann. Math. Artif. Intell. 79(1-3): 45-75 (2017)

Salem Benferhat, Zied Bouraoui:
Min-based possibilistic DL-Lite. J. Log. Comput. 27(1): 261-297 (2017)

Nadia Creignou, Odile Papini, Stefan Rümmele, Stefan Woltran:
Belief Merging within Fragments of Propositional Logic. ACM Trans. Comput. Log. 17(3): 20:1-20:28 (2016)

C. Lefèvre, C. Béatrix, I. Stéphan et L. Garcia
ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing
Theory and Practice of Logic Programming TPLP 17 (3): 266-310. 2017.

Thèses

Z. Bouraoui
Inconsistency and uncertainty handling in lightweight description logics
juin 2015

F. Garreau
Extension d’ASP pour couvrir des fragments. DL traitables : étude théorique et implémentation
novembre 2016

Revues d'audience nationale

Conférences d'audience internationale avec comité de sélection et actes

Laurent Garcia, Claire Lefèvre, Odile Papini, Igor Stéphan, Eric Würbel:
A Semantic Characterization for ASP Base Revision. SUM 2017: 334-347

Salem Benferhat, Zied Bouraoui, Ma Thi Chau, Sylvain Lagrue, Julien Rossit,
A Polynomial Algorithm for Merging Lightweight Ontologies in Possibility Theory Under Incommensurability Assumption. In Proceedings of ICAART (2) 2017: 415-422

Jean-François Baget, Meghyn Bienvenu, Mari-Laure Mugnier, Michael Thomazo
Answering conjunctive path queries over guarded existential rules. In Proceedings of IJCAI 2017

Nadia Creignou, Raïda Ktari, Odile Papini:
Complexity of Model Checking for Cardinality-based Belief Revision Operators
In Proceedings of ECSQARU 2017.

Abdelraouf Hecham, Pierre Bisquert, Madalina Croitoru:
On the chase for all provenance pths with existential rules. In Proceedings of RuleML+RR .2017

Abdelraouf Hecham, Madalina Croitoru, Pierre Bisquert:
Argumentation-Based Defeasible Reasoning For Existential Rules. In Proceedings of AAMAS 2017: 1568-1569

Bruno Yun, Madalina Croitoru, Pierre Bisquert:
Are Ranking Semantics Sensitive to the Notion of Core? In Proceedings of AAMAS 2017: 943-951

Nadia Creignou, Raïda Ktari, Odile Papini:
Belief Contraction Within Fragments of Propositional Logic. In Proceedings of ECAI 2016: 390-398

Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Odile Papini, Karim Tabia:
Non-Objection Inference for Inconsistency-Tolerant Query Answering. In Proceedings of IJCAI 2016: 3684-3690

Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia:
Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis. In Proceedings of JELIA 2016: 64-80

Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia:
A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering. In Proceedings of KR 2016: 513-516

Jean-François Baget, Zied Bouraoui, Farid Nouioua, Odile Papini, Swan Rocher, Eric Würbel:
∃-ASP. for Computing Repairs with Existential Ontologies. In Proceedings of SUM 2016: 230-245

Abdallah Arioua, Madalina Croitoru, Laura Papaleo, Nathalie Pernelle, Swan Rocher:
On the Explanation of SameAs Statements Using Argumentation. In Proceedings of SUM 2016: 51-66

S. Benferhat, Z. Bouraoui, K. Tabia. How to Select One Preferred Assertional-Based Repair from Inconsistent and Prioritized DL-Lite Knowledge Base ? Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2015). 1450-1458

S. Benferhat, Z. Bouraoui, K. Tabia:
Non Defeated-Based Repair in Possibilistic DL-Lite Knowledge Bases. FLAIRS Conference 2015: 14-19

N. Creignou, R. Ktari, O. Papini
Belief update within fragments of propositional logic. In Proceedings of ECSQARU’15, LNCS 9161, Springer Verlag, p. 165--174.

S. Benferhat, Z. Bouraoui, K. Tabia
Non defeated-based repair in possibilistic DL-Lite knowledge bases
In Proceedings of FLAIRS 2015.

M. Croitoru, R. O. Rodriguez
Update Operators for Inconsistent Query Answering: A New Point of View
In Proceedings of SUM 2014, LNCS 8720. Springer, p. 100-105. 2014.

S. Benferhat, Z. Bouraoui, and K. Tabia
On the revision of prioritized DL-Lite knowledge bases
In Proceedings of SUM 2014, LNCS 8720. Springer, p. 22-34. 2014.

S. Benferhat, Z. Bouraoui, S. Lagrue, and J. Rossit
Min-based assertional merging approach for prioritized DL-Lite knowledge bases
In Proceedings of SUM 2014, LNCS 8720. Springer, p. 8-21. 2014.

F. Nouioua, E. Würbel
Removed Set-Based Revision of Abstract Argumentation Frameworks.
In Proceedings of IEEE International Conference on Tools with Artificial Intelligence (ICTAI-2014),
pp. 784-791, Limassol, Cyprus, November 10-12, 2014.

Z. Bouraoui, S. Benferhat, O. Papini , E. Würbel
A prioritized assertional-based revision for DL-Lite knowledge bases.
In Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014)

J.-F. Baget, F. Garreau, M.-L. Mugnier, S. Rocher
Extending Acyclicity Notions for Existential Rules. In Proceedings of European Conference on Artificial Intelligence 2014. (ECAI 2014).

N. Creignou, O. Papini, S. Rümmele, S. Woltran
Belief merging within fragments of propositional logic.
In Proceedings of European Conference on Artificial Intelligence 2014. (ECAI 2014).

S. Benferhat, Z. Bouraoui, O. Papini, E. Würbel.
Assertional-based Prioritized Removed Sets Revision of DL-LiteR Knowledge Bases.
In Proceedings of European Conference on Artificial Intelligence 2014. (ECAI 2014).

S. Benferhat, Z. Bouraoui, O. Papini, E. Würbel.
Assertional-based Removed Sets Revision of DL-LiteR belief bases.
In Proceedings of International Symposium on Artificial Intelligence and Mathematics 2014. (ISAIM 2014)

F. Nouioua,
AFs with Necessities : Futher Semantics and Labelling Characterization,
Seventh International Conference on Scalable Uncertainty Management (SUM-2013),
, LNCS 8078. Springer : 120-133, September 16-18, 2013.

S. Benferhat, Z. Bouraoui, Z. Lokil.
Min-based fusion of possibilistic DL-Lite knowledge bases.
In Proceedings of IEEE/WIC/ACM International Conferences on Web Intelligence (WI) and Intelligent Agent Technology (IAT). 2013.

S.Benferhat, Z. Bouraoui.
Possibilistic DL-Lite.
In Proceedings of SUM 2013, LNCS 8078. Springer , LNCS 8078. Springer  p. 346-359.

Conférences d'audience nationale avec comité de sélection et actes

N. Creignou, R. Ktari, O. Papini. Révision de bases de croyances : complexité de la
vérification de modèle. In actes des Journées d’Intelligence Artificielle Fondamentale
(IAF15), Rennes, 2015.

Z. Bouraoui, S. Benferhat, K. Tabia
Révision des bases de connaissances DL-Lite possibiliste
In actes 23 ème rencontres francophones sur la Logique Floue et ses Applications, (Cargèse), 22-24 octobre 2014.

I. Stéphan
QASP ou la programmation par ensembles réponses quantifiée.
In Actes Reconnaissances de Formes et Intelligence Artificielle 2014. (RFIA 2014).

S. Benferhat, Z. Bouraoui, O. Papini, E. Würbel
Révision par r-ensembles de bases de croyances en DL-Lite-R.
In Actes Reconnaissances de Formes et Intelligence Artificielle 2014. (RFIA 2014).

F. Nouioua,
Cadres argumentatifs avec nécessités : nouvelles sémantiques et algorithmes d'étiquetage,
In Actes Journées de l'Intelligence Artificielle Fondamentale (JIAF-2014), pp. , 158-167, Angers, France, 11-13 Juin 2014.

V. Risch, F. Nouioua, M. Klein
"Du raisonnement à l'acte argumentatif : calculer la dynamique des attitudes d'un agent en X-logiques".
In actes Modèles formels de l'interaction (MFI-2013).

Workshops

O. Papini.
A guided tour of the ASPIQ project. (WASPIQ 2017)

L. Garcia, F. Garreau, C. Lefèvre, O. Papini, I. Stéphan, E. Würbel.
A Semantic characterization for ASP base revision. (WASPIQ 2017)

P. Drap, L. Garcia, F. Garreau, C. Lefèvre, O. Papini, I. Stéphan, E. Würbel.
ASP Query answering: Application to underwater archaeological surveys querying. (WASPIQ 2017)

J.-F. Baget, Z. Bouraoui, F. Nouioua, O. Papini, S. Rocher and E. Würbel.
Existential ASP for computing repairs with existential ontologies (ONTOLP 2016)

J.-F. Baget, S. Benferhat, Z. Bouraoui, M. Croitoru, M.-L. Mugnier, O. Papini, S. Rocher, K. Tabia.
A unified framework for inconsistency-tolerant query answering: Rational properties and complexity (ONTOLP 2016)

Fabien Garreau, Laurent Garcia, Claire Lefèvre, Igor Stéphan:
∃-ASP. (ONTOLP 2015)

Salem Benferhat, Zied Bouraoui, Sylvain Lagrue, Julien Rossit:
Merging Incommensurable Possibilistic DL-Lite Assertional Bases. (ONTOLP 2015)

S. Benferhat, Z. Bouraoui, O. Papini, E. Würbel
A prioritized assertional-based revision for DL-Lite knowledge bases.
In Proceedings of Belief Revision and Argumentation (BRA 2015)

J.-F. Baget, F. Garreau, M.-L. Mugnier, S. Rocher
Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation.
In Proceedings of Non Monotonic Reasoning. (NMR 2014).

Autres

O.Papini, Z. Bouraoui, F. Garreau. Problématiques du projet ASPIQ : Techniques ASP pour l’interrogation d’informations web hétérogènes multisources à grande échelle.
Exposé de synthèse. Journées d'Intelligence Artificielle Fondamentale. Aix-en-Provence. juin 2013.

Français