Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jorge Fandinno
@article{DBLP:journals/ai/AguadoCFPPV24,
author = {Felicidad Aguado and
Pedro Cabalar and
Jorge Fandinno and
David Pearce and
Gilberto P{\'{e}}rez and
Concepci{\'{o}}n Vidal},
title = {Syntactic {ASP} forgetting with forks},
journal = {Artif. Intell.},
volume = {326},
pages = {104033},
year = {2024},
url = {https://doi.org/10.1016/j.artint.2023.104033},
doi = {10.1016/J.ARTINT.2023.104033},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/AguadoCFPPV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/CabalarFSW23,
author = {Pedro Cabalar and
Jorge Fandinno and
Torsten Schaub and
Philipp Wanko},
title = {On the Semantics of Hybrid {ASP} Systems Based on Clingo},
journal = {Algorithms},
volume = {16},
number = {4},
pages = {185},
year = {2023},
url = {https://doi.org/10.3390/a16040185},
doi = {10.3390/A16040185},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithms/CabalarFSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FandinnoC23,
author = {Jorge Fandinno and
Luis Fari{\~{n}}as del Cerro},
title = {Abstract Argumentation and Answer Set Programming: Two Faces of Nelson's
Logic},
journal = {Theory Pract. Log. Program.},
volume = {23},
number = {2},
pages = {444--467},
year = {2023},
url = {https://doi.org/10.1017/S1471068422000114},
doi = {10.1017/S1471068422000114},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/FandinnoC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GelfondFB23,
author = {Michael Gelfond and
Jorge Fandinno and
Evgenii Balai},
title = {Embracing Background Knowledge in the Analysis of Actual Causality:
An Answer Set Programming Approach},
journal = {Theory Pract. Log. Program.},
volume = {23},
number = {4},
pages = {715--729},
year = {2023},
url = {https://doi.org/10.1017/s1471068423000248},
doi = {10.1017/S1471068423000248},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GelfondFB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FandinnoHLLT23,
author = {Jorge Fandinno and
Zachary Hansen and
Yuliya Lierler and
Vladimir Lifschitz and
Nathan Temple},
title = {External Behavior of a Logic Program and Verification of Refactoring},
journal = {Theory Pract. Log. Program.},
volume = {23},
number = {4},
pages = {933--947},
year = {2023},
url = {https://doi.org/10.1017/s1471068423000200},
doi = {10.1017/S1471068423000200},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FandinnoHLLT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FandinnoL23,
author = {Jorge Fandinno and
Vladimir Lifschitz},
title = {Positive Dependency Graphs Revisited},
journal = {Theory Pract. Log. Program.},
volume = {23},
number = {5},
pages = {1128--1137},
year = {2023},
url = {https://doi.org/10.1017/s1471068422000333},
doi = {10.1017/S1471068422000333},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FandinnoL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FandinnoL23,
author = {Jorge Fandinno and
Yuliya Lierler},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Splitting Answer Set Programs with Respect to Intensionality Statements},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {6338--6345},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i5.25780},
doi = {10.1609/AAAI.V37I5.25780},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FandinnoL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FandinnoM0S23,
author = {Jorge Fandinno and
Seemran Mishra and
Javier Romero and
Torsten Schaub},
editor = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
John P. Gallagher and
Roberto Giacobazzi},
title = {Answer Set Programming Made Easy},
booktitle = {Analysis, Verification and Transformation for Declarative Programming
and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13160},
pages = {133--150},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-31476-6\_7},
doi = {10.1007/978-3-031-31476-6\_7},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FandinnoM0S23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FandinnoH23,
author = {Jorge Fandinno and
Zachary Hansen},
editor = {Joaqu{\'{\i}}n Arias and
Sotiris Batsakis and
Wolfgang Faber and
Gopal Gupta and
Francesco Pacenza and
Emmanuel Papadakis and
Livio Robaldo and
Kilian R{\"{u}}ckschlo{\ss} and
Elmer Salazar and
Zeynep G. Saribatur and
Ilias Tachmazidis and
Felix Weitk{\"{a}}mper and
Adam Z. Wyner},
title = {Recursive Aggregates as Intensional Functions},
booktitle = {Proceedings of the International Conference on Logic Programming 2023
Workshops co-located with the 39th International Conference on Logic
Programming {(ICLP} 2023), London, United Kingdom, July 9th and 10th,
2023},
series = {{CEUR} Workshop Proceedings},
volume = {3437},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3437/paper9ASPOCP.pdf},
timestamp = {Mon, 18 Dec 2023 10:22:48 +0100},
biburl = {https://dblp.org/rec/conf/iclp/FandinnoH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FandinnoH23,
author = {Jorge Fandinno and
Markus Hecher},
title = {Treewidth-Aware Complexity for Evaluating Epistemic Logic Programs},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {3203--3211},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/357},
doi = {10.24963/IJCAI.2023/357},
timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FandinnoH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/FandinnoL23,
author = {Jorge Fandinno and
Vladimir Lifschitz},
editor = {Sarah Alice Gaggl and
Maria Vanina Martinez and
Magdalena Ortiz},
title = {On Heuer's Procedure for Verifying Strong Equivalence},
booktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}
2023, Dresden, Germany, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14281},
pages = {253--261},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43619-2\_18},
doi = {10.1007/978-3-031-43619-2\_18},
timestamp = {Thu, 28 Sep 2023 17:18:56 +0200},
biburl = {https://dblp.org/rec/conf/jelia/FandinnoL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FandinnoL23,
author = {Jorge Fandinno and
Vladimir Lifschitz},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Omega-Completeness of the Logic of Here-and-There and Strong Equivalence
of Logic Programs},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {240--251},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/24},
doi = {10.24963/KR.2023/24},
timestamp = {Tue, 05 Sep 2023 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/kr/FandinnoL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-17485,
author = {Jorge Fandinno and
Zachary Hansen and
Yuliya Lierler and
Vladimir Lifschitz and
Nathan Temple},
title = {External Behavior of a Logic Program and Verification of Refactoring},
journal = {CoRR},
volume = {abs/2305.17485},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.17485},
doi = {10.48550/ARXIV.2305.17485},
eprinttype = {arXiv},
eprint = {2305.17485},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-17485.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-03874,
author = {Michael Gelfond and
Jorge Fandinno and
Evgenii Balai},
title = {Embracing Background Knowledge in the Analysis of Actual Causality:
An Answer Set Programming Approach},
journal = {CoRR},
volume = {abs/2306.03874},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.03874},
doi = {10.48550/ARXIV.2306.03874},
eprinttype = {arXiv},
eprint = {2306.03874},
timestamp = {Tue, 13 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-03874.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AguadoCFPPV22,
author = {Felicidad Aguado and
Pedro Cabalar and
Jorge Fandinno and
David Pearce and
Gilberto P{\'{e}}rez and
Concepci{\'{o}}n Vidal},
title = {A polynomial reduction of forks into logic programs},
journal = {Artif. Intell.},
volume = {308},
pages = {103712},
year = {2022},
url = {https://doi.org/10.1016/j.artint.2022.103712},
doi = {10.1016/J.ARTINT.2022.103712},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/AguadoCFPPV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/FandinnoPVW22,
author = {Jorge Fandinno and
David Pearce and
Concepci{\'{o}}n Vidal and
Stefan Woltran},
title = {Comparing the Reasoning Capabilities of Equilibrium Theories and Answer
Set Programs},
journal = {Algorithms},
volume = {15},
number = {6},
pages = {201},
year = {2022},
url = {https://doi.org/10.3390/a15060201},
doi = {10.3390/A15060201},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithms/FandinnoPVW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FandinnoFG22,
author = {Jorge Fandinno and
Wolfgang Faber and
Michael Gelfond},
title = {Thirty years of Epistemic Specifications},
journal = {Theory Pract. Log. Program.},
volume = {22},
number = {6},
pages = {1043--1083},
year = {2022},
url = {https://doi.org/10.1017/S147106842100048X},
doi = {10.1017/S147106842100048X},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FandinnoFG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FandinnoHL22,
author = {Jorge Fandinno and
Zachary Hansen and
Yuliya Lierler},
title = {Axiomatization of Aggregates in Answer Set Programming},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {5634--5641},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i5.20504},
doi = {10.1609/AAAI.V36I5.20504},
timestamp = {Fri, 08 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FandinnoHL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AguadoCFPPV22,
author = {Felicidad Aguado and
Pedro Cabalar and
Jorge Fandinno and
David Pearce and
Gilberto P{\'{e}}rez and
Concepci{\'{o}}n Vidal},
editor = {Georg Gottlob and
Daniela Inclezan and
Marco Maratea},
title = {Syntactic {ASP} Forgetting with Forks},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 16th International
Conference, {LPNMR} 2022, Genova, Italy, September 5-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13416},
pages = {3--15},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15707-3\_1},
doi = {10.1007/978-3-031-15707-3\_1},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/AguadoCFPPV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/FandinnoHL22,
author = {Jorge Fandinno and
Zachary Hansen and
Yuliya Lierler},
editor = {Georg Gottlob and
Daniela Inclezan and
Marco Maratea},
title = {Arguing Correctness of {ASP} Programs with Aggregates},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 16th International
Conference, {LPNMR} 2022, Genova, Italy, September 5-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13416},
pages = {190--202},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15707-3\_15},
doi = {10.1007/978-3-031-15707-3\_15},
timestamp = {Sat, 10 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/FandinnoHL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2022w,
editor = {Joaqu{\'{\i}}n Arias and
Roberta Calegari and
Luke Dickens and
Wolfgang Faber and
Jorge Fandinno and
Gopal Gupta and
Markus Hecher and
Daniela Inclezan and
Emily LeBlanc and
Michael Morak and
Elmer Salazar and
Jessica Zangari},
title = {Proceedings of the International Conference on Logic Programming 2022
Workshops co-located with the 38th International Conference on Logic
Programming {(ICLP} 2022), Haifa, Israel, July 31st - August 1st,
2022},
series = {{CEUR} Workshop Proceedings},
volume = {3193},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3193},
urn = {urn:nbn:de:0074-3193-5},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/2022w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-14405,
author = {Jorge Fandinno and
Luis Fari{\~{n}}as del Cerro},
title = {Abstract argumentation and answer set programming: two faces of Nelson's
logic},
journal = {CoRR},
volume = {abs/2203.14405},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.14405},
doi = {10.48550/ARXIV.2203.14405},
eprinttype = {arXiv},
eprint = {2203.14405},
timestamp = {Mon, 04 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-14405.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-10789,
author = {Jorge Fandinno and
Vladimir Lifschitz},
title = {Verification of Locally Tight Programs},
journal = {CoRR},
volume = {abs/2204.10789},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.10789},
doi = {10.48550/ARXIV.2204.10789},
eprinttype = {arXiv},
eprint = {2204.10789},
timestamp = {Mon, 25 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-10789.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-08579,
author = {Jorge Fandinno and
Vladimir Lifschitz},
title = {Positive Dependency Graphs Revisited},
journal = {CoRR},
volume = {abs/2207.08579},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.08579},
doi = {10.48550/ARXIV.2207.08579},
eprinttype = {arXiv},
eprint = {2207.08579},
timestamp = {Tue, 19 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-08579.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/CayrolFCL21,
author = {Claudette Cayrol and
Jorge Fandinno and
Luis Fari{\~{n}}as del Cerro and
Marie{-}Christine Lagasquie{-}Schiex},
title = {Valid attacks in argumentation frameworks with recursive attacks},
journal = {Ann. Math. Artif. Intell.},
volume = {89},
number = {1-2},
pages = {53--101},
year = {2021},
url = {https://doi.org/10.1007/s10472-020-09693-4},
doi = {10.1007/S10472-020-09693-4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/CayrolFCL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CabalarFC21,
author = {Pedro Cabalar and
Jorge Fandinno and
Luis Fari{\~{n}}as del Cerro},
title = {Splitting Epistemic Logic Programs},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {3},
pages = {296--316},
year = {2021},
url = {https://doi.org/10.1017/S1471068420000058},
doi = {10.1017/S1471068420000058},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/CabalarFC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FandinnoLRSS21,
author = {Jorge Fandinno and
Fran{\c{c}}ois Laferri{\`{e}}re and
Javier Romero and
Torsten Schaub and
Tran Cao Son},
title = {Planning with Incomplete Information in Quantified Answer Set Programming},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {5},
pages = {663--679},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000259},
doi = {10.1017/S1471068421000259},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FandinnoLRSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FandinnoH21,
author = {Jorge Fandinno and
Markus Hecher},
title = {Treewidth-Aware Complexity in {ASP:} Not all Positive Cycles are Equally
Hard},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {6312--6320},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i7.16784},
doi = {10.1609/AAAI.V35I7.16784},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FandinnoH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-03061,
author = {Pedro Cabalar and
Jorge Fandinno and
Torsten Schaub and
Philipp Wanko},
title = {Towards a Semantics for Hybrid {ASP} systems},
journal = {CoRR},
volume = {abs/2108.03061},
year = {2021},
url = {https://arxiv.org/abs/2108.03061},
eprinttype = {arXiv},
eprint = {2108.03061},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-03061.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-06405,
author = {Jorge Fandinno and
Fran{\c{c}}ois Laferri{\`{e}}re and
Javier Romero and
Torsten Schaub and
Tran Cao Son},
title = {Planning with Incomplete Information in Quantified Answer Set Programming},
journal = {CoRR},
volume = {abs/2108.06405},
year = {2021},
url = {https://arxiv.org/abs/2108.06405},
eprinttype = {arXiv},
eprint = {2108.06405},
timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-06405.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-07669,
author = {Jorge Fandinno and
Wolfgang Faber and
Michael Gelfond},
title = {Thirty years of Epistemic Specifications},
journal = {CoRR},
volume = {abs/2108.07669},
year = {2021},
url = {https://arxiv.org/abs/2108.07669},
eprinttype = {arXiv},
eprint = {2108.07669},
timestamp = {Fri, 20 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-07669.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-06366,
author = {Jorge Fandinno and
Seemran Mishra and
Javier Romero and
Torsten Schaub},
title = {Answer Set Programming Made Easy},
journal = {CoRR},
volume = {abs/2111.06366},
year = {2021},
url = {https://arxiv.org/abs/2111.06366},
eprinttype = {arXiv},
eprint = {2111.06366},
timestamp = {Wed, 17 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-06366.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CabalarFC20,
author = {Pedro Cabalar and
Jorge Fandinno and
Luis Fari{\~{n}}as del Cerro},
title = {Autoepistemic answer set programming},
journal = {Artif. Intell.},
volume = {289},
pages = {103382},
year = {2020},
url = {https://doi.org/10.1016/j.artint.2020.103382},
doi = {10.1016/J.ARTINT.2020.103382},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/CabalarFC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FandinnoLLS20,
author = {Jorge Fandinno and
Vladimir Lifschitz and
Patrick L{\"{u}}hne and
Torsten Schaub},
title = {Verifying Tight Logic Programs with anthem and vampire},
journal = {Theory Pract. Log. Program.},
volume = {20},
number = {5},
pages = {735--750},
year = {2020},
url = {https://doi.org/10.1017/S1471068420000344},
doi = {10.1017/S1471068420000344},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FandinnoLLS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CabalarFL20,
author = {Pedro Cabalar and
Jorge Fandinno and
Yuliya Lierler},
title = {Modular Answer Set Programming as a Formal Specification Language},
journal = {Theory Pract. Log. Program.},
volume = {20},
number = {5},
pages = {767--782},
year = {2020},
url = {https://doi.org/10.1017/S1471068420000265},
doi = {10.1017/S1471068420000265},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CabalarFL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CabalarFG0S20,
author = {Pedro Cabalar and
Jorge Fandinno and
Javier Garea and
Javier Romero and
Torsten Schaub},
title = {eclingo : {A} Solver for Epistemic Logic Programs},
journal = {Theory Pract. Log. Program.},
volume = {20},
number = {6},
pages = {834--847},
year = {2020},
url = {https://doi.org/10.1017/S1471068420000228},
doi = {10.1017/S1471068420000228},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/CabalarFG0S20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/AguadoCFPV20,
author = {Felicidad Aguado and
Pedro Cabalar and
Jorge Fandinno and
Gilberto P{\'{e}}rez and
Concepci{\'{o}}n Vidal},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {Explicit Negation in Linear-Dynamic Equilibrium Logic},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {569--576},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200140},
doi = {10.3233/FAIA200140},
timestamp = {Thu, 16 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/AguadoCFPV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/CabalarFSW20,
author = {Pedro Cabalar and
Jorge Fandinno and
Torsten Schaub and
Philipp Wanko},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {An {ASP} Semantics for Constraints Involving Conditional Aggregates},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {664--671},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200152},
doi = {10.3233/FAIA200152},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/CabalarFSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CabalarFC20,
author = {Pedro Cabalar and
Jorge Fandinno and
Luis Fari{\~{n}}as del Cerro},
editor = {Carmine Dodaro and
George Aristidis Elder and
Wolfgang Faber and
Jorge Fandinno and
Martin Gebser and
Markus Hecher and
Emily LeBlanc and
Michael Morak and
Jessica Zangari},
title = {Dynamic Epistemic Logic with {ASP} Updates: Application to Conditional
Planning},
booktitle = {International Conference on Logic Programming 2020 Workshop Proceedings
co-located with 36th International Conference on Logic Programming
{(ICLP} 2020), Rende, Italy, September 18-19, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2678},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2678/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CabalarFC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CabalarFC20,
author = {Pedro Cabalar and
Jorge Fandinno and
Luis Fari{\~{n}}as del Cerro},
editor = {Christian Bessiere},
title = {On the Splitting Property for Epistemic Logic Programs (Extended Abstract)},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {4721--4725},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/653},
doi = {10.24963/IJCAI.2020/653},
timestamp = {Mon, 20 Jul 2020 12:38:52 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CabalarFC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AguadoCF0PV20,
author = {Felicidad Aguado and
Pedro Cabalar and
Jorge Fandinno and
David Pearce and
Gilberto P{\'{e}}rez and
Concepci{\'{o}}n Vidal},
editor = {Christian Bessiere},
title = {Forgetting Auxiliary Atoms in Forks (Extended Abstract)},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {5005--5009},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/696},
doi = {10.24963/IJCAI.2020/696},
timestamp = {Tue, 10 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AguadoCF0PV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CabalarFSW20,
author = {Pedro Cabalar and
Jorge Fandinno and
Torsten Schaub and
Philipp Wanko},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {A Uniform Treatment of Aggregates and Constraints in Hybrid {ASP}},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {193--202},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/20},
doi = {10.24963/KR.2020/20},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CabalarFSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-10242,
author = {Pedro Cabalar and
Jorge Fandinno and
Brais Mu{\~{n}}iz},
editor = {Francesco Ricca and
Alessandra Russo and
Sergio Greco and
Nicola Leone and
Alexander Artikis and
Gerhard Friedrich and
Paul Fodor and
Angelika Kimmig and
Francesca A. Lisi and
Marco Maratea and
Alessandra Mileo and
Fabrizio Riguzzi},
title = {A System for Explainable Answer Set Programming},
booktitle = {Proceedings 36th International Conference on Logic Programming (Technical
Communications), {ICLP} Technical Communications 2020, (Technical
Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020},
series = {{EPTCS}},
volume = {325},
pages = {124--136},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.325.19},
doi = {10.4204/EPTCS.325.19},
timestamp = {Wed, 04 Nov 2020 16:04:03 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-10242.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2020w,
editor = {Carmine Dodaro and
George Aristidis Elder and
Wolfgang Faber and
Jorge Fandinno and
Martin Gebser and
Markus Hecher and
Emily LeBlanc and
Michael Morak and
Jessica Zangari},
title = {International Conference on Logic Programming 2020 Workshop Proceedings
co-located with 36th International Conference on Logic Programming
{(ICLP} 2020), Rende, Italy, September 18-19, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2678},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2678},
urn = {urn:nbn:de:0074-2678-5},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/2020w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-06911,
author = {Pedro Cabalar and
Jorge Fandinno and
Torsten Schaub and
Philipp Wanko},
title = {An {ASP} semantics for Constraints involving Conditional Aggregates},
journal = {CoRR},
volume = {abs/2002.06911},
year = {2020},
url = {https://arxiv.org/abs/2002.06911},
eprinttype = {arXiv},
eprint = {2002.06911},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-06911.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-04176,
author = {Pedro Cabalar and
Jorge Fandinno and
Torsten Schaub and
Philipp Wanko},
title = {A Uniform Treatment of Aggregates and Constraints in Hybrid {ASP}},
journal = {CoRR},
volume = {abs/2003.04176},
year = {2020},
url = {https://arxiv.org/abs/2003.04176},
eprinttype = {arXiv},
eprint = {2003.04176},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-04176.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-04620,
author = {Markus Hecher and
Jorge Fandinno},
title = {Treewidth-Aware Complexity in {ASP:} Not all Positive Cycles are Equally
Hard},
journal = {CoRR},
volume = {abs/2007.04620},
year = {2020},
url = {https://arxiv.org/abs/2007.04620},
eprinttype = {arXiv},
eprint = {2007.04620},
timestamp = {Mon, 20 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-04620.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-02015,
author = {Pedro Cabalar and
Jorge Fandinno and
Yuliya Lierler},
title = {Modular Answer Set Programming as a Formal Specification Language},
journal = {CoRR},
volume = {abs/2008.02015},
year = {2020},
url = {https://arxiv.org/abs/2008.02015},
eprinttype = {arXiv},
eprint = {2008.02015},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-02015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-02018,
author = {Pedro Cabalar and
Jorge Fandinno and
Javier Garea and
Javier Romero and
Torsten Schaub},
title = {eclingo: {A} solver for Epistemic Logic Programs},
journal = {CoRR},
volume = {abs/2008.02018},
year = {2020},
url = {https://arxiv.org/abs/2008.02018},
eprinttype = {arXiv},
eprint = {2008.02018},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-02018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-02025,
author = {Jorge Fandinno and
Vladimir Lifschitz and
Patrick L{\"{u}}hne and
Torsten Schaub},
title = {Verifying Tight Logic Programs with anthem and Vampire},
journal = {CoRR},
volume = {abs/2008.02025},
year = {2020},
url = {https://arxiv.org/abs/2008.02025},
eprinttype = {arXiv},
eprint = {2008.02025},
timestamp = {Fri, 14 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-02025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CabalarFSS19,
author = {Pedro Cabalar and
Jorge Fandinno and
Torsten Schaub and
Sebastian Schellhorn},
title = {Gelfond-Zhang aggregates as propositional formulas},
journal = {Artif. Intell.},
volume = {274},
pages = {26--43},
year = {2019},
url = {https://doi.org/10.1016/j.artint.2018.10.007},
doi = {10.1016/J.ARTINT.2018.10.007},
timestamp = {Fri, 05 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/CabalarFSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AguadoCFPPV19,
author = {Felicidad Aguado and
Pedro Cabalar and
Jorge Fandinno and
David Pearce and
Gilberto P{\'{e}}rez and
Concepci{\'{o}}n Vidal},
title = {Forgetting auxiliary atoms in forks},
journal = {Artif. Intell.},
volume = {275},
pages = {575--601},
year = {2019},
url = {https://doi.org/10.1016/j.artint.2019.07.005},
doi = {10.1016/J.ARTINT.2019.07.005},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/AguadoCFPPV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/argcom/DvorakFW19,
author = {Wolfgang Dvor{\'{a}}k and
Jorge Fandinno and
Stefan Woltran},
title = {On the expressive power of collective attacks},
journal = {Argument Comput.},
volume = {10},
number = {2},
pages = {191--230},
year = {2019},
url = {https://doi.org/10.3233/AAC-190457},
doi = {10.3233/AAC-190457},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/argcom/DvorakFW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FandinnoS19,
author = {Jorge Fandinno and
Claudia Schulz},
title = {Answering the "why" in answer set programming - {A} survey
of explanation approaches},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {2},
pages = {114--203},
year = {2019},
url = {https://doi.org/10.1017/S1471068418000534},
doi = {10.1017/S1471068418000534},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FandinnoS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Fandinno19,
author = {Jorge Fandinno},
title = {Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {671--687},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000127},
doi = {10.1017/S1471068419000127},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Fandinno19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AguadoCF0PV19,
author = {Felicidad Aguado and
Pedro Cabalar and
Jorge Fandinno and
David Pearce and
Gilberto P{\'{e}}rez and
Concepci{\'{o}}n Vidal},
title = {Revisiting Explicit Negation in Answer Set Programming},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {908--924},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000267},
doi = {10.1017/S1471068419000267},
timestamp = {Tue, 10 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/AguadoCF0PV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/CabalarFSS19,
author = {Pedro Cabalar and
Jorge Fandinno and
Torsten Schaub and
Sebastian Schellhorn},
editor = {Francesco Calimeri and
Nicola Leone and
Marco Manna},
title = {Lower Bound Founded Logic of Here-and-There},
booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
2019, Rende, Italy, May 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11468},
pages = {509--525},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19570-0\_34},
doi = {10.1007/978-3-030-19570-0\_34},
timestamp = {Fri, 27 Mar 2020 08:53:33 +0100},
biburl = {https://dblp.org/rec/conf/jelia/CabalarFSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CabalarFC19,
author = {Pedro Cabalar and
Jorge Fandinno and
Luis Fari{\~{n}}as del Cerro},
editor = {Marcello Balduccini and
Yuliya Lierler and
Stefan Woltran},
title = {Splitting Epistemic Logic Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 15th International
Conference, {LPNMR} 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11481},
pages = {120--133},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20528-7\_10},
doi = {10.1007/978-3-030-20528-7\_10},
timestamp = {Thu, 23 May 2019 13:13:16 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/CabalarFC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CabalarFC19a,
author = {Pedro Cabalar and
Jorge Fandinno and
Luis Fari{\~{n}}as del Cerro},
editor = {Marcello Balduccini and
Yuliya Lierler and
Stefan Woltran},
title = {Founded World Views with Autoepistemic Equilibrium Logic},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 15th International
Conference, {LPNMR} 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11481},
pages = {134--147},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20528-7\_11},
doi = {10.1007/978-3-030-20528-7\_11},
timestamp = {Thu, 23 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/CabalarFC19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08248,
author = {Felicidad Aguado and
Pedro Cabalar and
Jorge Fandinno and
Brais Mu{\~{n}}iz and
Gilberto P{\'{e}}rez and
Francisco Su{\'{a}}rez},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {A Rule-Based System for Explainable Donor-Patient Matching in Liver
Transplantation},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {266--272},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.31},
doi = {10.4204/EPTCS.306.31},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08248.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-07741,
author = {Pedro Cabalar and
Jorge Fandinno and
Luis Fari{\~{n}}as del Cerro},
title = {Founded World Views with Autoepistemic Equilibrium Logic},
journal = {CoRR},
volume = {abs/1902.07741},
year = {2019},
url = {http://arxiv.org/abs/1902.07741},
eprinttype = {arXiv},
eprint = {1902.07741},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-07741.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-10621,
author = {Pedro Cabalar and
Jorge Fandinno and
Luis Fari{\~{n}}as del Cerro},
title = {Dynamic Epistemic Logic with {ASP} Updates: Application to Conditional
Planning},
journal = {CoRR},
volume = {abs/1905.10621},
year = {2019},
url = {http://arxiv.org/abs/1905.10621},
eprinttype = {arXiv},
eprint = {1905.10621},
timestamp = {Mon, 03 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-10621.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-09247,
author = {Jorge Fandinno},
title = {Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting},
journal = {CoRR},
volume = {abs/1907.09247},
year = {2019},
url = {http://arxiv.org/abs/1907.09247},
eprinttype = {arXiv},
eprint = {1907.09247},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-09247.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-11467,
author = {Felicidad Aguado and
Pedro Cabalar and
Jorge Fandinno and
David Pearce and
Gilberto P{\'{e}}rez and
Concepci{\'{o}}n Vidal},
title = {Revisiting Explicit Negation in Answer Set Programming},
journal = {CoRR},
volume = {abs/1907.11467},
year = {2019},
url = {http://arxiv.org/abs/1907.11467},
eprinttype = {arXiv},
eprint = {1907.11467},
timestamp = {Tue, 10 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-11467.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-07278,
author = {Emmanuelle{-}Anna Dietz Saldanha and
Jorge Fandinno},
title = {On the Relation between Weak Completion Semantics and Answer Set Semantics},
journal = {CoRR},
volume = {abs/1910.07278},
year = {2019},
url = {http://arxiv.org/abs/1910.07278},
eprinttype = {arXiv},
eprint = {1910.07278},
timestamp = {Tue, 22 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-07278.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-09211,
author = {Jorge Fandinno and
Johannes Klaus Fichte},
title = {Proceedings of the twelfth Workshop on Answer Set Programming and
Other Computing Paradigms 2019},
journal = {CoRR},
volume = {abs/1912.09211},
year = {2019},
url = {http://arxiv.org/abs/1912.09211},
eprinttype = {arXiv},
eprint = {1912.09211},
timestamp = {Fri, 03 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-09211.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CabalarFCP18,
author = {Pedro Cabalar and
Jorge Fandinno and
Luis Fari{\~{n}}as del Cerro and
David Pearce},
title = {Functional {ASP} with Intensional Sets: Application to Gelfond-Zhang
Aggregates},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {390--405},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000169},
doi = {10.1017/S1471068418000169},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CabalarFCP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/CayrolFCL18,
author = {Claudette Cayrol and
Jorge Fandinno and
Luis Fari{\~{n}}as del Cerro and
Marie{-}Christine Lagasquie{-}Schiex},
editor = {Sanjay Modgil and
Katarzyna Budzynska and
John Lawrence},
title = {Structure-Based Semantics of Argumentation Frameworks with Higher-Order
Attacks and Supports},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2018, Warsaw,
Poland, 12-14 September 2018},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {305},
pages = {29--36},
publisher = {{IOS} Press},
year = {2018},
url = {https://doi.org/10.3233/978-1-61499-906-5-29},
doi = {10.3233/978-1-61499-906-5-29},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/comma/CayrolFCL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/DvorakFW18,
author = {Wolfgang Dvor{\'{a}}k and
Jorge Fandinno and
Stefan Woltran},
editor = {Sanjay Modgil and
Katarzyna Budzynska and
John Lawrence},
title = {On the Expressive Power of Collective Attacks},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2018, Warsaw,
Poland, 12-14 September 2018},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {305},
pages = {49--60},
publisher = {{IOS} Press},
year = {2018},
url = {https://doi.org/10.3233/978-1-61499-906-5-49},
doi = {10.3233/978-1-61499-906-5-49},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comma/DvorakFW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/CayrolFCL18,
author = {Claudette Cayrol and
Jorge Fandinno and
Luis Fari{\~{n}}as del Cerro and
Marie{-}Christine Lagasquie{-}Schiex},
editor = {Flavio Ferrarotti and
Stefan Woltran},
title = {Argumentation Frameworks with Recursive Attacks and Evidence-Based
Supports},
booktitle = {Foundations of Information and Knowledge Systems - 10th International
Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10833},
pages = {150--169},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90050-6\_9},
doi = {10.1007/978-3-319-90050-6\_9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/CayrolFCL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FandinnoC18,
author = {Jorge Fandinno and
Luis Fari{\~{n}}as del Cerro},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Constructive Logic Covers Argumentation and Logic Programming},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {128--137},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18009},
timestamp = {Tue, 09 Feb 2021 08:33:51 +0100},
biburl = {https://dblp.org/rec/conf/kr/FandinnoC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-00660,
author = {Pedro Cabalar and
Jorge Fandinno and
Luis Fari{\~{n}}as del Cerro and
David Pearce},
title = {Functional {ASP} with Intensional Sets: Application to Gelfond-Zhang
Aggregates},
journal = {CoRR},
volume = {abs/1805.00660},
year = {2018},
url = {http://arxiv.org/abs/1805.00660},
eprinttype = {arXiv},
eprint = {1805.00660},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-00660.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-08034,
author = {Jorge Fandinno and
Claudia Schulz},
title = {Answering the "why" in Answer Set Programming - {A} Survey
of Explanation Approaches},
journal = {CoRR},
volume = {abs/1809.08034},
year = {2018},
url = {http://arxiv.org/abs/1809.08034},
eprinttype = {arXiv},
eprint = {1809.08034},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-08034.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-03508,
author = {Jorge Fandinno and
Johannes Klaus Fichte},
title = {Proceedings of the elevent Workshop on Answer Set Programming and
Other Computing Paradigms 2018},
journal = {CoRR},
volume = {abs/1812.03508},
year = {2018},
url = {http://arxiv.org/abs/1812.03508},
eprinttype = {arXiv},
eprint = {1812.03508},
timestamp = {Tue, 09 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-03508.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-08763,
author = {Pedro Cabalar and
Jorge Fandinno and
Luis Fari{\~{n}}as del Cerro},
title = {Splitting Epistemic Logic Programs},
journal = {CoRR},
volume = {abs/1812.08763},
year = {2018},
url = {http://arxiv.org/abs/1812.08763},
eprinttype = {arXiv},
eprint = {1812.08763},
timestamp = {Wed, 02 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-08763.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CabalarF17,
author = {Pedro Cabalar and
Jorge Fandinno},
title = {Enablers and inhibitors in causal justifications of logic programs},
journal = {Theory Pract. Log. Program.},
volume = {17},
number = {1},
pages = {49--74},
year = {2017},
url = {https://doi.org/10.1017/S1471068416000107},
doi = {10.1017/S1471068416000107},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CabalarF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/commonsense/CayrolFCL17,
author = {Claudette Cayrol and
Jorge Fandinno and
Luis Fari{\~{n}}as del Cerro and
Marie{-}Christine Lagasquie{-}Schiex},
editor = {Andrew S. Gordon and
Rob Miller and
Gy{\"{o}}rgy Tur{\'{a}}n},
title = {Valid Attacks in Argumentation Frameworks with Recursive Attacks},
booktitle = {Proceedings of the Thirteenth International Symposium on Commonsense
Reasoning, {COMMONSENSE} 2017, London, UK, November 6-8, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {2052},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2052/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/commonsense/CayrolFCL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/CabalarFC0V17,
author = {Pedro Cabalar and
Jorge Fandinno and
Luis Fari{\~{n}}as del Cerro and
David Pearce and
Agust{\'{\i}}n Valverde},
editor = {Eug{\'{e}}nio C. Oliveira and
Jo{\~{a}}o Gama and
Zita A. Vale and
Henrique Lopes Cardoso},
title = {On the Properties of Atom Definability and Well-Supportedness in Logic
Programming},
booktitle = {Progress in Artificial Intelligence - 18th {EPIA} Conference on Artificial
Intelligence, {EPIA} 2017, Porto, Portugal, September 5-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10423},
pages = {624--636},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65340-2\_51},
doi = {10.1007/978-3-319-65340-2\_51},
timestamp = {Mon, 30 Nov 2020 08:47:29 +0100},
biburl = {https://dblp.org/rec/conf/epia/CabalarFC0V17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AguadoCF0PV17,
author = {Felicidad Aguado and
Pedro Cabalar and
Jorge Fandinno and
David Pearce and
Gilberto P{\'{e}}rez and
Concepci{\'{o}}n Vidal},
editor = {Bart Bogaerts and
Amelia Harrison},
title = {Forgetting Auxiliary Atoms in Forks},
booktitle = {Proceedings of the 10th Workshop on Answer Set Programming and Other
Computing Paradigms co-located with the 14th International Conference
on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017,
Espoo, Finland, July 3, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1868},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1868/p7.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:44 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/AguadoCF0PV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CabalarFSS17,
author = {Pedro Cabalar and
Jorge Fandinno and
Torsten Schaub and
Sebastian Schellhorn},
editor = {Marcello Balduccini and
Tomi Janhunen},
title = {Gelfond-Zhang Aggregates as Propositional Formulas},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 14th International
Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10377},
pages = {117--131},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61660-5\_12},
doi = {10.1007/978-3-319-61660-5\_12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/CabalarFSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Fandinno16,
author = {Jorge Fandinno},
title = {Towards Deriving Conclusions from Cause-effect Relations},
journal = {Fundam. Informaticae},
volume = {147},
number = {1},
pages = {93--131},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1399},
doi = {10.3233/FI-2016-1399},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Fandinno16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CabalarF16,
author = {Pedro Cabalar and
Jorge Fandinno},
title = {Justifications for programs with disjunctive and causal-choice rules},
journal = {Theory Pract. Log. Program.},
volume = {16},
number = {5-6},
pages = {587--603},
year = {2016},
url = {https://doi.org/10.1017/S1471068416000454},
doi = {10.1017/S1471068416000454},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CabalarF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Fandinno16,
author = {Jorge Fandinno},
title = {Deriving conclusions from non-monotonic cause-effect relations},
journal = {Theory Pract. Log. Program.},
volume = {16},
number = {5-6},
pages = {670--687},
year = {2016},
url = {https://doi.org/10.1017/S1471068416000466},
doi = {10.1017/S1471068416000466},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Fandinno16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CabalarF16,
author = {Pedro Cabalar and
Jorge Fandinno},
title = {Enablers and Inhibitors in Causal Justifications of Logic Programs},
journal = {CoRR},
volume = {abs/1602.06897},
year = {2016},
url = {http://arxiv.org/abs/1602.06897},
eprinttype = {arXiv},
eprint = {1602.06897},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CabalarF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Fandinno16,
author = {Jorge Fandinno},
title = {Deriving Conclusions From Non-Monotonic Cause-Effect Relations},
journal = {CoRR},
volume = {abs/1608.00867},
year = {2016},
url = {http://arxiv.org/abs/1608.00867},
eprinttype = {arXiv},
eprint = {1608.00867},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Fandinno16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CabalarF16a,
author = {Pedro Cabalar and
Jorge Fandinno},
title = {Justifications for Programs with Disjunctive and Causal-choice Rules},
journal = {CoRR},
volume = {abs/1608.00870},
year = {2016},
url = {http://arxiv.org/abs/1608.00870},
eprinttype = {arXiv},
eprint = {1608.00870},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CabalarF16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CabalarF14,
author = {Pedro Cabalar and
Jorge Fandi{\~{n}}o},
editor = {Thomas Eiter and
Hannes Strass and
Miroslaw Truszczynski and
Stefan Woltran},
title = {Explaining Preferences and Preferring Explanations},
booktitle = {Advances in Knowledge Representation, Logic Programming, and Abstract
Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion
of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9060},
pages = {218--232},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-14726-0\_15},
doi = {10.1007/978-3-319-14726-0\_15},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CabalarF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CabalarF15,
author = {Pedro Cabalar and
Jorge Fandinno},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {Enablers and Inhibitors in Causal Justifications of Logic Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {199--212},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_18},
doi = {10.1007/978-3-319-23264-5\_18},
timestamp = {Sun, 02 Jun 2019 21:23:45 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/CabalarF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CabalarFF14,
author = {Pedro Cabalar and
Jorge Fandinno and
Michael Fink},
title = {Causal Graph Justifications of Logic Programs},
journal = {Theory Pract. Log. Program.},
volume = {14},
number = {4-5},
pages = {603--618},
year = {2014},
url = {https://doi.org/10.1017/S1471068414000234},
doi = {10.1017/S1471068414000234},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CabalarFF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/CabalarFF14,
author = {Pedro Cabalar and
Jorge Fandi{\~{n}}o and
Michael Fink},
editor = {Eduardo Ferm{\'{e}} and
Jo{\~{a}}o Leite},
title = {A Complexity Assessment for Queries Involving Sufficient and Necessary
Causes},
booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8761},
pages = {297--310},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11558-0\_21},
doi = {10.1007/978-3-319-11558-0\_21},
timestamp = {Fri, 07 Aug 2020 08:55:19 +0200},
biburl = {https://dblp.org/rec/conf/jelia/CabalarFF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CabalarFF14,
author = {Pedro Cabalar and
Jorge Fandinno and
Michael Fink},
title = {Causal Graph Justifications of Logic Programs},
journal = {CoRR},
volume = {abs/1409.7281},
year = {2014},
url = {http://arxiv.org/abs/1409.7281},
eprinttype = {arXiv},
eprint = {1409.7281},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CabalarFF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Fandinno13,
author = {Jorge Fandinno},
title = {Algebraic Approach to Causal Logic Programs},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013033.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Fandinno13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CabalarF13,
author = {Pedro Cabalar and
Jorge Fandinno},
title = {An Algebra of Causal Chains},
journal = {CoRR},
volume = {abs/1312.6134},
year = {2013},
url = {http://arxiv.org/abs/1312.6134},
eprinttype = {arXiv},
eprint = {1312.6134},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CabalarF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-03-19 02:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
