| 1 |
Logic-based argumentation with existential rules
|
|
|
|
In: ISSN: 0888-613X ; International Journal of Approximate Reasoning ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01596666 ; International Journal of Approximate Reasoning, Elsevier, 2017, 90, pp.76-106. ⟨10.1016/j.ijar.2017.07.004⟩ (2017)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
An empirical evaluation of argumentation in explaining inconsistency tolerant query answering
|
|
|
|
In: 30th International Workshop on Description Logics ; DL: Description Logics ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01586155 ; DL: Description Logics, Jul 2017, Montpellier, France ; https://project.inria.fr/dl2017/ (2017)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Explanatory dialogues with argumentative faculties over inconsistent knowledge bases ; Dialogue Explicatif et Argumentation sur des Bases de Connaissances Incohérentes
|
|
|
|
In: ISSN: 0957-4174 ; Expert Systems with Applications ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01596665 ; Expert Systems with Applications, Elsevier, 2017, 80, pp.244-262. ⟨10.1016/j.eswa.2017.03.009⟩ (2017)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-based Argumentation Frameworks
|
|
|
|
In: 22nd European Conference on Artificial Intelligence ; ECAI : European Conference on Artificial Intelligence ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01333368 ; ECAI : European Conference on Artificial Intelligence, Aug 2016, The Hague, Netherlands. pp.55-63, ⟨10.3233/978-1-61499-672-9-55⟩ ; http://www.ecai2016.org/ (2016)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Dialectical Characterization of Consistent Query Explanation with Existential Rules
|
|
|
|
In: 29th International Florida Artificial Intelligence Research Society Conference ; FLAIRS: Florida Artificial Intelligence Research Society ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01328679 ; FLAIRS: Florida Artificial Intelligence Research Society, May 2016, Key Largo, United States ; http://www.flairs-29.info (2016)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
DALEK: a Tool for Dialectical Explanations in Inconsistent Knowledge Bases
|
|
|
|
In: 6th International Conference on Computational Models of Argument ; COMMA: Computational Models of Argument ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01337019 ; COMMA: Computational Models of Argument, Sep 2016, Potsdam, Germany. pp.461-462, ⟨10.3233/978-1-61499-686-6-461⟩ ; http://www.ling.uni-potsdam.de/comma2016/ (2016)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Formalizing Explanatory Dialogues
|
|
|
|
In: 9th International Conference on Scalable Uncertainty Management ; SUM: Scalable Uncertainty Management ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01164705 ; SUM: Scalable Uncertainty Management, Sep 2015, Quebec City, Canada. pp.282-297, ⟨10.1007/978-3-319-23540-0_19⟩ ; http://www.fernuni-hagen.de/wbs/sum2015/ (2015)
|
|
BASE
|
|
Show details
|
|
|
|
|
