L. Amgoud, Postulates for logic-based argumentation systems, International Journal of Approximate Reasoning, vol.55, issue.9, pp.2028-2048, 2014.
DOI : 10.1016/j.ijar.2013.10.004
URL : https://hal.archives-ouvertes.fr/hal-01123709

L. Amgoud, S. Belabbès, and H. Prade, A Formal General Setting for Dialogue Protocols, Artificial Intelligence: Methodology, Systems, and Applications, pp.13-23, 2006.
DOI : 10.1007/11861461_4

L. Amgoud and P. Besnard, Bridging the Gap between Abstract Argumentation Systems and Logic, Proceedings of the International Conference on Scalable Uncertainty Management (SUM'2009), pp.12-27, 2009.
DOI : 10.1016/0004-3702(92)90069-A

L. Amgoud and P. Besnard, A formal analysis of logicbased argumentation systems, Proceedings of the International Conference on Scalable Uncertainty Management (SUM'10), pp.42-55, 2010.

L. Amgoud and P. Besnard, Logical limits of abstract argumentation frameworks, Journal of Applied Non-Classical Logics, vol.28, issue.3, pp.229-267, 2013.
DOI : 10.1080/11663081.1997.10510900
URL : https://hal.archives-ouvertes.fr/hal-01124391

L. Amgoud and C. Cayrol, On the acceptability of arguments in preference-based argumentation, Proceedings of the International Conference on Uncertainty in Artificial Intelligence (UAI'98), pp.1-7, 1998.

L. Amgoud, Y. Dimopoulos, and P. Moraitis, Making decisions through preference-based argumentation, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR'08), pp.963-970, 2008.

L. Amgoud, D. Saint-cyr, and F. Dupin, An Axiomatic Approach for Persuasion Dialogs, 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, pp.618-625, 2013.
DOI : 10.1109/ICTAI.2013.97
URL : https://hal.archives-ouvertes.fr/hal-01147295

M. Arenas, L. Bertossi, and J. Chomicki, Consistent query answers in inconsistent databases, Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '99, pp.68-79, 1999.
DOI : 10.1145/303976.303983

A. Arioua and M. Croitoru, Formalizing Explanatory Dialogues, Proceedings of the 9th International Conference on Scalable Uncertainty Management (SUM'15), pp.282-297, 2015.
DOI : 10.1007/978-3-319-23540-0_19
URL : https://hal.archives-ouvertes.fr/lirmm-01164705

A. Arioua and M. Croitoru, Dalek: a tool for dialectical explanations in inconsistent knowledge bases, Proceedings of the 6th International Conference on Computational Models of Argument, 2016.
URL : https://hal.archives-ouvertes.fr/lirmm-01337019

A. Arioua and M. Croitoru, Dialectical characterization of consistent query explanation with existential rules, Proceedings of the 29th International Florida Artificial Intelligence Research Society Conference (FLAIRS'16, pp.14-19, 2016.
URL : https://hal.archives-ouvertes.fr/lirmm-01328679

A. Arioua and M. Croitoru, A dialectical proof theory for universal acceptance in coherent logic-based argumentation frameworks, Proceedings of the 22nd European Conference on Artificial Intelligence, 2016.
URL : https://hal.archives-ouvertes.fr/lirmm-01333368

A. Arioua, N. Tamani, and M. Croitoru, On Conceptual Graphs and Explanation of Query Answering under Inconsistency, Proceedings of the 21st International Conference on Conceptual Structures (ICCS'2014), pp.51-64, 2014.
DOI : 10.1007/978-3-319-08389-6_6

A. Arioua, N. Tamani, and M. Croitoru, Query Answering Explanation in Inconsistent Datalog $$+/-$$ Knowledge Bases, Proceedings of the 26th International Conference Database and Expert Systems Applications (DEXA'15), Part I, pp.203-219, 2015.
DOI : 10.1007/978-3-319-22849-5_15
URL : https://hal.archives-ouvertes.fr/lirmm-01164702

A. Arioua, N. Tamani, M. Croitoru, and P. Buche, Query Failure Explanation in Inconsistent Knowledge Bases: A Dialogical Approach, Research and Development in Intelligent Systems XXXI, SGAI 2014, pp.119-133, 2014.
DOI : 10.1007/978-3-319-12069-0_8
URL : https://hal.archives-ouvertes.fr/lirmm-01091082

A. Arioua, N. Tamani, M. Croitoru, and P. Buche, Query failure explanation in inconsistent knowledge bases using argumentation, Proceedings of Computational Models of Argument (COMMA'14), pp.101-108, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01089146

A. Arioua, N. Tamani, M. Croitoru, J. Fortin, and P. Buche, Investigating the Mapping between Default Logic and Inconsistency-Tolerant Semantics, Proceedings of the 14th International Conference on Artificial Intelligence and Soft Computing (ICAISC'15), Part II, pp.554-564, 2015.
DOI : 10.1007/978-3-319-19369-4_49
URL : https://hal.archives-ouvertes.fr/lirmm-01164696

K. Atkinson, T. Bench-capon, and P. Mcburney, A Dialogue Game Protocol for Multi-Agent Argument over Proposals for Action, Autonomous Agents and Multi-Agent Systems, vol.3, issue.3, pp.153-171, 2005.
DOI : 10.1007/s10458-005-1166-x

J. Austin and . Langshaw, How to do things with words, 1975.
DOI : 10.1093/acprof:oso/9780198245537.001.0001

F. Baader, S. Brandt, and C. Lutz, Pushing the el envelope, Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI'05), 2005.

F. Baader, R. Penaloza, and B. Suntisrivaraporn, Pinpointing in the description logic el+, Annual Conference on Artificial Intelligence, pp.52-67, 2007.

J. Baget, M. Mugnier, S. Rudolph, and M. Thomazo, Walking the complexity lines for generalized guarded existential rules, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'11), pp.712-717, 2011.
URL : https://hal.archives-ouvertes.fr/lirmm-00618081

J. Baget, S. Benferhat, Z. Bouraoui, M. Croitoru, M. Mugnier et al., A general modifier-based framework for inconsistency-tolerant query answering, Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'16), pp.513-516, 2016.
URL : https://hal.archives-ouvertes.fr/lirmm-01328690

J. Baget, M. Michellecì-ere, S. Mugnier, C. Rocher, and . Sipieter, Graal: A Toolkit for Query Answering with Existential Rules, Rule Technologies: Foundations, Tools, and Applications -9th International Symposium, RuleML 2015, Proceedings, pp.328-344, 2015.
DOI : 10.1007/978-3-319-21542-6_21
URL : https://hal.archives-ouvertes.fr/hal-01172063

J. Baget, M. Leclre, M. Mugnier, and E. Salvat, On rules with existential variables: Walking the decidability line, Artificial Intelligence, vol.175, issue.9-10, pp.1620-1654, 2011.
DOI : 10.1016/j.artint.2011.03.002
URL : https://hal.archives-ouvertes.fr/lirmm-00587012

P. Baroni and M. Giacomin, Semantics of Abstract Argument Systems, In Argumentation in artificial intelligence, pp.25-44, 2009.
DOI : 10.1007/978-0-387-98197-0_2

C. Beeri, Y. Moshe, and . Vardi, The implication problem for data dependencies, International Colloquium on Automata, Languages, and Programming, pp.73-85, 1981.
DOI : 10.1007/3-540-10843-2_7

S. Benferhat, D. Dubois, and H. Prade, Argumentative inference in uncertain and inconsistent knowledge bases, Proceedings of the Ninth International Conference on Uncertainty in Artificial Intelligence, pp.411-419, 1993.
DOI : 10.1016/B978-1-4832-1451-1.50054-8

S. Benferhat, D. Dubois, and H. Prade, A local approach to reasoning under inconsistency in stratified knowledge bases, Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU'95), pp.36-43, 1995.
DOI : 10.1007/3-540-60112-0_5

L. Bertossi, Consistent query answering in databases, ACM SIGMOD Record, vol.35, issue.2, pp.68-76, 2006.
DOI : 10.1145/1147376.1147391

L. Bertossi, Database Repairing and Consistent Query Answering, Synthesis Lectures on Data Management, vol.3, issue.5, pp.1-121, 2011.
DOI : 10.2200/S00379ED1V01Y201108DTM020

L. Bertossi, A. Hunter, and T. Schaub, Introduction to Inconsistency Tolerance, In Inconsistency Tolerance, pp.1-14, 2005.
DOI : 10.1007/978-3-540-30597-2_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.9758

P. Besnard and A. Hunter, Constructing argument graphs with deductive arguments: a tutorial, Argument & Computation, vol.13, issue.1, pp.5-30, 2014.
DOI : 10.1007/s10844-012-0230-7

M. Bienvenu, On the complexity of consistent query answering in the presence of simple ontologies, Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00789141

M. Bienvenu, C. Bourgaux, and F. Goasdoué, Querying inconsistent description logic knowledge bases under preferred repair semantics, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, pp.996-1002, 2014.
DOI : 10.1007/978-3-319-49493-7_5
URL : https://hal.archives-ouvertes.fr/hal-01007557

M. Bienvenu, C. Bourgaux, and F. Goasdoué, Explaining inconsistency-tolerant query answering over description logic knowledge bases, Proceedings of the 13th AAAI Conference on Artificial Intelligence, pp.900-906, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01277086

M. Bienvenu and R. Rosati, Tractable approximations of consistent query answering for robust ontology-based data access, Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), 2013.
URL : https://hal.archives-ouvertes.fr/hal-00947531

A. Bondarenko, F. Toni, A. Robert, and . Kowalski, An assumption-based framework for non-monotonic reasoning, Proceedings of the International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'93), pp.171-189, 1993.

A. Borgida, E. Franconi, I. Horrocks, L. Deborah, . Mcguinness et al., Explaining alc subsumption, Proceedings of the European Conference on Artificial Intelligence, pp.209-213, 2000.

Z. Bouraoui, S. Benferhat, M. Croitoru, O. Papini, and K. Tabia, On the use of non-objection inference in inconsistent lightweight ontologies, Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI'16), 2016.
URL : https://hal.archives-ouvertes.fr/lirmm-01328661

A. Cal?, G. Gottlob, and M. Kifer, Taming the infinite chase: Query answering under expressive relational constraints, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR'08), pp.70-80, 2008.

. Caì-i, G. Andrea, T. Gottlob, and . Lukasiewicz, Datalog ± : a unified approach to ontologies and integrity constraints, Proceedings of the 12th International Conference on Database Theory (ICDT'09, pp.14-30, 2009.

. Caì-i, G. Andrea, T. Gottlob, and . Lukasiewicz, A general datalog-based framework for tractable query answering over ontologies, Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'09), pp.77-86, 2009.

. Caì-i, G. Andrea, T. Gottlob, and . Lukasiewicz, A general datalog-based framework for tractable query answering over ontologies, Journal of Web Semantics, vol.14, pp.57-83, 2012.

A. Cali, G. Gottlob, T. Lukasiewicz, B. Marnette, and A. Pieris, Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications, 2010 25th Annual IEEE Symposium on Logic in Computer Science, pp.228-242, 2010.
DOI : 10.1109/LICS.2010.27

D. Calvanese, G. D. Giacomo, D. Lembo, M. Lenzerini, and R. Rosati, Inconsistency tolerance in p2p data integration: an epistemic logic approach, International Workshop on Database Programming Languages, pp.90-105, 2005.

D. Calvanese, G. D. Giacomo, D. Lembo, M. Lenzerini, and R. Rosati, Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family, Journal of Automated Reasoning, vol.104, issue.1,2, pp.385-429, 2007.
DOI : 10.1007/s10817-007-9078-x

D. Calvanese, M. Ortiz, M. Simkus, and G. Stefanoni, Reasoning about explanations for negative query answers in dllite, Journal of Artificial Intelligence Research, pp.635-669, 2013.

M. Caminada, On the Issue of Reinstatement in Argumentation, Logics in artificial intelligence, pp.111-123, 2006.
DOI : 10.1007/11853886_11

M. Caminada and L. Amgoud, An axiomatic account of formal argumentation, Proceedings of the Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference (AAAI'05), pp.608-613, 2005.

M. Caminada and L. Amgoud, On the evaluation of argumentation formalisms, Artificial Intelligence, vol.171, issue.5-6, pp.5-6, 2007.
DOI : 10.1016/j.artint.2007.02.003

C. Cayrol, On the relation between argumentation and nonmonotonic coherence-based entailment, Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, pp.1443-1448, 1995.

C. Cayrol, S. Doutre, and J. Mengin, On Decision Problems Related to the Preferred Semantics for Argumentation Frameworks, Journal of Logic and Computation, vol.13, issue.3, pp.377-403, 2003.
DOI : 10.1093/logcom/13.3.377

C. Cayrol and M. , On the Acceptability of Arguments in Bipolar Argumentation Frameworks, Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, pp.378-389, 2005.
DOI : 10.1007/11518655_33

S. Ceri, G. Gottlob, and L. Tanca, What you always wanted to know about Datalog (and never dared to ask), IEEE Transactions on Knowledge and Data Engineering, vol.1, issue.1, pp.146-166, 1989.
DOI : 10.1109/69.43410
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.210.1118

S. Ceri, G. Gottlob, and L. Tanca, Logic programming and databases, 2012.
DOI : 10.1007/978-3-642-83952-8

M. Chein and M. Mugnier, Graph-based Knowledge Representation -Computational Foundations of Conceptual Graphs, Advanced Information and Knowledge Processing, 2009.
URL : https://hal.archives-ouvertes.fr/lirmm-00355336

H. Chockler, Y. Joseph, and . Halpern, Responsibility and blame: A structural-model approach, Journal of Artificial Intelligence Research, vol.22, pp.93-115, 2004.

. Chomicki, Consistent Query Answering: Five Easy Pieces, International Conference on Database Theory (ICDT'07), pp.1-17, 2007.
DOI : 10.1007/11965893_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.84.6074

J. Chomicki, J. Marcinkowski, and S. Staworko, Computing consistent query answers using conflict hypergraphs, Proceedings of the Thirteenth ACM conference on Information and knowledge management , CIKM '04, pp.417-426, 2004.
DOI : 10.1145/1031171.1031254
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.125.844

. Coste-marquis, C. Sylvie, P. Devred, and . Marquis, Symmetric Argumentation Frameworks, Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'05), pp.317-328, 2005.
DOI : 10.1007/11518655_28
URL : https://hal.archives-ouvertes.fr/hal-00014624

M. Croitoru and S. Vesic, What Can Argumentation Do for Inconsistent Ontology Query Answering?, Proceedings of the International Conference on Scalable Uncertainty Management (SUM'13), pp.15-29, 2013.
DOI : 10.1007/978-3-642-40381-1_2
URL : https://hal.archives-ouvertes.fr/lirmm-00812630

. De-regt and W. Henk, Understanding and explanation: Living apart together?, Studies in History and Philosophy of Science Part A, vol.44, issue.3, pp.505-509, 2013.
DOI : 10.1016/j.shpsa.2012.12.002

A. Deutsch, A. Nash, and J. Remmel, The chase revisited, Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '08, pp.149-158, 2008.
DOI : 10.1145/1376916.1376938

Y. Dimopoulos, B. Nebel, and F. Toni, Preferred arguments are harder to compute than stable extensions, Proceddings of the International Joint Conference on Artificial Intelligence (IJCAI'99), pp.36-43, 1999.

S. Doutre, Autour de la sémantique préférée des systèmes d'argumentation, 2002.

S. Doutre and J. Mengin, On Sceptical Versus Credulous Acceptance for Abstract Argument Systems, In Logics in Artificial Intelligence, pp.462-473, 2004.
DOI : 10.1007/978-3-540-30227-8_39

J. Du, K. Wang, and Y. Shen, A tractable approach to abox abduction over description logic ontologies, Proceedings of the International Conference on Artificial Intelligence (AAAI'14), pp.1034-1040, 2014.

P. Dung and . Minh, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games, Artificial Intelligence, vol.77, issue.2, pp.321-357, 1995.
DOI : 10.1016/0004-3702(94)00041-X

P. E. Dunne, J. Trevor, and . Bench-capon, Coherence in finite argument systems, Artificial Intelligence, vol.141, issue.1-2, pp.187-203, 2002.
DOI : 10.1016/S0004-3702(02)00261-8

P. E. Dunne, J. Trevor, and . Bench-capon, Two party immediate response disputes: Properties and efficiency, Artificial Intelligence, vol.149, issue.2, pp.221-250, 2003.
DOI : 10.1016/S0004-3702(03)00076-6
URL : http://doi.org/10.1016/s0004-3702(03)00076-6

P. E. Dunne and M. Wooldridge, Argumentation in Artificial Intelligence, chapter Complexity of Abstract Argumentation, pp.85-104, 2009.

T. Eiter and G. Gottlob, The complexity of logic-based abduction, Journal of the ACM, vol.42, issue.1, pp.3-42, 1995.
DOI : 10.1145/200836.200838

T. Eiter and G. Gottlob, Hypergraph Transversal Computation and Related Problems in Logic and AI, In European Workshop on Logics in Artificial Intelligence, pp.549-564, 2002.
DOI : 10.1007/3-540-45757-7_53
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.8633

R. Fagin, Encyclopedia of Database Systems, chapter Tuple- Generating Dependencies, pp.3201-3202, 2009.

M. A. Falappa, G. Kern-isberner, and G. R. Simari, Explanations, belief revision and defeasible reasoning, Artificial Intelligence, vol.141, issue.1-2, pp.1-28, 2002.
DOI : 10.1016/S0004-3702(02)00258-8
URL : http://doi.org/10.1016/s0004-3702(02)00258-8

H. Gallaire and J. Nicolas, Logic approach to knowledge and data bases at ecrc, IEEE Data Eng. Bull, vol.10, pp.2-9, 1987.

A. J. García, R. Guillermo, and . Simari, Defeasible logic programming: An argumentative approach Theory and practice of logic programming, pp.95-138, 2004.

N. Gorogiannis and A. Hunter, Instantiating abstract argumentation with classical logic arguments: Postulates and properties, Artificial Intelligence, vol.175, issue.9-10, pp.1479-1497, 2011.
DOI : 10.1016/j.artint.2010.12.003
URL : http://doi.org/10.1016/j.artint.2010.12.003

S. R. Grimm, Is Understanding A Species Of Knowledge?, The British Journal for the Philosophy of Science, vol.57, issue.3, pp.515-535, 2006.
DOI : 10.1093/bjps/axl015

J. Y. Halpern and J. Pearl, Causes and Explanations: A Structural-Model Approach. Part I: Causes, The British Journal for the Philosophy of Science, vol.56, issue.4, pp.843-887, 2005.
DOI : 10.1093/bjps/axi147
URL : http://arxiv.org/abs/cs/0011012

C. Hempel and . Gustav, Aspects of scientific explanation, In Philosophy and Phenomenological Research, vol.504, 1965.

M. Horridge, B. Parsia, and U. Sattler, Justification Oriented Proofs in OWL, International Semantic Web Conference (ISWC'10), pp.354-369, 2010.
DOI : 10.1007/978-3-540-30227-8_35

A. Hunter, Modelling the persuadee in asymmetric argumentation dialogues for persuasion, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15), pp.3055-3061, 2015.

A. Hunter and S. Konieczny, Approaches to Measuring Inconsistent Information, Inconsistency Tolerance, pp.191-236, 2005.
DOI : 10.1007/978-3-540-30597-2_7

H. Jakobovits and D. Vermeir, Dialectic semantics for argumentation frameworks, Proceedings of the seventh international conference on Artificial intelligence and law , ICAIL '99, pp.53-62, 1999.
DOI : 10.1145/323706.323715
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.8351

M. W. Johnson, P. Mcburney, and S. Parsons, When Are Two Protocols the Same?, Communication in Multiagent Systems, pp.253-268, 2003.
DOI : 10.1007/978-3-540-44972-0_14

J. F. Kelley, An iterative design methodology for user-friendly natural language office information applications, ACM Transactions on Information Systems, vol.2, issue.1, pp.26-41, 1984.
DOI : 10.1145/357417.357420

M. König, M. Michellecì-ere, M. Mugnier, and . Thomazo, Sound, complete and minimal UCQ-rewriting for existential rules, Semantic Web, vol.6, issue.5, pp.451-475, 2015.
DOI : 10.3233/SW-140153

T. Kuhn, A Survey and Classification of Controlled Natural Languages, Computational Linguistics, vol.8, issue.4, pp.121-170, 2014.
DOI : 10.1007/978-3-642-14418-9_17

. Lecì-ere, M. Michel, S. Mugnier, and . Rocher, Kiabora: an analyzer of existential rule bases, Proceedings of the International Conference on Web Reasoning and Rule Systems (RR'13), pp.241-246, 2013.

D. Lembo, M. Lenzerini, R. Rosati, M. Ruzzi, and D. F. Savo, Inconsistency-Tolerant Semantics for Description Logics, Proceedings of the International Conference on Web Reasoning and Rule Systems (RR'10), pp.103-117, 2010.
DOI : 10.1007/978-3-642-15918-3_9

H. J. Levesque and R. J. Brachman, Expressiveness and tractability in knowledge representation and reasoning, Computational Intelligence, vol.2, issue.2, pp.78-93, 1987.
DOI : 10.1016/0004-3702(84)90054-7

P. Lipton, Inference to the best explanation, 2003.
DOI : 10.4324/9780203470855
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.330.8872

K. Lorenz, Basic objectives of dialogue logic in historical perspective, Synthese, vol.127, issue.1/2, pp.255-263, 2001.
DOI : 10.1023/A:1010367416884

T. Lukasiewicz, M. V. Martinez, and G. I. Simari, Inconsistency handling in datalog+/-ontologies, Proceedings of the 20th European Conference on Artificial Intelligence (ECAI'12), pp.558-563, 2012.

J. D. Mackenzie, Question-begging in non-cumulative systems, Journal of Philosophical Logic, vol.8, issue.1, pp.117-133, 1979.
DOI : 10.1007/BF00258422

B. Marnette, Generalized schema-mappings, Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, PODS '09, pp.13-22, 2009.
DOI : 10.1145/1559795.1559799

M. Martinez, C. A. Vanina, D. Deagustini, A. Marcelo, G. R. Falappa et al., Inconsistency-Tolerant Reasoning in Datalog $$^{\pm }$$ ?? Ontologies via an Argumentative Semantics, Advances in Artificial Intelligence?IBERAMIA 2014, pp.15-27, 2014.
DOI : 10.1007/978-3-319-12027-0_2

M. V. Martinez, C. Molinaro, V. S. Subrahmanian, and L. Amgoud, A General Framework for Reasoning On Inconsistency, SpringerBriefs in Computer Science, 2013.
DOI : 10.1007/978-1-4614-6750-2

P. Mcburney and S. Parsons, Dialogue Games for Agent Argumentation, In Argumentation in Artificial Intelligence, pp.261-280, 2009.
DOI : 10.1007/978-0-387-98197-0_13

P. Mcburney, S. Parsons, and M. Wooldridge, Desiderata for agent argumentation protocols, Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 1, AAMAS '02, pp.402-409, 2002.
DOI : 10.1145/544741.544836

D. L. Mcguinness and A. Borgida, Explaining subsumption in description logics, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'95), pp.816-821, 1995.

D. L. Mcguinness, F. Peter, and . Patel-schneider, Usability issues in knowledge representation systems, Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI'98), pp.608-614, 1998.

A. Meliou, W. Gatterbauer, Y. Joseph, C. Halpern, K. F. Koch et al., Causality in databases, IEEE Data Eng. Bull, vol.33, pp.59-67, 2010.
DOI : 10.14778/2733004.2733070

A. Meliou, S. Roy, and D. Suciu, Causality and explanations in databases, Proceedings of the VLDB Endowment, pp.1715-1716, 2014.
DOI : 10.14778/2733004.2733070

S. Modgil and M. Caminada, Argumentation in Artificial Intelligence, chapter The added value of argumentation, pp.357-403, 2009.

S. Modgil and M. Caminada, Argumentation in Artificial Intelligence, chapter Proof Theories and Algorithms for Abstract Argumentation Frameworks, pp.105-129, 2009.

S. Modgil and H. Prakken, A general account of argumentation with preferences, Artificial Intelligence, vol.195, pp.361-397, 2013.
DOI : 10.1016/j.artint.2012.10.008

M. Mugnier and M. Thomazo, An Introduction to Ontology-Based Query Answering with Existential Rules, Reasoning Web. Reasoning on the Web in the Big Data Era -10th International Summer School 2014. Proceedings, pp.245-278, 2014.
DOI : 10.1007/978-3-642-30284-8_31
URL : https://hal.archives-ouvertes.fr/lirmm-01089990

S. Parsons, M. Wooldridge, and L. Amgoud, Properties and Complexity of Some Formal Inter-agent Dialogues, Journal of Logic and Computation, vol.13, issue.3, pp.347-376, 2003.
DOI : 10.1093/logcom/13.3.347

J. C. Pitt, Theories of explanation, 1988.

A. Poggi, D. Lembo, D. Calvanese, G. D. Giacomo, M. Lenzerini et al., Linking Data to Ontologies, In Journal on data semantics X, pp.133-173, 2008.
DOI : 10.1007/978-3-540-77688-8_5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.144.3409

H. Prakken, Relating protocols for dynamic dispute with logics for defeasible argumentation, Synthese, vol.127, issue.1/2, pp.187-219, 2001.
DOI : 10.1023/A:1010322504453
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.135.6755

H. Prakken, Coherence and Flexibility in Dialogue Games for Argumentation, Journal of Logic and Computation, vol.15, issue.6, pp.1009-1040, 2005.
DOI : 10.1093/logcom/exi046

H. Prakken, Formal systems for persuasion dialogue, The Knowledge Engineering Review, vol.21, issue.02, pp.163-188, 2006.
DOI : 10.1017/S0269888906000865

H. Prakken, Argumentation in Artificial Intelligence, chapter Models of Persuasion Dialogue, pp.281-300, 2009.

G. Priest, The logic of paradox, Journal of Philosophical Logic, vol.8, issue.1, pp.219-241, 1979.
DOI : 10.1007/BF00258428

R. Ramakrishnan, D. Jeffrey, and . Ullman, A survey of deductive database systems The journal of logic programming, pp.125-149, 1995.

C. Reed and S. Wells, Dialogical Argument as an Interface to Complex Debates, IEEE Intelligent Systems, vol.22, issue.6, pp.60-65, 2007.
DOI : 10.1109/MIS.2007.106

R. Reiter, A logic for default reasoning, Artificial Intelligence, vol.13, issue.1-2, pp.81-132, 1980.
DOI : 10.1016/0004-3702(80)90014-4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.250.9224

R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence, vol.32, issue.1, pp.57-95, 1987.
DOI : 10.1016/0004-3702(87)90062-2

N. Rescher and R. Manor, On inference from inconsistent premisses, Theory and Decision, vol.1, issue.2, pp.179-217, 1970.
DOI : 10.1007/BF00154005

S. Schlobach, Debugging and Semantic Clarification by Pinpointing, Proceedings of the European Semantic Web Conference, pp.226-240, 2005.
DOI : 10.1007/11431053_16

S. Schlobach and R. Cornet, Non-standard reasoning services for the debugging of description logic terminologies, In IJCAI, vol.3, pp.355-362, 2003.

M. Sebillotte, Itineraires techniques et evolution de la pensee agronomique, Comptes Rendus, 1978.

M. Sini and V. Yadav, Building Knowledge Models for Agropedia Indica v 1.0 Requirements, Guidelines, Suggestions, pp.19-22, 2009.

J. F. Sowa, Conceptual Graphs for a Data Base Interface, IBM Journal of Research and Development, vol.20, issue.4, pp.336-357, 1976.
DOI : 10.1147/rd.204.0336

J. F. Sowa, On conceptual structures, Artificial Intelligence, vol.34, issue.3, 1983.
DOI : 10.1016/0004-3702(88)90069-0

A. Thunkijjanukij, A. Kawtrakul, S. Panichsakpatana, and U. Veesommai, Lesson learned for ontology construction with thai rice case study, World conference on agricultural information and IT, IAALD AFITA WCCA 2008, pp.495-502, 2008.

S. Vesic, Identifying the class of maxi-consistent operators in argumentation, Journal of Artificial Intelligence Research, vol.47, pp.71-93, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00868350

S. Vesic, Preference-based argumentation frameworks: application in decision making and negotiation, 2011.
URL : https://hal.archives-ouvertes.fr/tel-00609508

G. Vreeswik, H. Aw, and . Prakken, Credulous and Sceptical Argument Games for Preferred Semantics, In Logics in Artificial Intelligence, pp.239-253, 2000.
DOI : 10.1007/3-540-40006-0_17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.8849

D. Walton, A new dialectical theory of explanation, Philosophical Explorations, vol.3, issue.1, pp.71-89, 2004.
DOI : 10.1016/0004-3702(92)90087-E

D. Walton, Examination dialogue: An argumentation framework for critically questioning an expert opinion, Journal of Pragmatics, vol.38, issue.5, pp.745-777, 2006.
DOI : 10.1016/j.pragma.2005.01.016
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.576.197

D. Walton, Dialogical models of explanation, Proceedings of the AAAI Workshop on Explanation-Aware Computing (ExaCt'07), pp.1-9, 2007.

D. Walton, A dialogue system specification for explanation, Synthese, vol.7, issue.2, pp.349-374, 2011.
DOI : 10.1007/s11229-010-9745-z

D. Walton, A Dialogue System for Evaluating Explanations, Argument Evaluation and Evidence, pp.69-116, 2016.
DOI : 10.1007/978-3-319-19626-8_3

D. Walton, C. Erik, and . Krabbe, Commitment in dialogue: Basic concepts of interpersonal reasoning, 1995.