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

PUBLICATIONS

Proceedings Edition

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

Book Chapters

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.

International Journals

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)

S. Benferhat and Z. 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 . 2015

Thesis

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

National Journals

International Conferences with program committee and proceedings

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

Laurent Garcia, Claire Lefèvre, Odile Papini, Igor Stephan, Éric Würbel:
A Semantic Characterization for ASP Base Revision. SUM 2017.

Jean-François Baget, Meghyn Bienvenu, Mari-Laure Mugnir-er, Michael ThomazO
Answering conjunctive path queries over guarded exisTential rules. IJCAI 2017

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

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

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

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

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

Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Odile Papini, Karim Tabia:
Non-Objection Inference for Inconsistency-Tolerant Query Answering. 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. 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. 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. SUM 2016: 230-245

Nadia Creignou, Raïda Ktari, Odile Papini:
Belief Update Within Propositional Fragments. ECSQARU 2015: 165-174

S. Benferhat, Z. Bouraoui, K. Tabia
Non defeated-based repair in possibilistic DL-Lite knowledge bases
In Proceedings of FLAIRS 2015. 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, pp. 100-105.

S. Benferhat, Z. Bouraoui, and K. Tabia
On the revision of prioritized DL-Lite knowledge bases
In Proceedings of SUM 2014, LNCS 8720. Springer, pp. 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, pp. 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),
Washington DC Area, USA, pp. 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, p. 346-359.

National Conferences with program committee and proceedings

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

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).

Other

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.

Proofs

Proofs-SUM-2017

English