Jorge Fandinno
Title
Cited by
Cited by
Year
Answering the “why” in answer set programming–a survey of explanation approaches
J Fandinno, C Schulz
Theory and Practice of Logic Programming 19 (2), 114-203, 2019
272019
Causal graph justifications of logic programs
P Cabalar, J Fandinno, M Fink
arXiv preprint arXiv:1409.7281, 2014
242014
Valid attacks in argumentation frameworks with recursive attacks
C Cayrol, J Fandinno, LF del Cerro, MC Lagasquie-Schiex
Annals of Mathematics and Artificial Intelligence 89 (1), 53-101, 2021
152021
On the Expressive Power of Collective Attacks.
W Dvorák, J Fandinno, S Woltran
COMMA, 49-60, 2018
152018
Forgetting auxiliary atoms in forks
F Aguado, P Cabalar, J Fandinno, D Pearce, G Pérez, C Vidal
Artificial Intelligence 275, 575-601, 2019
122019
Splitting epistemic logic programs
P Cabalar, J Fandinno, LF del Cerro
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2019
122019
Argumentation frameworks with recursive attacks and evidence-based supports
C Cayrol, J Fandinno, LF del Cerro, MC Lagasquie-Schiex
International Symposium on Foundations of Information and Knowledge Systems …, 2018
122018
Founded world views with autoepistemic equilibrium logic
P Cabalar, J Fandinno, F del Cerro Luis
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2019
112019
A complexity assessment for queries involving sufficient and necessary causes
P Cabalar, J Fandińo, M Fink
European Workshop on Logics in Artificial Intelligence, 297-310, 2014
92014
An algebra of causal chains
P Cabalar, J Fandinno
arXiv preprint arXiv:1312.6134, 2013
92013
Gelfond–Zhang aggregates as propositional formulas
P Cabalar, J Fandinno, T Schaub, S Schellhorn
Artificial Intelligence 274, 26-43, 2019
72019
Functional ASP with intensional sets: Application to Gelfond-Zhang aggregates
P Cabalar, J Fandinno, LF Del Cerro, D Pearce
Theory and Practice of Logic Programming 18 (3-4), 390-405, 2018
72018
Founded (auto) epistemic equilibrium logic satisfies epistemic splitting
J Fandinno
Theory and Practice of Logic Programming 19 (5-6), 671-687, 2019
62019
Structure-based semantics of argumentation frameworks with higher-order attacks and supports
CCJ FANDINNO, LFDEL CERRO, MC LAGASQUIE-SCHIEX
Computational Models of Argument: Proceedings of COMMA 2018 305, 29, 2018
62018
Enablers and inhibitors in causal justifications of logic programs
P Cabalar, J Fandinno
Theory and Practice of Logic Programming 17 (1), 49-74, 2017
62017
Deriving conclusions from non-monotonic cause-effect relations
J Fandinno
arXiv preprint arXiv:1608.00867, 2016
62016
Towards deriving conclusions from cause-effect relations
J Fandinno
Fundamenta Informaticae 147 (1), 93-131, 2016
62016
Verifying Tight Logic Programs with anthem and vampire
J Fandinno, V Lifschitz, P Lühne, T Schaub
Theory and Practice of Logic Programming 20 (5), 735-750, 2020
42020
Constructive logic covers argumentation and logic programming
J Fandinno, LF del Cerro
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
42018
eclingo: A solver for Epistemic Logic Programs
P Cabalar, J Fandinno, J Garea, J Romero, T Schaub
Theory and Practice of Logic Programming 20 (6), 834-847, 2020
32020
The system can't perform the operation now. Try again later.
Articles 1–20