Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Wolfgang Faber 0001
@article{DBLP:journals/tplp/QureshiF24,
author = {Haya Majid Qureshi and
Wolfgang Faber},
title = {Evaluating Datalog Tools for Meta-reasoning over {OWL} 2 {QL}},
journal = {Theory Pract. Log. Program.},
volume = {24},
number = {2},
pages = {368--393},
year = {2024},
url = {https://doi.org/10.1017/s1471068424000073},
doi = {10.1017/S1471068424000073},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/QureshiF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-02978,
author = {Haya Majid Qureshi and
Wolfgang Faber},
title = {Evaluating Datalog Tools for Meta-reasoning over {OWL} 2 {QL}},
journal = {CoRR},
volume = {abs/2402.02978},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.02978},
doi = {10.48550/ARXIV.2402.02978},
eprinttype = {arXiv},
eprint = {2402.02978},
timestamp = {Mon, 12 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-02978.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlvianoFG23,
author = {Mario Alviano and
Wolfgang Faber and
Martin Gebser},
title = {Aggregate Semantics for Propositional Answer Set Programs},
journal = {Theory Pract. Log. Program.},
volume = {23},
number = {1},
pages = {157--194},
year = {2023},
url = {https://doi.org/10.1017/S1471068422000047},
doi = {10.1017/S1471068422000047},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlvianoFG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FaberMR23,
author = {Wolfgang Faber and
Giuseppe Mazzotta and
Francesco Ricca},
title = {An Efficient Solver for {ASP(Q)}},
journal = {Theory Pract. Log. Program.},
volume = {23},
number = {4},
pages = {948--964},
year = {2023},
url = {https://doi.org/10.1017/s1471068423000121},
doi = {10.1017/S1471068423000121},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FaberMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/0001M23,
author = {Wolfgang Faber and
Michael Morak},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Evaluating Epistemic Logic Programs via Answer Set Programming with
Quantifiers},
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 = {6322--6329},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i5.25778},
doi = {10.1609/AAAI.V37I5.25778},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/0001M23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/0001MR23,
author = {Wolfgang Faber and
Giuseppe Mazzotta and
Francesco Ricca},
editor = {Roberto Basili and
Domenico Lembo and
Carla Limongelli and
Andrea Orlandini},
title = {Enhancing {ASP(Q)} evaluation},
booktitle = {Proceedings of the Discussion Papers - 22nd International Conference
of the Italian Association for Artificial Intelligence (AIxIA 2023
{DP)} co-located with 22nd International Conference of the Italian
Association for Artificial Intelligence (AIxIA 2023), Rome, Italy,
November 6-9, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3537},
pages = {38--46},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3537/paper5.pdf},
timestamp = {Wed, 20 Dec 2023 07:50:25 +0100},
biburl = {https://dblp.org/rec/conf/aiia/0001MR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/QureshiF23,
author = {Haya Majid Qureshi and
Wolfgang Faber},
editor = {Michael Hanus and
Daniela Inclezan},
title = {Using Hybrid Knowledge Bases for Meta-reasoning over {OWL} 2 {QL}},
booktitle = {Practical Aspects of Declarative Languages - 25th International Symposium,
{PADL} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13880},
pages = {216--231},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-24841-2\_14},
doi = {10.1007/978-3-031-24841-2\_14},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/QureshiF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2023w,
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 = {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},
urn = {urn:nbn:de:0074-3437-4},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/2023w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-10021,
author = {Wolfgang Faber and
Giuseppe Mazzotta and
Francesco Ricca},
title = {An efficient solver for {ASP(Q)}},
journal = {CoRR},
volume = {abs/2305.10021},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.10021},
doi = {10.48550/ARXIV.2305.10021},
eprinttype = {arXiv},
eprint = {2305.10021},
timestamp = {Wed, 24 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-10021.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/datalog/Qureshi022,
author = {Haya Majid Qureshi and
Wolfgang Faber},
editor = {Mario Alviano and
Andreas Pieris},
title = {Meta-reasoning over {OWL} 2 {QL} using Datalog},
booktitle = {Proceedings of the 4th International Workshop on the Resurgence of
Datalog in Academia and Industry (Datalog-2.0 2022) co-located with
the 16th International Conference on Logic Programming and Nonmonotonic
Reasoning {(LPNMR} 2022), Genova-Nervi, Italy, September 5, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {181--187},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/short7.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:45 +0100},
biburl = {https://dblp.org/rec/conf/datalog/Qureshi022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/0001M22,
author = {Wolfgang Faber and
Michael Morak},
editor = {Pierangela Bruno and
Francesco Calimeri and
Francesco Cauteruccio and
Marco Maratea and
Giorgio Terracina and
Mauro Vallati},
title = {Evaluating Epistemic Logic Programs via Answer Set Programming with
Quantifiers},
booktitle = {Joint Proceedings of the 1st International Workshop on HYbrid Models
for Coupling Deductive and Inductive ReAsoning {(HYDRA} 2022) and
the 29th {RCRA} Workshop on Experimental Evaluation of Algorithms
for Solving Problems with Combinatorial Explosion {(RCRA} 2022) co-located
with the 16th International Conference on Logic Programming and Non-monotonic
Reasoning {(LPNMR} 2022), Genova Nervi, Italy, September 5, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3281},
pages = {78--89},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3281/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:44 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/0001M22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/FaberMC22,
author = {Wolfgang Faber and
Michael Morak and
Luk{\'{a}}s Chrpa},
editor = {James Cheney and
Simona Perri},
title = {Determining Action Reversibility in {STRIPS} Using Answer Set Programming
with Quantifiers},
booktitle = {Practical Aspects of Declarative Languages - 24th International Symposium,
{PADL} 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13165},
pages = {42--56},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-94479-7\_4},
doi = {10.1007/978-3-030-94479-7\_4},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/FaberMC22.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/ai/AmendolaDFR21,
author = {Giovanni Amendola and
Carmine Dodaro and
Wolfgang Faber and
Francesco Ricca},
title = {Paracoherent answer set computation},
journal = {Artif. Intell.},
volume = {299},
pages = {103519},
year = {2021},
url = {https://doi.org/10.1016/j.artint.2021.103519},
doi = {10.1016/J.ARTINT.2021.103519},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/AmendolaDFR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FaberMC21,
author = {Wolfgang Faber and
Michael Morak and
Luk{\'{a}}s Chrpa},
title = {Determining Action Reversibility in {STRIPS} Using Answer Set and
Epistemic Logic Programming},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {5},
pages = {646--662},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000429},
doi = {10.1017/S1471068421000429},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FaberMC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Chrpa0M21,
author = {Luk{\'{a}}s Chrpa and
Wolfgang Faber and
Michael Morak},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Universal and Uniform Action Reversibility},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {651--654},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/63},
doi = {10.24963/KR.2021/63},
timestamp = {Wed, 03 Nov 2021 12:46:57 +0100},
biburl = {https://dblp.org/rec/conf/kr/Chrpa0M21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/QureshiF21,
author = {Haya Majid Qureshi and
Wolfgang Faber},
editor = {Sotiris Moschoyiannis and
Rafael Pe{\~{n}}aloza and
Jan Vanthienen and
Ahmet Soylu and
Dumitru Roman},
title = {An Evaluation of Meta-reasoning over {OWL} 2 {QL}},
booktitle = {Rules and Reasoning - 5th International Joint Conference, RuleML+RR
2021, Leuven, Belgium, September 13-15, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12851},
pages = {218--233},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91167-6\_15},
doi = {10.1007/978-3-030-91167-6\_15},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/QureshiF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jelia/2021,
editor = {Wolfgang Faber and
Gerhard Friedrich and
Martin Gebser and
Michael Morak},
title = {Logics in Artificial Intelligence - 17th European Conference, {JELIA}
2021, Virtual Event, May 17-20, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12678},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-75775-5},
doi = {10.1007/978-3-030-75775-5},
isbn = {978-3-030-75774-8},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-05428,
author = {Wolfgang Faber and
Michael Morak and
Luk{\'{a}}s Chrpa},
title = {Determining ActionReversibility in {STRIPS} Using Answer Set and Epistemic
Logic Programming},
journal = {CoRR},
volume = {abs/2108.05428},
year = {2021},
url = {https://arxiv.org/abs/2108.05428},
eprinttype = {arXiv},
eprint = {2108.05428},
timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-05428.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-2109-08662,
author = {Mario Alviano and
Wolfgang Faber and
Martin Gebser},
title = {Aggregate Semantics for Propositional Answer Set Programs},
journal = {CoRR},
volume = {abs/2109.08662},
year = {2021},
url = {https://arxiv.org/abs/2109.08662},
eprinttype = {arXiv},
eprint = {2109.08662},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08662.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CalimeriFGIKKLM20,
author = {Francesco Calimeri and
Wolfgang Faber and
Martin Gebser and
Giovambattista Ianni and
Roland Kaminski and
Thomas Krennwallner and
Nicola Leone and
Marco Maratea and
Francesco Ricca and
Torsten Schaub},
title = {ASP-Core-2 Input Language Format},
journal = {Theory Pract. Log. Program.},
volume = {20},
number = {2},
pages = {294--309},
year = {2020},
url = {https://doi.org/10.1017/S1471068419000450},
doi = {10.1017/S1471068419000450},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/CalimeriFGIKKLM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/000120,
author = {Wolfgang Faber},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {Reversibility of Actions and Plans (invited talk)},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {1},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/abstract-invited-1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/000120.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/0001M20,
author = {Wolfgang Faber and
Michael Morak},
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 = {Determining Action Reversibility in {STRIPS} Using Epistemic Logic
Programs},
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/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/0001M20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Chrpa0FM20,
author = {Luk{\'{a}}s Chrpa and
Wolfgang Faber and
Daniel Fiser and
Michael Morak},
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 = {Determining Action Reversibility in {STRIPS} Using Answer Set Programming},
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/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Chrpa0FM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MorakC0F20,
author = {Michael Morak and
Luk{\'{a}}s Chrpa and
Wolfgang Faber and
Daniel Fiser},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {On the Reversibility of Actions in Planning},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {652--661},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/65},
doi = {10.24963/KR.2020/65},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/MorakC0F20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/Qureshi020,
author = {Haya Majid Qureshi and
Wolfgang Faber},
editor = {Sotiris Moschoyiannis and
Paul Fodor and
Jan Vanthienen and
Daniela Inclezan and
Nikolay Nikolov and
Francisco Mart{\'{\i}}n{-}Recuerda and
Ioan Toma},
title = {Supporting Metamodeling in Ontologies Using Rules},
booktitle = {Proceedings of the 14th International Rule Challenge, 4th Doctoral
Consortium, and 6th Industry Track @ RuleML+RR 2020 co-located with
16th Reasoning Web Summer School {(RW} 2020) 12th DecisionCAMP 2020
as part of Declarative {AI} 2020, Oslo, Norway (virtual due to Covid-19
pandemic), 29 June - 1 July, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2644},
pages = {95--102},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2644/paper37.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/Qureshi020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/000120,
author = {Wolfgang Faber},
editor = {Marco Manna and
Andreas Pieris},
title = {An Introduction to Answer Set Programming and Some of Its Extensions},
booktitle = {Reasoning Web. Declarative Artificial Intelligence - 16th International
Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {12258},
pages = {149--185},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60067-9\_6},
doi = {10.1007/978-3-030-60067-9\_6},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rweb/000120.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/tplp/0001MW19,
author = {Wolfgang Faber and
Michael Morak and
Stefan Woltran},
title = {On Uniform Equivalence of Epistemic Logic Programs},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {826--840},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000218},
doi = {10.1017/S1471068419000218},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/0001MW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/0001MW19,
author = {Wolfgang Faber and
Michael Morak and
Stefan Woltran},
title = {Strong Equivalence for Epistemic Logic Programs Made Easy},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {2809--2816},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33012809},
doi = {10.1609/AAAI.V33I01.33012809},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/0001MW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Alviano019,
author = {Mario Alviano and
Wolfgang Faber},
editor = {Francesco Calimeri and
Nicola Leone and
Marco Manna},
title = {Chain Answer Sets for Logic Programs with Generalized Atoms},
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 = {462--478},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19570-0\_30},
doi = {10.1007/978-3-030-19570-0\_30},
timestamp = {Fri, 27 Mar 2020 08:53:33 +0100},
biburl = {https://dblp.org/rec/conf/jelia/Alviano019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/AmendolaD0PR19,
author = {Giovanni Amendola and
Carmine Dodaro and
Wolfgang Faber and
Luca Pulina and
Francesco Ricca},
editor = {Francesco Calimeri and
Nicola Leone and
Marco Manna},
title = {Algorithm Selection for Paracoherent Answer Set Computation},
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 = {479--489},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19570-0\_31},
doi = {10.1007/978-3-030-19570-0\_31},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/AmendolaD0PR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-10925,
author = {Wolfgang Faber and
Michael Morak and
Stefan Woltran},
title = {On Uniform Equivalence of Epistemic Logic Programs},
journal = {CoRR},
volume = {abs/1907.10925},
year = {2019},
url = {http://arxiv.org/abs/1907.10925},
eprinttype = {arXiv},
eprint = {1907.10925},
timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-10925.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-04326,
author = {Francesco Calimeri and
Wolfgang Faber and
Martin Gebser and
Giovambattista Ianni and
Roland Kaminski and
Thomas Krennwallner and
Nicola Leone and
Marco Maratea and
Francesco Ricca and
Torsten Schaub},
title = {ASP-Core-2 Input Language Format},
journal = {CoRR},
volume = {abs/1911.04326},
year = {2019},
url = {http://arxiv.org/abs/1911.04326},
eprinttype = {arXiv},
eprint = {1911.04326},
timestamp = {Sun, 01 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-04326.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/AlvianoF18,
author = {Mario Alviano and
Wolfgang Faber},
title = {Aggregates in Answer Set Programming},
journal = {K{\"{u}}nstliche Intell.},
volume = {32},
number = {2-3},
pages = {119--124},
year = {2018},
url = {https://doi.org/10.1007/s13218-018-0545-9},
doi = {10.1007/S13218-018-0545-9},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/AlvianoF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/AdrianACCDFFLMP18,
author = {Weronika T. Adrian and
Mario Alviano and
Francesco Calimeri and
Bernardo Cuteri and
Carmine Dodaro and
Wolfgang Faber and
Davide Fusc{\`{a}} and
Nicola Leone and
Marco Manna and
Simona Perri and
Francesco Ricca and
Pierfrancesco Veltri and
Jessica Zangari},
title = {The {ASP} System {DLV:} Advancements and Applications},
journal = {K{\"{u}}nstliche Intell.},
volume = {32},
number = {2-3},
pages = {177--179},
year = {2018},
url = {https://doi.org/10.1007/s13218-018-0533-0},
doi = {10.1007/S13218-018-0533-0},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/AdrianACCDFFLMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AmendolaD0R18,
author = {Giovanni Amendola and
Carmine Dodaro and
Wolfgang Faber and
Francesco Ricca},
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {Externally Supported Models for Efficient Computation of Paracoherent
Answer Sets},
booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
pages = {1720--1727},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.11540},
doi = {10.1609/AAAI.V32I1.11540},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AmendolaD0R18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/0001VCG18,
author = {Wolfgang Faber and
Mauro Vallati and
Federico Cerutti and
Massimiliano Giacomin},
editor = {Sanjay Modgil and
Katarzyna Budzynska and
John Lawrence},
title = {Enumerating Preferred Extensions Using {ASP} Domain Heuristics: The
ASPrMin Solver},
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 = {459--460},
publisher = {{IOS} Press},
year = {2018},
url = {https://doi.org/10.3233/978-1-61499-906-5-459},
doi = {10.3233/978-1-61499-906-5-459},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comma/0001VCG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/SkerikC0V18,
author = {Tom{\'{a}}s Sker{\'{\i}}k and
Luk{\'{a}}s Chrpa and
Wolfgang Faber and
Mauro Vallati},
title = {Automated Training Plan Generation for Athletes},
booktitle = {{IEEE} International Conference on Systems, Man, and Cybernetics,
{SMC} 2018, Miyazaki, Japan, October 7-10, 2018},
pages = {3865--3870},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/SMC.2018.00655},
doi = {10.1109/SMC.2018.00655},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smc/SkerikC0V18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2018s,
editor = {Wolfgang Faber and
Paul Fodor and
Giovanni De Gasperis and
Adrian Giurca and
Kia Teymourian},
title = {Proceedings of the Doctoral Consortium and Challenge @ RuleML+RR 2018
hosted by 2nd International Joint Conference on Rules and Reasoning
(RuleML+RR 2018), Luxembourg, September 20-26, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2204},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2204},
urn = {urn:nbn:de:0074-2204-3},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/2018s.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-04800,
author = {Wolfgang Faber and
Michael Morak and
Stefan Woltran},
title = {Strong Equivalence for Epistemic Logic Programs Made Easy (Extended
Version)},
journal = {CoRR},
volume = {abs/1811.04800},
year = {2018},
url = {http://arxiv.org/abs/1811.04800},
eprinttype = {arXiv},
eprint = {1811.04800},
timestamp = {Fri, 23 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-04800.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AmendolaDFLR17,
author = {Giovanni Amendola and
Carmine Dodaro and
Wolfgang Faber and
Nicola Leone and
Francesco Ricca},
editor = {Satinder Singh and
Shaul Markovitch},
title = {On the Computation of Paracoherent Answer Sets},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {1034--1040},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.10679},
doi = {10.1609/AAAI.V31I1.10679},
timestamp = {Mon, 04 Sep 2023 14:40:32 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AmendolaDFLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rweb/2017,
editor = {Giovambattista Ianni and
Domenico Lembo and
Leopoldo E. Bertossi and
Wolfgang Faber and
Birte Glimm and
Georg Gottlob and
Steffen Staab},
title = {Reasoning Web. Semantic Interoperability on the Web - 13th International
Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {10370},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61033-7},
doi = {10.1007/978-3-319-61033-7},
isbn = {978-3-319-61032-0},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rweb/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AmendolaDFLR17,
author = {Giovanni Amendola and
Carmine Dodaro and
Wolfgang Faber and
Nicola Leone and
Francesco Ricca},
title = {On the Computation of Paracoherent Answer Sets},
journal = {CoRR},
volume = {abs/1707.06813},
year = {2017},
url = {http://arxiv.org/abs/1707.06813},
eprinttype = {arXiv},
eprint = {1707.06813},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AmendolaDFLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AlvianoFS16,
author = {Mario Alviano and
Wolfgang Faber and
Hannes Strass},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {Boolean Functions with Ordered Domains in Answer Set Programming},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {879--885},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.10096},
doi = {10.1609/AAAI.V30I1.10096},
timestamp = {Mon, 04 Sep 2023 15:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AlvianoFS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/FaberVCG16,
author = {Wolfgang Faber and
Mauro Vallati and
Federico Cerutti and
Massimiliano Giacomin},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {Solving Set Optimization Problems by Cardinality Optimization with
an Application to Argumentation},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {966--973},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-966},
doi = {10.3233/978-1-61499-672-9-966},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/FaberVCG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BrentonFB16,
author = {Christopher Brenton and
Wolfgang Faber and
Sotiris Batsakis},
editor = {Manuel Carro and
Andy King and
Neda Saeedloei and
Marina De Vos},
title = {Answer Set Programming for Qualitative Spatio-Temporal Reasoning:
Methods and Experiments},
booktitle = {Technical Communications of the 32nd International Conference on Logic
Programming, {ICLP} 2016 TCs, October 16-21, 2016, New York City,
{USA}},
series = {OASIcs},
volume = {52},
pages = {4:1--4:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/OASIcs.ICLP.2016.4},
doi = {10.4230/OASICS.ICLP.2016.4},
timestamp = {Tue, 15 Feb 2022 09:40:05 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BrentonFB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AlvianoFG16,
author = {Mario Alviano and
Wolfgang Faber and
Martin Gebser},
editor = {Subbarao Kambhampati},
title = {From Non-Convex Aggregates to Monotone Aggregates in {ASP}},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {4100--4194},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/610},
timestamp = {Tue, 20 Aug 2019 16:19:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AlvianoFG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plansig/SkerikFC16,
author = {Tom{\'{a}}s Sker{\'{\i}}k and
Wolfgang Faber and
Luk{\'{a}}s Chrpa},
editor = {Luk{\'{a}}s Chrpa and
Simon Parkinson and
Mauro Vallati},
title = {Proposing of Planning System for Sports Domain: {A} Tool for Professional
Coaches},
booktitle = {Proceedings of the 34th Workshop of the {UK} Planning and Scheduling
Special Interest Group, PlanSIG 2016, Huddersfield, UK, December 15-16,
2016},
series = {{CEUR} Workshop Proceedings},
volume = {1782},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1782/paper\_9.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:22 +0100},
biburl = {https://dblp.org/rec/conf/plansig/SkerikFC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FaberVCG16,
author = {Wolfgang Faber and
Mauro Vallati and
Federico Cerutti and
Massimiliano Giacomin},
title = {Solving Set Optimization Problems by Cardinality Optimization via
Weak Constraints with an Application to Argumentation},
journal = {CoRR},
volume = {abs/1612.07589},
year = {2016},
url = {http://arxiv.org/abs/1612.07589},
eprinttype = {arXiv},
eprint = {1612.07589},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/FaberVCG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/AlvianoF15,
author = {Mario Alviano and
Wolfgang Faber},
title = {Effectively solving {NP-SPEC} encodings by translation to {ASP}},
journal = {J. Exp. Theor. Artif. Intell.},
volume = {27},
number = {5},
pages = {577--601},
year = {2015},
url = {https://doi.org/10.1080/0952813X.2014.993505},
doi = {10.1080/0952813X.2014.993505},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jetai/AlvianoF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/semweb/LemboF15,
author = {Domenico Lembo and
Wolfgang Faber},
title = {Web reasoning and rule systems},
journal = {Semantic Web},
volume = {6},
number = {5},
pages = {425--426},
year = {2015},
url = {https://doi.org/10.3233/SW-150183},
doi = {10.3233/SW-150183},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/semweb/LemboF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlvianoFG15,
author = {Mario Alviano and
Wolfgang Faber and
Martin Gebser},
title = {Rewriting recursive aggregates in answer set programming: back to
monotonicity},
journal = {Theory Pract. Log. Program.},
volume = {15},
number = {4-5},
pages = {559--573},
year = {2015},
url = {https://doi.org/10.1017/S1471068415000228},
doi = {10.1017/S1471068415000228},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/AlvianoFG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AlvianoF15,
author = {Mario Alviano and
Wolfgang Faber},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Stable Model Semantics of Abstract Dialectical Frameworks Revisited:
{A} Logic Programming Perspective},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {2684--2690},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/380},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AlvianoF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/AlvianoF15,
author = {Mario Alviano and
Wolfgang Faber},
editor = {Balder ten Cate and
Alessandra Mileo},
title = {Supportedly Stable Answer Sets for Logic Programs with Generalized
Atoms},
booktitle = {Web Reasoning and Rule Systems - 9th International Conference, {RR}
2015, Berlin, Germany, August 4-5, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9209},
pages = {30--44},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22002-4\_4},
doi = {10.1007/978-3-319-22002-4\_4},
timestamp = {Sat, 09 Apr 2022 12:41:08 +0200},
biburl = {https://dblp.org/rec/conf/rr/AlvianoF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rweb/2015,
editor = {Wolfgang Faber and
Adrian Paschke},
title = {Reasoning Web. Web Logic Rules - 11th International Summer School
2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {9203},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21768-0},
doi = {10.1007/978-3-319-21768-0},
isbn = {978-3-319-21767-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rweb/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlvianoFG15,
author = {Mario Alviano and
Wolfgang Faber and
Martin Gebser},
title = {Rewriting recursive aggregates in answer set programming: back to
monotonicity},
journal = {CoRR},
volume = {abs/1507.03923},
year = {2015},
url = {http://arxiv.org/abs/1507.03923},
eprinttype = {arXiv},
eprint = {1507.03923},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlvianoFG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlvianoFW14,
author = {Mario Alviano and
Wolfgang Faber and
Stefan Woltran},
title = {Complexity of super-coherence problems in {ASP}},
journal = {Theory Pract. Log. Program.},
volume = {14},
number = {3},
pages = {339--361},
year = {2014},
url = {https://doi.org/10.1017/S147106841300001X},
doi = {10.1017/S147106841300001X},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/AlvianoFW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/TachmazidisAF14,
author = {Ilias Tachmazidis and
Grigoris Antoniou and
Wolfgang Faber},
title = {Efficient Computation of the Well-Founded Semantics over Big Data},
journal = {Theory Pract. Log. Program.},
volume = {14},
number = {4-5},
pages = {445--459},
year = {2014},
url = {https://doi.org/10.1017/S1471068414000131},
doi = {10.1017/S1471068414000131},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/TachmazidisAF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlvianoCFLP14,
author = {Mario Alviano and
Francesco Calimeri and
Wolfgang Faber and
Nicola Leone and
Simona Perri},
title = {Unfounded Sets and Well-Founded Semantics of Answer Set Programs with
Aggregates},
journal = {CoRR},
volume = {abs/1401.4596},
year = {2014},
url = {http://arxiv.org/abs/1401.4596},
eprinttype = {arXiv},
eprint = {1401.4596},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlvianoCFLP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlvianoF14,
author = {Mario Alviano and
Wolfgang Faber},
title = {Semantics and Compilation of Answer Set Programming with Generalized
Atoms},
journal = {CoRR},
volume = {abs/1405.1287},
year = {2014},
url = {http://arxiv.org/abs/1405.1287},
eprinttype = {arXiv},
eprint = {1405.1287},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlvianoF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TachmazidisAF14,
author = {Ilias Tachmazidis and
Grigoris Antoniou and
Wolfgang Faber},
title = {Efficient Computation of the Well-Founded Semantics over Big Data},
journal = {CoRR},
volume = {abs/1405.2590},
year = {2014},
url = {http://arxiv.org/abs/1405.2590},
eprinttype = {arXiv},
eprint = {1405.2590},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TachmazidisAF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/FaberTW13,
author = {Wolfgang Faber and
Miroslaw Truszczynski and
Stefan Woltran},
title = {Strong Equivalence of Qualitative Optimization Problems},
journal = {J. Artif. Intell. Res.},
volume = {47},
pages = {351--391},
year = {2013},
url = {https://doi.org/10.1613/jair.3991},
doi = {10.1613/JAIR.3991},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/FaberTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FaberL13,
author = {Wolfgang Faber and
Nicola Leone},
title = {Introduction to the special issue on the 25th annual {GULP} conference},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {2},
pages = {147--148},
year = {2013},
url = {https://doi.org/10.1017/S1471068411000676},
doi = {10.1017/S1471068411000676},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FaberL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FaberTW13,
author = {Wolfgang Faber and
Miroslaw Truszczynski and
Stefan Woltran},
editor = {Marie desJardins and
Michael L. Littman},
title = {Abstract Preference Frameworks - a Unifying Perspective on Separability
and Strong Equivalence},
booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}},
pages = {297--303},
publisher = {{AAAI} Press},
year = {2013},
url = {https://doi.org/10.1609/aaai.v27i1.8593},
doi = {10.1609/AAAI.V27I1.8593},
timestamp = {Mon, 04 Sep 2023 15:56:33 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FaberTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AlvianoDFLR13,
author = {Mario Alviano and
Carmine Dodaro and
Wolfgang Faber and
Nicola Leone and
Francesco Ricca},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {{WASP:} {A} Native {ASP} Solver Based on Constraint Learning},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {54--66},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_6},
doi = {10.1007/978-3-642-40564-8\_6},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/AlvianoDFLR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AlvianoF13,
author = {Mario Alviano and
Wolfgang Faber},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {The Complexity Boundary of Answer Set Programming with Generalized
Atoms under the {FLP} Semantics},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {67--72},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_7},
doi = {10.1007/978-3-642-40564-8\_7},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/AlvianoF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/Faber13,
author = {Wolfgang Faber},
editor = {Sebastian Rudolph and
Georg Gottlob and
Ian Horrocks and
Frank van Harmelen},
title = {Answer Set Programming},
booktitle = {Reasoning Web. Semantic Technologies for Intelligent Data Access -
9th International Summer School 2013, Mannheim, Germany, July 30 -
August 2, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8067},
pages = {162--193},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39784-4\_4},
doi = {10.1007/978-3-642-39784-4\_4},
timestamp = {Tue, 12 Apr 2022 14:46:29 +0200},
biburl = {https://dblp.org/rec/conf/rweb/Faber13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/AlvianoFLM13,
author = {Mario Alviano and
Wolfgang Faber and
Nicola Leone and
Marco Manna},
editor = {Francesco Buccafurri and
Domenico Sacc{\`{a}}},
title = {Query Answering over Disjunctive Datalog with Existential Quantifiers},
booktitle = {21st Italian Symposium on Advanced Database Systems, {SEBD} 2013,
Roccella Jonica, Reggio Calabria, Italy, June 30 - July 4, 2013},
pages = {393--400},
publisher = {Curran Associates},
year = {2013},
timestamp = {Tue, 14 Nov 2017 16:36:25 +0100},
biburl = {https://dblp.org/rec/conf/sebd/AlvianoFLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rr/2013,
editor = {Wolfgang Faber and
Domenico Lembo},
title = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7994},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39666-3},
doi = {10.1007/978-3-642-39666-3},
isbn = {978-3-642-39665-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rr/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-1385,
author = {Mario Alviano and
Wolfgang Faber},
title = {Translating {NP-SPEC} into {ASP}},
journal = {CoRR},
volume = {abs/1301.1385},
year = {2013},
url = {http://arxiv.org/abs/1301.1385},
eprinttype = {arXiv},
eprint = {1301.1385},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-1385.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlvianoF13,
author = {Mario Alviano and
Wolfgang Faber},
title = {Properties of Answer Set Programming with Convex Generalized Atoms},
journal = {CoRR},
volume = {abs/1312.6096},
year = {2013},
url = {http://arxiv.org/abs/1312.6096},
eprinttype = {arXiv},
eprint = {1312.6096},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlvianoF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AlvianoFGL12,
author = {Mario Alviano and
Wolfgang Faber and
Gianluigi Greco and
Nicola Leone},
title = {Magic Sets for disjunctive Datalog programs},
journal = {Artif. Intell.},
volume = {187},
pages = {156--192},
year = {2012},
url = {https://doi.org/10.1016/j.artint.2012.04.008},
doi = {10.1016/J.ARTINT.2012.04.008},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/AlvianoFGL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlvianoFLM12,
author = {Mario Alviano and
Wolfgang Faber and
Nicola Leone and
Marco Manna},
title = {Disjunctive datalog with existential quantifiers: Semantics, decidability,
and complexity issues},
journal = {Theory Pract. Log. Program.},
volume = {12},
number = {4-5},
pages = {701--718},
year = {2012},
url = {https://doi.org/10.1017/S1471068412000257},
doi = {10.1017/S1471068412000257},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlvianoFLM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DixFS12,
author = {J{\"{u}}rgen Dix and
Wolfgang Faber and
V. S. Subrahmanian},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Privacy Preservation Using Multi-context Systems and Default Logic},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {195--210},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_14},
doi = {10.1007/978-3-642-30743-0\_14},
timestamp = {Fri, 15 Jan 2021 08:33:38 +0100},
biburl = {https://dblp.org/rec/conf/birthday/DixFS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FaberLP12,
author = {Wolfgang Faber and
Nicola Leone and
Simona Perri},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {The Intelligent Grounder of {DLV}},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {247--264},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_17},
doi = {10.1007/978-3-642-30743-0\_17},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FaberLP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FaberTW12,
author = {Wolfgang Faber and
Miroslaw Truszczynski and
Stefan Woltran},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Strong Equivalence of Qualitative Optimization Problems},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4518},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/FaberTW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/Faber12,
author = {Wolfgang Faber},
editor = {Markus Kr{\"{o}}tzsch and
Umberto Straccia},
title = {A Polynomial Reduction from {ASPDA} to {ASP}},
booktitle = {Web Reasoning and Rule Systems - 6th International Conference, {RR}
2012, Vienna, Austria, September 10-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7497},
pages = {213--216},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33203-6\_17},
doi = {10.1007/978-3-642-33203-6\_17},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rr/Faber12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-6346,
author = {Mario Alviano and
Wolfgang Faber and
Gianluigi Greco and
Nicola Leone},
title = {Magic Sets for Disjunctive Datalog Programs},
journal = {CoRR},
volume = {abs/1204.6346},
year = {2012},
url = {http://arxiv.org/abs/1204.6346},
eprinttype = {arXiv},
eprint = {1204.6346},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-6346.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-2316,
author = {Mario Alviano and
Wolfgang Faber and
Nicola Leone and
Marco Manna},
title = {Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability,
and Complexity Issues},
journal = {CoRR},
volume = {abs/1210.2316},
year = {2012},
url = {http://arxiv.org/abs/1210.2316},
eprinttype = {arXiv},
eprint = {1210.2316},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2316.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-5895,
author = {Mario Alviano and
Wolfgang Faber and
Stefan Woltran},
title = {Complexity of super-coherence problems in {ASP}},
journal = {CoRR},
volume = {abs/1212.5895},
year = {2012},
url = {http://arxiv.org/abs/1212.5895},
eprinttype = {arXiv},
eprint = {1212.5895},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-5895.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/FaberPL11,
author = {Wolfgang Faber and
Gerald Pfeifer and
Nicola Leone},
title = {Semantics and complexity of recursive aggregates in answer set programming},
journal = {Artif. Intell.},
volume = {175},
number = {1},
pages = {278--298},
year = {2011},
url = {https://doi.org/10.1016/j.artint.2010.04.002},
doi = {10.1016/J.ARTINT.2010.04.002},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/FaberPL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/AlvianoF11,
author = {Mario Alviano and
Wolfgang Faber},
title = {Dynamic Magic Sets and super-coherent answer set programs},
journal = {{AI} Commun.},
volume = {24},
number = {2},
pages = {125--145},
year = {2011},
url = {https://doi.org/10.3233/AIC-2011-0492},
doi = {10.3233/AIC-2011-0492},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aicom/AlvianoF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FaberLMR11,
author = {Wolfgang Faber and
Nicola Leone and
Marco Maratea and
Francesco Ricca},
title = {Look-back Techniques for {ASP} Programs with Aggregates},
journal = {Fundam. Informaticae},
volume = {107},
number = {4},
pages = {379--413},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-408},
doi = {10.3233/FI-2011-408},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/FaberLMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/AlvianoCFLP11,
author = {Mario Alviano and
Francesco Calimeri and
Wolfgang Faber and
Nicola Leone and
Simona Perri},
title = {Unfounded Sets and Well-Founded Semantics of Answer Set Programs with
Aggregates},
journal = {J. Artif. Intell. Res.},
volume = {42},
pages = {487--527},
year = {2011},
url = {https://doi.org/10.1613/jair.3432},
doi = {10.1613/JAIR.3432},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/AlvianoCFLP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FaberW11,
author = {Wolfgang Faber and
Stefan Woltran},
editor = {Marcello Balduccini and
Tran Cao Son},
title = {Manifold Answer-Set Programs and Their Applications},
booktitle = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
- Essays Dedicated to Michael Gelfond on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {6565},
pages = {44--63},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20832-4\_4},
doi = {10.1007/978-3-642-20832-4\_4},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FaberW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/DodaroAFLRS11,
author = {Carmine Dodaro and
Mario Alviano and
Wolfgang Faber and
Nicola Leone and
Francesco Ricca and
Marco Sirianni},
editor = {Fabio Fioravanti},
title = {The Birth of a {WASP:} Preliminary Report on a New {ASP} Solver},
booktitle = {Proceedings of the 26th Italian Conference on Computational Logic,
Pescara, Italy, August 31 - September 2, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {810},
pages = {99--113},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-810/paper-l06.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/DodaroAFLRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/AlvianoFW11,
author = {Mario Alviano and
Wolfgang Faber and
Stefan Woltran},
editor = {Fabio Fioravanti},
title = {Complexity of Super-Coherence Problems in Answer Set Programming},
booktitle = {Proceedings of the 26th Italian Conference on Computational Logic,
Pescara, Italy, August 31 - September 2, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {810},
pages = {131--145},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-810/paper-l08.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/AlvianoFW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Faber11,
author = {Wolfgang Faber},
editor = {Alessandra Mileo and
Michael Fink},
title = {Privacy Preservation Using Multi-Context Systems},
booktitle = {Proceedings of the 2nd Workshop on Logic-based Interpretation of Context:
Modelling and Applications, Vancouver, Canada, May 16, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {738},
pages = {45--51},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-738/faber.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:44 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/Faber11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CalimeriIRABCCFFLMMPPRSSTV11,
author = {Francesco Calimeri and
Giovambattista Ianni and
Francesco Ricca and
Mario Alviano and
Annamaria Bria and
Gelsomina Catalano and
Susanna Cozza and
Wolfgang Faber and
Onofrio Febbraro and
Nicola Leone and
Marco Manna and
Alessandra Martello and
Claudio Panetta and
Simona Perri and
Kristian Reale and
Maria Carmela Santoro and
Marco Sirianni and
Giorgio Terracina and
Pierfrancesco Veltri},
editor = {James P. Delgrande and
Wolfgang Faber},
title = {The Third Answer Set Programming Competition: Preliminary Report of
the System Competition Track},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International
Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6645},
pages = {388--403},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9\_46},
doi = {10.1007/978-3-642-20895-9\_46},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/CalimeriIRABCCFFLMMPPRSSTV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2011,
editor = {James P. Delgrande and
Wolfgang Faber},
title = {Logic Programming and Nonmonotonic Reasoning - 11th International
Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6645},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9},
doi = {10.1007/978-3-642-20895-9},
isbn = {978-3-642-20894-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-5257,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
title = {Answer Set Planning Under Action Costs},
journal = {CoRR},
volume = {abs/1106.5257},
year = {2011},
url = {http://arxiv.org/abs/1106.5257},
eprinttype = {arXiv},
eprint = {1106.5257},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-5257.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-0791,
author = {Wolfgang Faber and
Miroslaw Truszczynski and
Stefan Woltran},
title = {Strong Equivalence of Qualitative Optimization Problems},
journal = {CoRR},
volume = {abs/1112.0791},
year = {2011},
url = {http://arxiv.org/abs/1112.0791},
eprinttype = {arXiv},
eprint = {1112.0791},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1112-0791.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlvianoFL10,
author = {Mario Alviano and
Wolfgang Faber and
Nicola Leone},
title = {Disjunctive {ASP} with functions: Decidable queries and effective
computation},
journal = {Theory Pract. Log. Program.},
volume = {10},
number = {4-6},
pages = {497--512},
year = {2010},
url = {https://doi.org/10.1017/S1471068410000244},
doi = {10.1017/S1471068410000244},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlvianoFL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EiterFM10,
author = {Thomas Eiter and
Wolfgang Faber and
Mushthofa Mushthofa},
editor = {Maria Fox and
David Poole},
title = {Space Efficient Evaluation of {ASP} Programs with Bounded Predicate
Arities},
booktitle = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
pages = {303--308},
publisher = {{AAAI} Press},
year = {2010},
url = {https://doi.org/10.1609/aaai.v24i1.7592},
doi = {10.1609/AAAI.V24I1.7592},
timestamp = {Mon, 04 Sep 2023 16:23:45 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EiterFM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Alviano0L10,
author = {Mario Alviano and
Wolfgang Faber and
Nicola Leone},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Well-Founded Semantics for Logic Programs with Aggregates: Implementation
and Experimentation},
booktitle = {Proceedings of the 17th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR
2010, Bologna, Italy, June 10-11, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {616},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-616/paper08.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:31 +0100},
biburl = {https://dblp.org/rec/conf/cpaior/Alviano0L10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/AlvianoFLPPT10,
author = {Mario Alviano and
Wolfgang Faber and
Nicola Leone and
Simona Perri and
Gerald Pfeifer and
Giorgio Terracina},
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {The Disjunctive Datalog System {DLV}},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {282--301},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24206-9\_17},
doi = {10.1007/978-3-642-24206-9\_17},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/AlvianoFLPPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cilc/2010,
editor = {Wolfgang Faber and
Nicola Leone},
title = {Proceedings of the 25th Italian Conference on Computational Logic,
Rende, Italy, July 7-9, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {598},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-598},
urn = {urn:nbn:de:0074-598-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-4028,
author = {Mario Alviano and
Wolfgang Faber and
Nicola Leone},
title = {Disjunctive {ASP} with Functions: Decidable Queries and Effective
Computation},
journal = {CoRR},
volume = {abs/1007.4028},
year = {2010},
url = {http://arxiv.org/abs/1007.4028},
eprinttype = {arXiv},
eprint = {1007.4028},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-4028.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-4377,
author = {Mario Alviano and
Wolfgang Faber},
title = {Dynamic Magic Sets for Super-Consistent Answer Set Programs},
journal = {CoRR},
volume = {abs/1011.4377},
year = {2010},
url = {http://arxiv.org/abs/1011.4377},
eprinttype = {arXiv},
eprint = {1011.4377},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-4377.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BriaFL09,
author = {Annamaria Bria and
Wolfgang Faber and
Nicola Leone},
title = {Normal Form Nested Programs},
journal = {Fundam. Informaticae},
volume = {96},
number = {3},
pages = {271--295},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-179},
doi = {10.3233/FI-2009-179},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BriaFL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/FaberW09,
author = {Wolfgang Faber and
Stefan Woltran},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Manifold Answer-Set Programs for Meta-reasoning},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {115--128},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_12},
doi = {10.1007/978-3-642-04238-6\_12},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/FaberW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BriaFL09,
author = {Annamaria Bria and
Wolfgang Faber and
Nicola Leone},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {477--482},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_45},
doi = {10.1007/978-3-642-04238-6\_45},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/BriaFL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/MarateaRFL08,
author = {Marco Maratea and
Francesco Ricca and
Wolfgang Faber and
Nicola Leone},
title = {Look-back techniques and heuristics in {DLV:} Implementation, evaluation,
and comparison to {QBF} solvers},
journal = {J. Algorithms},
volume = {63},
number = {1-3},
pages = {70--89},
year = {2008},
url = {https://doi.org/10.1016/j.jalgor.2008.02.006},
doi = {10.1016/J.JALGOR.2008.02.006},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jal/MarateaRFL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/EiterEF08,
author = {Thomas Eiter and
Esra Erdem and
Wolfgang Faber},
title = {Undoing the effects of action sequences},
journal = {J. Appl. Log.},
volume = {6},
number = {3},
pages = {380--415},
year = {2008},
url = {https://doi.org/10.1016/j.jal.2007.05.002},
doi = {10.1016/J.JAL.2007.05.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/EiterEF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FaberPLDI08,
author = {Wolfgang Faber and
Gerald Pfeifer and
Nicola Leone and
Tina Dell'Armi and
Giuseppe Ielpa},
title = {Design and implementation of aggregate functions in the {DLV} system},
journal = {Theory Pract. Log. Program.},
volume = {8},
number = {5-6},
pages = {545--580},
year = {2008},
url = {https://doi.org/10.1017/S1471068408003323},
doi = {10.1017/S1471068408003323},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FaberPLDI08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FaberGL08,
author = {Wolfgang Faber and
Gianluigi Greco and
Nicola Leone},
editor = {Dieter Fox and
Carla P. Gomes},
title = {Magic Sets for Data Integration},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {1528--1531},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-255.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FaberGL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LeoneF08,
author = {Nicola Leone and
Wolfgang Faber},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {The {DLV} Project: {A} Tour from Theory and Research to Applications
and Market},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {53--68},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_10},
doi = {10.1007/978-3-540-89982-2\_10},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/LeoneF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BriaFL08,
author = {Annamaria Bria and
Wolfgang Faber and
Nicola Leone},
editor = {Steffen H{\"{o}}lldobler and
Carsten Lutz and
Heinrich Wansing},
title = {Normal Form Nested Programs},
booktitle = {Logics in Artificial Intelligence, 11th European Conference, {JELIA}
2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5293},
pages = {76--88},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87803-2\_8},
doi = {10.1007/978-3-540-87803-2\_8},
timestamp = {Tue, 29 Dec 2020 18:34:12 +0100},
biburl = {https://dblp.org/rec/conf/jelia/BriaFL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FaberTW08,
author = {Wolfgang Faber and
Hans Tompits and
Stefan Woltran},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Notions of Strong Equivalence for Logic Programs with Ordered Disjunction},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {433--443},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-042.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/FaberTW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/0001LMR08,
author = {Wolfgang Faber and
Nicola Leone and
Marco Maratea and
Francesco Ricca},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Look-back Techniques for {ASP} Programs with Aggregates},
booktitle = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
Italy, December 12-13, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {451},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-451/paper07faber.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/rcra/0001LMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/wiley/FaberLR08,
author = {Wolfgang Faber and
Nicola Leone and
Francesco Ricca},
editor = {Benjamin W. Wah},
title = {Answer Set Programming},
booktitle = {Wiley Encyclopedia of Computer Science and Engineering},
publisher = {John Wiley {\&} Sons, Inc.},
year = {2008},
url = {https://doi.org/10.1002/9780470050118.ecse226},
doi = {10.1002/9780470050118.ECSE226},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/wiley/FaberLR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0802-3137,
author = {Wolfgang Faber and
Gerald Pfeifer and
Nicola Leone and
Tina Dell'Armi and
Giuseppe Ielpa},
title = {Design and Implementation of Aggregate Functions in the {DLV} System},
journal = {CoRR},
volume = {abs/0802.3137},
year = {2008},
url = {http://arxiv.org/abs/0802.3137},
eprinttype = {arXiv},
eprint = {0802.3137},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0802-3137.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/EiterFFW07,
author = {Thomas Eiter and
Wolfgang Faber and
Michael Fink and
Stefan Woltran},
title = {Complexity results for answer set programming with bounded predicate
arities and implications},
journal = {Ann. Math. Artif. Intell.},
volume = {51},
number = {2-4},
pages = {123--165},
year = {2007},
url = {https://doi.org/10.1007/s10472-008-9086-5},
doi = {10.1007/S10472-008-9086-5},
timestamp = {Thu, 16 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/EiterFFW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/FaberLPR07,
author = {Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Francesco Ricca},
title = {On look-ahead heuristics in disjunctive logic programming},
journal = {Ann. Math. Artif. Intell.},
volume = {51},
number = {2-4},
pages = {229--266},
year = {2007},
url = {https://doi.org/10.1007/s10472-008-9087-4},
doi = {10.1007/S10472-008-9087-4},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/FaberLPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/EiterEFS07,
author = {Thomas Eiter and
Esra Erdem and
Wolfgang Faber and
J{\'{a}}n Senko},
title = {A Logic-Based Approach to Finding Explanations for Discrepancies in
Optimistic Plan Execution},
journal = {Fundam. Informaticae},
volume = {79},
number = {1-2},
pages = {25--69},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-1-2-04},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/EiterEFS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/FaberGL07,
author = {Wolfgang Faber and
Gianluigi Greco and
Nicola Leone},
title = {Magic Sets and their application to data integration},
journal = {J. Comput. Syst. Sci.},
volume = {73},
number = {4},
pages = {584--609},
year = {2007},
url = {https://doi.org/10.1016/j.jcss.2006.10.012},
doi = {10.1016/J.JCSS.2006.10.012},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/FaberGL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EiterEF07,
author = {Thomas Eiter and
Esra Erdem and
Wolfgang Faber},
editor = {Manuela M. Veloso},
title = {On Reversing Actions: Algorithms and Complexity},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {336--341},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/052.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/EiterEF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/FaberL07,
author = {Wolfgang Faber and
Nicola Leone},
editor = {Chitta Baral and
Gerhard Brewka and
John S. Schlipf},
title = {On the Complexity of Answer Set Programming with Aggregates},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference,
{LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4483},
pages = {97--109},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72200-7\_10},
doi = {10.1007/978-3-540-72200-7\_10},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/FaberL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/FaberLMR07,
author = {Wolfgang Faber and
Nicola Leone and
Marco Maratea and
Francesco Ricca},
editor = {Chitta Baral and
Gerhard Brewka and
John S. Schlipf},
title = {Experimenting with Look-Back Heuristics for Hard {ASP} Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference,
{LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4483},
pages = {110--122},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72200-7\_11},
doi = {10.1007/978-3-540-72200-7\_11},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/FaberLMR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/RiccaFL06,
author = {Francesco Ricca and
Wolfgang Faber and
Nicola Leone},
title = {A backjumping technique for Disjunctive Logic Programming},
journal = {{AI} Commun.},
volume = {19},
number = {2},
pages = {155--172},
year = {2006},
url = {http://content.iospress.com/articles/ai-communications/aic369},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aicom/RiccaFL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/FaberK06,
author = {Wolfgang Faber and
Kathrin Konczak},
title = {Strong order equivalence},
journal = {Ann. Math. Artif. Intell.},
volume = {47},
number = {1-2},
pages = {43--78},
year = {2006},
url = {https://doi.org/10.1007/s10472-006-9027-0},
doi = {10.1007/S10472-006-9027-0},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/FaberK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CalimeriFPL06,
author = {Francesco Calimeri and
Wolfgang Faber and
Gerald Pfeifer and
Nicola Leone},
title = {Pruning Operators for Disjunctive Logic Programming Systems},
journal = {Fundam. Informaticae},
volume = {71},
number = {2-3},
pages = {183--214},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi71-2-3-03},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/CalimeriFPL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/LeonePFEGPS06,
author = {Nicola Leone and
Gerald Pfeifer and
Wolfgang Faber and
Thomas Eiter and
Georg Gottlob and
Simona Perri and
Francesco Scarcello},
title = {The {DLV} system for knowledge representation and reasoning},
journal = {{ACM} Trans. Comput. Log.},
volume = {7},
number = {3},
pages = {499--562},
year = {2006},
url = {https://doi.org/10.1145/1149114.1149117},
doi = {10.1145/1149114.1149117},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/LeonePFEGPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Faber06,
author = {Wolfgang Faber},
editor = {Michael Fink and
Hans Tompits and
Stefan Woltran},
title = {Decomposition of Nonmonotone Aggregates in Answer Set Programming},
booktitle = {20th Workshop on Logic Programming, Vienna, Austria, February 22--24,
2006},
series = {{INFSYS} Research Report},
volume = {1843-06-02},
pages = {164--171},
publisher = {Technische Universit{\"{a}}t Wien, Austria},
year = {2006},
url = {http://www.kr.tuwien.ac.at/wlp06/23-final.ps.gz},
timestamp = {Thu, 16 Nov 2017 07:57:26 +0100},
biburl = {https://dblp.org/rec/conf/wlp/Faber06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/FaberLR05,
author = {Wolfgang Faber and
Nicola Leone and
Francesco Ricca},
title = {Solving Hard Problems for the Second Level of the Polynomial Hierarchy:
Heuristics and Benchmarks},
journal = {Intelligenza Artificiale},
volume = {2},
number = {3},
pages = {21--28},
year = {2005},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ia/FaberLR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/FaberGL05,
author = {Wolfgang Faber and
Gianluigi Greco and
Nicola Leone},
editor = {Thomas Eiter and
Leonid Libkin},
title = {Magic Sets and Their Application to Data Integration},
booktitle = {Database Theory - {ICDT} 2005, 10th International Conference, Edinburgh,
UK, January 5-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3363},
pages = {306--320},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30570-5\_21},
doi = {10.1007/978-3-540-30570-5\_21},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/FaberGL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CalimeriFLP05,
author = {Francesco Calimeri and
Wolfgang Faber and
Nicola Leone and
Simona Perri},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Declarative and Computational Properties of Logic Programs with Aggregates},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {406--411},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/1346.pdf},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/CalimeriFLP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FaberK05,
author = {Wolfgang Faber and
Kathrin Konczak},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Strong Equivalence for Logic Programs with Preferences},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {430--435},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/1048.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FaberK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FaberLR05,
author = {Wolfgang Faber and
Nicola Leone and
Francesco Ricca},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Heuristics for Hard {ASP} Programs},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {1562--1563},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/post-0500.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FaberLR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/DixFS05,
author = {J{\"{u}}rgen Dix and
Wolfgang Faber and
V. S. Subrahmanian},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {The Relationship Between Reasoning About Privacy and Default Logics},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {637--650},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_44},
doi = {10.1007/11591191\_44},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/DixFS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Faber05,
author = {Wolfgang Faber},
editor = {Chitta Baral and
Gianluigi Greco and
Nicola Leone and
Giorgio Terracina},
title = {Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
{LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3662},
pages = {40--52},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11546207\_4},
doi = {10.1007/11546207\_4},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Faber05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/FaberR05,
author = {Wolfgang Faber and
Francesco Ricca},
editor = {Chitta Baral and
Gianluigi Greco and
Nicola Leone and
Giorgio Terracina},
title = {Solving Hard {ASP} Programs Efficiently},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
{LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3662},
pages = {240--252},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11546207\_19},
doi = {10.1007/11546207\_19},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/FaberR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/LeoneEFFGGGKILLLNRRST05,
author = {Nicola Leone and
Thomas Eiter and
Wolfgang Faber and
Michael Fink and
Georg Gottlob and
Luigi Granata and
Gianluigi Greco and
Edyta Kalka and
Giovambattista Ianni and
Domenico Lembo and
Maurizio Lenzerini and
Vincenzino Lio and
Bartosz Nowicki and
Riccardo Rosati and
Marco Ruzzi and
Witold Staniszkis and
Giorgio Terracina},
editor = {Chitta Baral and
Gianluigi Greco and
Nicola Leone and
Giorgio Terracina},
title = {Data Integration: a Challenging {ASP} Application},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
{LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3662},
pages = {379--383},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11546207\_31},
doi = {10.1007/11546207\_31},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/LeoneEFFGGGKILLLNRRST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/EiterFT05,
author = {Thomas Eiter and
Wolfgang Faber and
Patrick Traxler},
editor = {Chitta Baral and
Gianluigi Greco and
Nicola Leone and
Giorgio Terracina},
title = {Testing Strong Equivalence of Datalog Programs - Implementation and
Examples},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
{LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3662},
pages = {437--441},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11546207\_42},
doi = {10.1007/11546207\_42},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/EiterFT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/FaberGL05,
author = {Wolfgang Faber and
Gianluigi Greco and
Nicola Leone},
editor = {Andrea Cal{\`{\i}} and
Diego Calvanese and
Enrico Franconi and
Maurizio Lenzerini and
Letizia Tanca},
title = {Magic Sets and their Application to Data Integration},
booktitle = {Proceedings of the Thirteenth Italian Symposium on Advanced Database
Systems, {SEBD} 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy,
June 19-22, 2005},
pages = {47--54},
year = {2005},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sebd/FaberGL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/LeoneEFFGG05,
author = {Nicola Leone and
Thomas Eiter and
Wolfgang Faber and
Michael Fink and
Georg Gottlob and
Gianluigi Greco},
editor = {Andrea Cal{\`{\i}} and
Diego Calvanese and
Enrico Franconi and
Maurizio Lenzerini and
Letizia Tanca},
title = {Boosting Information Integration: The {INFOMIX} System},
booktitle = {Proceedings of the Thirteenth Italian Symposium on Advanced Database
Systems, {SEBD} 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy,
June 19-22, 2005},
pages = {55--66},
year = {2005},
timestamp = {Thu, 16 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sebd/LeoneEFFGG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/LeoneGILTEFFGRLLRKNS05,
author = {Nicola Leone and
Gianluigi Greco and
Giovambattista Ianni and
Vincenzino Lio and
Giorgio Terracina and
Thomas Eiter and
Wolfgang Faber and
Michael Fink and
Georg Gottlob and
Riccardo Rosati and
Domenico Lembo and
Maurizio Lenzerini and
Marco Ruzzi and
Edyta Kalka and
Bartosz Nowicki and
Witold Staniszkis},
editor = {Fatma {\"{O}}zcan},
title = {The {INFOMIX} system for advanced integration of incomplete and inconsistent
data},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
of Data, Baltimore, Maryland, USA, June 14-16, 2005},
pages = {915--917},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066157.1066286},
doi = {10.1145/1066157.1066286},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/LeoneGILTEFFGRLLRKNS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/EiterFLPP04,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
title = {A logic programming approach to knowledge-state planning: Semantics
and complexity},
journal = {{ACM} Trans. Comput. Log.},
volume = {5},
number = {2},
pages = {206--263},
year = {2004},
url = {https://doi.org/10.1145/976706.976708},
doi = {10.1145/976706.976708},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/EiterFLPP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CumboFGL04,
author = {Chiara Cumbo and
Wolfgang Faber and
Gianluigi Greco and
Nicola Leone},
editor = {Bart Demoen and
Vladimir Lifschitz},
title = {Enhancing the Magic-Set Method for Disjunctive Datalog Programs},
booktitle = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
France, September 6-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3132},
pages = {371--385},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27775-0\_26},
doi = {10.1007/978-3-540-27775-0\_26},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/CumboFGL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/FaberLP04,
author = {Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Jo{\~{a}}o Alexandre Leite},
title = {Recursive Aggregates in Disjunctive Logic Programs: Semantics and
Complexity},
booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3229},
pages = {200--212},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30227-8\_19},
doi = {10.1007/978-3-540-30227-8\_19},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/FaberLP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/CalimeriCCFLPP04,
author = {Francesco Calimeri and
Manuela Citrigno and
Chiara Cumbo and
Wolfgang Faber and
Nicola Leone and
Simona Perri and
Gerald Pfeifer},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Jo{\~{a}}o Alexandre Leite},
title = {New {DLV} Features for Data Integration},
booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3229},
pages = {698--701},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30227-8\_60},
doi = {10.1007/978-3-540-30227-8\_60},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/CalimeriCCFLPP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/EiterFFPW04,
author = {Thomas Eiter and
Wolfgang Faber and
Michael Fink and
Gerald Pfeifer and
Stefan Woltran},
editor = {Didier Dubois and
Christopher A. Welty and
Mary{-}Anne Williams},
title = {Complexity of Model Checking and Bounded Predicate Arities for Non-ground
Answer Set Programming},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Ninth International Conference (KR2004), Whistler, Canada,
June 2-5, 2004},
pages = {377--387},
publisher = {{AAAI} Press},
year = {2004},
url = {http://www.aaai.org/Library/KR/2004/kr04-040.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/EiterFFPW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DellArmiFILPP04,
author = {Tina Dell'Armi and
Wolfgang Faber and
Giuseppe Ielpa and
Nicola Leone and
Simona Perri and
Gerald Pfeifer},
editor = {Vladimir Lifschitz and
Ilkka Niemel{\"{a}}},
title = {System Description: {DLV} with Aggregates},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 7th International Conference,
{LPNMR} 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2923},
pages = {326--330},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24609-1\_28},
doi = {10.1007/978-3-540-24609-1\_28},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/DellArmiFILPP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/EiterEF04,
author = {Thomas Eiter and
Esra Erdem and
Wolfgang Faber},
editor = {James P. Delgrande and
Torsten Schaub},
title = {Plan reversals for recovery in execution monitoring},
booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
Whistler, Canada, June 6-8, 2004, Proceedings},
pages = {147--154},
year = {2004},
url = {http://www.pims.math.ca/science/2004/NMR/papers/paper20.pdf},
timestamp = {Tue, 19 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nmr/EiterEF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/EiterFLPP03,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
title = {A logic programming approach to knowledge-state planning, {II:} The
DLV\({}^{\mbox{K}}\) system},
journal = {Artif. Intell.},
volume = {144},
number = {1-2},
pages = {157--211},
year = {2003},
url = {https://doi.org/10.1016/S0004-3702(02)00367-3},
doi = {10.1016/S0004-3702(02)00367-3},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/EiterFLPP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/EiterFLPP03,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
title = {Answer Set Planning Under Action Costs},
journal = {J. Artif. Intell. Res.},
volume = {19},
pages = {25--71},
year = {2003},
url = {https://doi.org/10.1613/jair.1148},
doi = {10.1613/JAIR.1148},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/EiterFLPP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/EiterFLP03,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
title = {Computing preferred answer sets by meta-interpretation in answer set
programming},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {4-5},
pages = {463--498},
year = {2003},
url = {https://doi.org/10.1017/S1471068403001753},
doi = {10.1017/S1471068403001753},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/EiterFLP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/CumboFG03,
author = {Chiara Cumbo and
Wolfgang Faber and
Gianluigi Greco},
editor = {Francesco Buccafurri},
title = {Improving Query Optimization for Disjunctive Datalog},
booktitle = {2003 Joint Conference on Declarative Programming, AGP-2003, Reggio
Calabria, Italy, September 3-5, 2003},
pages = {252--262},
year = {2003},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/CumboFG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/DellArmiFILP03,
author = {Tina Dell'Armi and
Wolfgang Faber and
Giuseppe Ielpa and
Nicola Leone and
Gerald Pfeifer},
editor = {Marina De Vos and
Alessandro Provetti},
title = {Aggregate Functions in {DLV}},
booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28,
2003},
series = {{CEUR} Workshop Proceedings},
volume = {78},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-78/asp03-final-dellarmi.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/asp/DellArmiFILP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/EiterFFPW03,
author = {Thomas Eiter and
Wolfgang Faber and
Michael Fink and
Gerald Pfeifer and
Stefan Woltran},
editor = {Marina De Vos and
Alessandro Provetti},
title = {Complexity of Answer Set Checking and Bounded Predicate Arities for
Non-ground Answer Set Programming},
booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28,
2003},
series = {{CEUR} Workshop Proceedings},
volume = {78},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-78/asp03-final-eiter-compl.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asp/EiterFFPW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DellArmiFILP03,
author = {Tina Dell'Armi and
Wolfgang Faber and
Giuseppe Ielpa and
Nicola Leone and
Gerald Pfeifer},
editor = {Georg Gottlob and
Toby Walsh},
title = {Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity,
and Implementation in {DLV}},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {847--852},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/122.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:41 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/DellArmiFILP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BuccafurriFL02,
author = {Francesco Buccafurri and
Wolfgang Faber and
Nicola Leone},
title = {Disjunctive Logic Programs with Inheritance},
journal = {Theory Pract. Log. Program.},
volume = {2},
number = {3},
pages = {293--321},
year = {2002},
url = {https://doi.org/10.1017/S1471068402001394},
doi = {10.1017/S1471068402001394},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BuccafurriFL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/EiterFLPP02,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {Answer Set Planning under Action Costs},
booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2424},
pages = {186--197},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45757-7\_16},
doi = {10.1007/3-540-45757-7\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/EiterFLPP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/LeonePFCDEGIIKPP02,
author = {Nicola Leone and
Gerald Pfeifer and
Wolfgang Faber and
Francesco Calimeri and
Tina Dell'Armi and
Thomas Eiter and
Georg Gottlob and
Giovambattista Ianni and
Giuseppe Ielpa and
Christoph Koch and
Simona Perri and
Axel Polleres},
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {The {DLV} System},
booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2424},
pages = {537--540},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45757-7\_50},
doi = {10.1007/3-540-45757-7\_50},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/LeonePFCDEGIIKPP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/EiterFLPP02a,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {The DLV\({}^{\mbox{K}}\) Planning System: Progress Report},
booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2424},
pages = {541--544},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45757-7\_51},
doi = {10.1007/3-540-45757-7\_51},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/EiterFLPP02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/CalimeriFLP02,
author = {Francesco Calimeri and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
editor = {Salem Benferhat and
Enrico Giunchiglia},
title = {Pruning operators for answer set programming systems},
booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
April 19-21, Toulouse, France, Proceedings},
pages = {200--209},
year = {2002},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nmr/CalimeriFLP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0211004,
author = {Nicola Leone and
Gerald Pfeifer and
Wolfgang Faber and
Thomas Eiter and
Georg Gottlob and
Simona Perri and
Francesco Scarcello},
title = {The {DLV} System for Knowledge Representation and Reasoning},
journal = {CoRR},
volume = {cs.AI/0211004},
year = {2002},
url = {http://arxiv.org/abs/cs/0211004},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0211004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0201013,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
title = {Computing Preferred Answer Sets by Meta-Interpretation in Answer Set
Programming},
journal = {CoRR},
volume = {cs.LO/0201013},
year = {2002},
url = {https://arxiv.org/abs/cs/0201013},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0201013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/EiterFLP01,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
editor = {Alessandro Provetti and
Tran Cao Son},
title = {Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation
in Answer Set Programming},
booktitle = {Answer Set Programming, Towards Efficient and Scalable Knowledge Representation
and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford,
CA, USA, March 26-28, 2001},
year = {2001},
url = {http://www.cs.nmsu.edu/\%7Etson/ASP2001/12.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asp/EiterFLP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FaberLP01,
author = {Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
editor = {Bernhard Nebel},
title = {Experimenting with Heuristics for Answer Set Programming},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
2001},
pages = {635--640},
publisher = {Morgan Kaufmann},
year = {2001},
timestamp = {Tue, 20 Aug 2019 16:18:14 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FaberLP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/FaberLP01,
author = {Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Optimizing the Computation of Heuristics for Answer Set Programming
Systems},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {295--308},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_22},
doi = {10.1007/3-540-45402-0\_22},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/FaberLP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DellArmiFIKLPP01,
author = {Tina Dell'Armi and
Wolfgang Faber and
Giuseppe Ielpa and
Christoph Koch and
Nicola Leone and
Simona Perri and
Gerald Pfeifer},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {System Description: {DLV}},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {424--428},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_36},
doi = {10.1007/3-540-45402-0\_36},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/DellArmiFIKLPP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/EiterFLPP01,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {System Description: The DLV\({}^{\mbox{K}}\) Planning System},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {429--433},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_37},
doi = {10.1007/3-540-45402-0\_37},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/EiterFLPP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2001,
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0},
doi = {10.1007/3-540-45402-0},
isbn = {3-540-42593-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0112006,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
title = {A Logic Programming Approach to Knowledge-State Planning: Semantics
and Complexity},
journal = {CoRR},
volume = {cs.AI/0112006},
year = {2001},
url = {https://arxiv.org/abs/cs/0112006},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0112006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0105036,
author = {Francesco Buccafurri and
Wolfgang Faber and
Nicola Leone},
title = {Disjunctive Logic Programs with Inheritance},
journal = {CoRR},
volume = {cs.LO/0105036},
year = {2001},
url = {https://arxiv.org/abs/cs/0105036},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0105036.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/EiterFLPP00,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {Planning under Incomplete Knowledge},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {807--821},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_54},
doi = {10.1007/3-540-44957-4\_54},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cl/EiterFLPP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/EiterFLPP00,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
editor = {Fran{\c{c}}ois Bry and
Ulrich Geske and
Dietmar Seipel},
title = {Using the dlv System for Planning and Diagnostic Reasoning},
booktitle = {14. Workshop Logische Programmierung, W{\"{u}}rzburg, Deutschland,
26.-28. Januar 2000},
series = {{GMD} Report},
volume = {90},
pages = {125--134},
year = {2000},
timestamp = {Sat, 07 Sep 2019 11:59:25 +0200},
biburl = {https://dblp.org/rec/conf/wlp/EiterFLPP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0003036,
author = {Thomas Eiter and
Wolfgang Faber and
Christoph Koch and
Nicola Leone and
Gerald Pfeifer},
title = {{DLV} - {A} System for Declarative Problem Solving},
journal = {CoRR},
volume = {cs.AI/0003036},
year = {2000},
url = {https://arxiv.org/abs/cs/0003036},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0003036.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/EiterFLP99,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
title = {The Diagnosis Frontend of the dlv System},
journal = {{AI} Commun.},
volume = {12},
number = {1-2},
pages = {99--111},
year = {1999},
url = {http://content.iospress.com/articles/ai-communications/aic171},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aicom/EiterFLP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BuccafurriFL99,
author = {Francesco Buccafurri and
Wolfgang Faber and
Nicola Leone},
editor = {Danny De Schreye},
title = {Disjunctive Logic Programs with Inheritance},
booktitle = {Logic Programming: The 1999 International Conference, Las Cruces,
New Mexico, USA, November 29 - December 4, 1999},
pages = {79--93},
publisher = {{MIT} Press},
year = {1999},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BuccafurriFL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/FaberLP99,
author = {Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
editor = {Michael Gelfond and
Nicola Leone and
Gerald Pfeifer},
title = {Pushing Goal Derivation in {DLP} Computations},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 5th International Conference,
LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1730},
pages = {177--191},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46767-X\_13},
doi = {10.1007/3-540-46767-X\_13},
timestamp = {Sun, 02 Oct 2022 16:11:19 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/FaberLP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/CitrignoEFGKLMPS97,
author = {Simona Citrigno and
Thomas Eiter and
Wolfgang Faber and
Georg Gottlob and
Christoph Koch and
Nicola Leone and
Cristinel Mateis and
Gerald Pfeifer and
Francesco Scarcello},
editor = {Fran{\c{c}}ois Bry and
Burkhard Freitag and
Dietmar Seipel},
title = {The dlv System: Model Generator and Advanced Frontends (system description)},
booktitle = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
publisher = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
year = {1997},
timestamp = {Wed, 07 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wlp/CitrignoEFGKLMPS97.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-04-25 01:19 CEST 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:
