A. Arioua, P. Buche, and M. Croitoru, Explanatory dialogues with argumentative faculties over inconsistent knowledge bases, Expert Systems with Applications, vol.80, pp.244-262, 2017.
URL : https://hal.archives-ouvertes.fr/lirmm-01596665

, Comment citer ce document

. References, Ontoarg: A decision support framework for ontology integration based on argumentation, Expert Systems with Applications, vol.40, pp.1858-1870, 2013.

L. Amgoud and N. Hameurlain, A formal model for designing dialogue strategies, Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems, pp.414-416, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00408556

A. Arioua and M. Croitoru, Formalizing explanatory dialogues, Proceedings of Scalable Uncertainty Management -9th International Conference, SUM 2015, pp.282-297, 2015.
URL : https://hal.archives-ouvertes.fr/lirmm-01164705

A. Arioua, N. Tamani, and M. Croitoru, Query answering explanation in inconsistent datalog+/-knowledge bases, Proceedings of DEXA'15, pp.203-219, 2015.
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, Proceedings of SGAI'14, pp.119-133, 2014.
URL : https://hal.archives-ouvertes.fr/lirmm-01091082

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.11, pp.153-171, 2005.

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

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 15th 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. Leclère, M. Mugnier, S. Rocher, and C. Sipieter, , 2015.

, Graal: A toolkit for query answering with existential rules, Proceedings of The 9th International Web Rule Symposium, RuleML'15, pp.328-344

. Springer,

J. Baget, M. Leclère, M. Mugnier, and E. Salvat, On rules with existential variables: Walking the decidability line, Artificial Intelligence, vol.175, pp.1620-1654, 2011.
URL : https://hal.archives-ouvertes.fr/lirmm-00587012

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

L. Bertossi, A. Hunter, and T. Schaub, Introduction to inconsistency tolerance, Inconsistency Tolerance, pp.1-14, 2005.

F. Bex, K. Budzynska, and D. Walton, Argumentation and explanation in the context of dialogue. Explanation-aware Computing ExaCt, p.6, 2012.

F. Bex and D. Walton, Combining explanation and argumentation in dialogue, the 12th workshop on Computational Models of Natural Argument, p.52, 2011.

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

M. Bienvenu, C. Bourgaux, and F. Goasdoué, Explaining query answers under inconsistency-tolerant semantics over description logic knowledge bases, Proceedings of the 28th Description Logics workshop, pp.28-39, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01277080

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 2013, pp.3-9, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00947531

A. Borgida, D. Calvanese, and M. Rodriguez-muro, Explanation in the dl-lite family of description logics, Proceedings of the 7th international conference on ontologies, databases, and applications of semantics, ODBASE, pp.1440-1457, 2008.

C. Bourgaux, Inconsistency Handling in Ontology-Mediated Query Answering, 2016.
URL : https://hal.archives-ouvertes.fr/tel-01378723

/. Tel,

A. Calì, G. Gottlob, and T. 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.

A. Calì, G. Gottlob, and T. Lukasiewicz, A general datalog-based framework for tractable query answering over ontologies, Web Semantics: Science, Services and Agents on the World Wide Web, vol.14, pp.57-83, 2012.

, Comment citer ce document

D. Calvanese, G. De-giacomo, D. Lembo, M. Lenzerini, and R. Rosati, , 2007.

, Tractable reasoning and efficient query answering in description logics: The dl-lite family, J. Autom. Reasoning, vol.39, pp.385-429

A. Cawsey, Explanation and interaction: the computer generation of explanatory dialogues, 1992.

S. Ceri, G. Gottlob, and L. Tanca, What you always wanted to know about datalog (and never dared to ask), IEEE Transactions on, vol.1, pp.146-166, 1989.

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

J. Chomicki and J. Marcinkowski, Minimal-change integrity maintenance using tuple deletions. Information and Computation, vol.197, pp.90-121, 2005.

M. Croitoru and S. Vesic, What can argumentation do for inconsistent ontology query answering?, Proceedings of SUM'2013, pp.15-29, 2013.
URL : https://hal.archives-ouvertes.fr/lirmm-00812630

K. Darlington, Aspects of intelligent systems explanation, Universal Journal of Control and Automation, vol.1, pp.40-51, 2013.

J. Du and G. Qi, Tractable computation of representative abox repairs in description logic ontologies, Knowledge Science, Engineering and Management, pp.28-39, 2015.

J. Du, K. Wang, and Y. Shen, Towards tractable and practical abox abduction over inconsistent description logic ontologies, Proceedings of AAAI'15, pp.1489-1495, 2015.

P. M. Dung, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games, Artificial intelligence, vol.77, pp.321-357, 1995.

, Comment citer ce document

A. J. García, C. I. Chesñevar, N. D. Rotstein, and G. R. Simari, , 2013.

, Formalizing dialectical explanation support for argument-based reasoning in knowledge-based systems, Expert Systems with Applications, vol.40, pp.3233-3247

G. Governatori, F. Olivieri, S. Scannapieco, A. Rotolo, and M. Cristani, , 2014.

, Strategic argumentation is np-complete, Proceedings of the 21st European Conference on Artificial Intelligence, ECAI 2014, pp.399-404

C. Gratton, Circular definitions, circular explanations, and infinite regresses. Argumentation, vol.8, pp.295-308, 1994.

C. L. Hamblin, Questions. Australasian Journal of Philosophy, vol.36, pp.159-168, 1958.

S. R. Haynes, M. A. Cohen, and F. E. Ritter, Designs for explaining intelligent agents, International Journal of Human-Computer Studies, vol.67, pp.90-110, 2009.

C. G. Hempel and P. Oppenheim, Studies in the logic of explanation, Philosophy of science, pp.135-175, 1948.

M. Horridge, B. Parsia, and U. Sattler, Justification oriented proofs in owl, Proceedings of ISWC 2010, pp.354-369, 2010.

W. Jaworski, The logic of how-questions, Synthese, vol.166, pp.133-155, 2009.

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

D. Lembo, M. Lenzerini, R. Rosati, M. Ruzzi, and D. F. Savo, , 2010.

, Inconsistency-tolerant semantics for description logics, Proceedings of RR'10, pp.103-117

D. Lembo, M. Lenzerini, R. Rosati, M. Ruzzi, and D. F. Savo, , 2015.

, Inconsistency-tolerant query answering in ontology-based data access, Web Semantics: Science, Services and Agents on the World Wide Web, vol.33, pp.3-29

I. A. Letia and A. Groza, Interleaved argumentation and explanation in dialog, Proceedings of 12th workshop on Computational Models of Natural Argument, p.44, 2012.

T. Lukasiewicz, M. V. Martinez, A. Pieris, and G. I. Simari, From classical to consistent query answering under existential rules, Proceedings of AAAI'15, pp.1546-1552, 2015.

Y. Ma, S. Liu, B. Jin, and G. Xu, Inconsistent ontology revision based on ontology constructs, Expert Systems with Applications, vol.37, pp.7269-7275, 2010.

J. D. Mackenzie, Question-begging in non-cumulative systems, Journal of philosophical logic, vol.8, pp.117-133, 1979.

M. V. Martinez, C. A. Deagustini, M. A. Falappa, and G. R. Simari, Inconsistency-tolerant reasoning in datalog+/-ontologies via an argumentative semantics, Advances in Artificial Intelligence-IBERAMIA 2014, pp.15-27, 2014.

M. T. Maybury, Communicative acts for explanation generation, International Journal of Man-Machine Studies, vol.37, pp.135-172, 1992.

P. Mcburney and S. Parsons, Dialogue games for agent argumentation, Argumentation in Artificial Intelligence, pp.261-280, 2009.

P. Mcburney, S. Parsons, and M. Wooldridge, Desiderata for agent argumentation protocols, Proceedings of the 1st international joint conference on Autonomous agents and multiagent systems: part 1, pp.402-409, 2002.

D. L. Mcguinness and A. T. Borgida, Explaining subsumption in description logics, Proceedings of IJCAI'95, pp.816-821, 1995.

D. P. Metzler and C. J. Martincic, Que: explanation through exploration, Expert Systems with Applications, vol.15, pp.253-263, 1998.

, Comment citer ce document

M. J. Minock and W. W. Chu, Explanation for cooperative information systems, Proceedings of the 9th International Symposium on Methodologies for Intelligent Systems, pp.264-273, 1996.

J. D. Moore and J. D. Moore, Participating in explanatory dialogues: interpreting and responding to questions in context, 1995.

B. Moulin, H. Irandoust, M. Bélanger, and G. Desbordes, Explanation and argumentation capabilities:towards the creation of more persuasive agents, Artificial Intelligence Review, p.17, 2002.

M. Mugnier, Ontological query answering with existential rules, Proceedings of RR'11, pp.2-23, 2011.
URL : https://hal.archives-ouvertes.fr/lirmm-00618296

M. Mugnier and M. Thomazo, An introduction to ontology-based query answering with existential rules, Proceedings of RR'14, pp.245-278, 2014.
URL : https://hal.archives-ouvertes.fr/lirmm-01089990

A. Poggi, D. Lembo, D. Calvanese, G. De-giacomo, M. Lenzerini et al., Linking data to ontologies, In Journal on data semantics X, pp.133-143, 2008.

H. Prakken, Formal systems for persuasion dialogue, The Knowledge Engineering Review, vol.21, pp.163-188, 2006.

A. D. Preece, A new approach to detecting missing knowledge in expert system rule bases. Int. journal of man-machine studies, vol.38, pp.661-688, 1993.

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

D. Sonntag and M. Theobald, Explanations in dialogue systems through uncertain rdf knowledge bases, 5th International Workshop on Explanation-Aware Computing, pp.49-60, 2010.

, Comment citer ce document

J. F. Sowa, Common logic controlled english, 2004.

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

D. Walton, Can argumentation help ai to understand explanation? KI, vol.22, pp.8-11, 2008.

D. Walton, Explanations and arguments based on practical reasoning, The AAAI Workshop on Explanation-Aware Computing (ExaCt'09), pp.72-83, 2009.

D. Walton, A dialogue system specification for explanation, Synthese, vol.182, pp.349-374, 2011.

D. Walton, A dialogue system for evaluating explanations, Argument Evaluation and Evidence, pp.69-116, 2016.

D. Walton and E. C. Krabbe, Commitment in dialogue, 1995.

D. N. Walton, Logical Dialogue-Games, 1984.

A. Wisniewski, The Posing of Questions: Logical Foundations of Erotetic Inferences. Synthese Library, 2013.