Abdallah Arioua

17 papers A 1B 1C 2Misc 3Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
Entraînement avec solveur pour l'intégration de contraintes logiques dans l'extraction de relations d'événements.
CORIA
Baptiste Brunet de la Charie, Abdallah Arioua, Elöd Egyed-Zsigmond, Thomas Veran
2018 B conf
User-guided Repairing of Inconsistent Knowledge Bases.
EDBT
Abdallah Arioua, Angela Bonifati
2017 — conf
An Empirical Evaluation of Argumentation in Explaining Inconsistency-Tolerant Query Answering.
Description Logics
Abdelraouf Hecham, Abdallah Arioua, Gem Stapleton, Madalina Croitoru
2017 J jnl
Explanatory dialogues with argumentative faculties over inconsistent knowledge bases.
Expert Syst. Appl.
Abdallah Arioua, Patrice Buche, Madalina Croitoru
2017 J jnl
Logic-based argumentation with existential rules.
Int. J. Approx. Reason.
Abdallah Arioua, Madalina Croitoru, Srdjan Vesic
2016 — conf
A Datalog± Domain-Specific Durum Wheat Knowledge Base.
MTSR
Abdallah Arioua, Patrice Buche, Madalina Croitoru
2016 A conf
A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-Based Argumentation Frameworks.
ECAI
Abdallah Arioua, Madalina Croitoru
2016 C conf
DALEK: A Tool for Dialectical Explanations in Inconsistent Knowledge Bases.
COMMA
Abdallah Arioua, Madalina Croitoru, Patrice Buche
2016 Misc conf
Dialectical Characterization of Consistent Query Explanation with Existential Rules.
FLAIRS
Abdallah Arioua, Madalina Croitoru
2016 — —
Formalizing and Studying Dialectical Explanations in Inconsistent Knowledge Bases. (Formalisation et Etude des Explications Dialectiques dans les Bases de Connaissances Incohérentes).
Abdallah Arioua
2016 — conf
On the Explanation of SameAs Statements Using Argumentation.
SUM
Abdallah Arioua, Madalina Croitoru, Laura Papaleo, Nathalie Pernelle, Swan Rocher
2015 — conf
Formalizing Explanatory Dialogues.
SUM
Abdallah Arioua, Madalina Croitoru
2015 Misc conf
Investigating the Mapping between Default Logic and Inconsistency-Tolerant Semantics.
ICAISC
Abdallah Arioua, Nouredine Tamani, Madalina Croitoru, Jérôme Fortin, Patrice Buche
2015 — conf
Query Answering Explanation in Inconsistent Datalog +/- Knowledge Bases.
DEXA (1)
Abdallah Arioua, Nouredine Tamani, Madalina Croitoru
2014 Misc conf
On Conceptual Graphs and Explanation of Query Answering under Inconsistency.
ICCS
Abdallah Arioua, Nouredine Tamani, Madalina Croitoru
2014 C conf
Query Failure Explanation in Inconsistent Knowledge Bases Using Argumentation.
COMMA
Abdallah Arioua, Nouredine Tamani, Madalina Croitoru, Patrice Buche
2014 — conf
Query Failure Explanation in Inconsistent Knowledge Bases: A Dialogical Approach.
SGAI Conf.
Abdallah Arioua, Nouredine Tamani, Madalina Croitoru, Patrice Buche