Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Wolfgang Faber"
download as .bib file
@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 = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/QureshiF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaps/MedCM024,
author = {Jakub Med and
Luk{\'{a}}s Chrpa and
Michael Morak and
Wolfgang Faber},
title = {Weak and Strong Reversibility of Non-deterministic Actions: Universality
and Uniformity},
booktitle = {{ICAPS}},
pages = {369--377},
year = {2024},
url = {https://doi.org/10.1609/icaps.v34i1.31496},
doi = {10.1609/ICAPS.V34I1.31496},
timestamp = {Mon, 03 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaps/MedCM024.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},
title = {Evaluating Epistemic Logic Programs via Answer Set Programming with
Quantifiers},
booktitle = {{AAAI}},
pages = {6322--6329},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i5.25778},
doi = {10.1609/AAAI.V37I5.25778},
timestamp = {Mon, 04 Sep 2023 01:00:00 +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},
title = {Enhancing {ASP(Q)} evaluation},
booktitle = {DP@AI*IA},
pages = {38--46},
year = {2023},
url = {https://ceur-ws.org/Vol-3537/paper5.pdf},
timestamp = {Tue, 19 Dec 2023 00:00:00 +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},
title = {Using Hybrid Knowledge Bases for Meta-reasoning over {OWL} 2 {QL}},
booktitle = {{PADL}},
pages = {216--231},
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},
title = {Meta-reasoning over {OWL} 2 {QL} using Datalog},
booktitle = {Datalog},
pages = {181--187},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/short7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +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},
title = {Evaluating Epistemic Logic Programs via Answer Set Programming with
Quantifiers},
booktitle = {HYDRA/RCRA@LPNMR},
pages = {78--89},
year = {2022},
url = {https://ceur-ws.org/Vol-3281/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +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},
title = {Determining Action Reversibility in {STRIPS} Using Answer Set Programming
with Quantifiers},
booktitle = {{PADL}},
pages = {42--56},
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},
title = {Universal and Uniform Action Reversibility},
booktitle = {{KR}},
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 00:00:00 +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},
title = {An Evaluation of Meta-reasoning over {OWL} 2 {QL}},
booktitle = {RuleML+RR},
pages = {218--233},
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},
title = {Reversibility of Actions and Plans (invited talk)},
booktitle = {{CILC}},
pages = {1},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/abstract-invited-1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/000120.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/StieberHSRBFRS20,
author = {Simon Stieber and
Alwin Hoffmann and
Alexander Schiendorfer and
Wolfgang Reif and
Matthias Beyrle and
Jan Faber and
Michaela Richter and
Markus G. R. Sause},
title = {Towards Real-time Process Monitoring and Machine Learning for Manufacturing
Composite Structures},
booktitle = {{ETFA}},
pages = {1455--1458},
year = {2020},
url = {https://doi.org/10.1109/ETFA46521.2020.9212097},
doi = {10.1109/ETFA46521.2020.9212097},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/StieberHSRBFRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/0001M20,
author = {Wolfgang Faber and
Michael Morak},
title = {Determining Action Reversibility in {STRIPS} Using Epistemic Logic
Programs},
booktitle = {{ICLP} Workshops},
year = {2020},
url = {https://ceur-ws.org/Vol-2678/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +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},
title = {Determining Action Reversibility in {STRIPS} Using Answer Set Programming},
booktitle = {{ICLP} Workshops},
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},
title = {On the Reversibility of Actions in Planning},
booktitle = {{KR}},
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},
title = {Supporting Metamodeling in Ontologies Using Rules},
booktitle = {RuleML+RR (Supplement)},
pages = {95--102},
year = {2020},
url = {https://ceur-ws.org/Vol-2644/paper37.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +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},
title = {An Introduction to Answer Set Programming and Some of Its Extensions},
booktitle = {{RW}},
pages = {149--185},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60067-9\_6},
doi = {10.1007/978-3-030-60067-9\_6},
timestamp = {Thu, 27 Jun 2024 01:00:00 +0200},
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 = {{AAAI}},
pages = {2809--2816},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33012809},
doi = {10.1609/AAAI.V33I01.33012809},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
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},
title = {Chain Answer Sets for Logic Programs with Generalized Atoms},
booktitle = {{JELIA}},
pages = {462--478},
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, 31 May 2019 01:00:00 +0200},
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},
title = {Algorithm Selection for Paracoherent Answer Set Computation},
booktitle = {{JELIA}},
pages = {479--489},
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/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}
}
@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}
}
@inproceedings{DBLP:conf/aaai/AmendolaD0R18,
author = {Giovanni Amendola and
Carmine Dodaro and
Wolfgang Faber and
Francesco Ricca},
title = {Externally Supported Models for Efficient Computation of Paracoherent
Answer Sets},
booktitle = {{AAAI}},
pages = {1720--1727},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.11540},
doi = {10.1609/AAAI.V32I1.11540},
timestamp = {Mon, 04 Sep 2023 01:00:00 +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},
title = {Enumerating Preferred Extensions Using {ASP} Domain Heuristics: The
ASPrMin Solver},
booktitle = {{COMMA}},
pages = {459--460},
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 = {{SMC}},
pages = {3865--3870},
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}
}
@article{DBLP:journals/insk/AminiBBBCCFHHKK17,
author = {Sasan Amini and
Kristian Beckers and
Markus B{\"{o}}hm and
Fritz Busch and
Nihan Celikkaya and
Vittorio Cozzolino and
Anne Faber and
Michael Haus and
Dominik Huth and
Alfons Kemper and
Andreas Kipf and
Helmut Krcmar and
Florian Matthes and
J{\"{o}}rg Ott and
Christian Prehofer and
Alexander Pretschner and
{\"{O}}mer Uludag and
Wolfgang W{\"{o}}rndl},
title = {Informatikforschung f{\"{u}}r digitale Mobilit{\"{a}}tsplattformen
- Am Beispiel des {TUM} Living Lab Connected Mobility},
journal = {Inform. Spektrum},
volume = {40},
number = {2},
pages = {180--191},
year = {2017},
url = {https://doi.org/10.1007/s00287-017-1029-2},
doi = {10.1007/S00287-017-1029-2},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/AminiBBBCCFHHKK17.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},
title = {On the Computation of Paracoherent Answer Sets},
booktitle = {{AAAI}},
pages = {1034--1040},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.10679},
doi = {10.1609/AAAI.V31I1.10679},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AmendolaDFLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/AminiB0BCCFHHKKKMOPPUW17,
author = {Sasan Amini and
Kristian Beckers and
Markus B{\"{o}}hm and
Fritz Busch and
Nihan Celikkaya and
Vittorio Cozzolino and
Anne Faber and
Michael Haus and
Dominik Huth and
Alfons Kemper and
Andreas Kipf and
Helmut Krcmar and
Florian Matthes and
J{\"{o}}rg Ott and
Christian Prehofer and
Alexander Pretschner and
{\"{O}}mer Uludag and
Wolfgang W{\"{o}}rndl},
title = {Informatik-Forschung f{\"{u}}r digitale Mobilit{\"{a}}tsplattformen},
booktitle = {50 Jahre Universit{\"{a}}ts-Informatik in M{\"{u}}nchen},
pages = {155--172},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54712-0\_14},
doi = {10.1007/978-3-662-54712-0\_14},
timestamp = {Fri, 02 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/17/AminiB0BCCFHHKKKMOPPUW17.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 = {Thu, 27 Jun 2024 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},
title = {Boolean Functions with Ordered Domains in Answer Set Programming},
booktitle = {{AAAI}},
pages = {879--885},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.10096},
doi = {10.1609/AAAI.V30I1.10096},
timestamp = {Mon, 04 Sep 2023 01:00:00 +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},
title = {Solving Set Optimization Problems by Cardinality Optimization with
an Application to Argumentation},
booktitle = {{ECAI}},
pages = {966--973},
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},
title = {Answer Set Programming for Qualitative Spatio-Temporal Reasoning:
Methods and Experiments},
booktitle = {{ICLP} (Technical Communications)},
pages = {4:1--4:15},
year = {2016},
url = {https://doi.org/10.4230/OASIcs.ICLP.2016.4},
doi = {10.4230/OASICS.ICLP.2016.4},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
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},
title = {From Non-Convex Aggregates to Monotone Aggregates in {ASP}},
booktitle = {{IJCAI}},
pages = {4100--4194},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/610},
timestamp = {Tue, 20 Aug 2019 01:00: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},
title = {Proposing of Planning System for Sports Domain: {A} Tool for Professional
Coaches},
booktitle = {PlanSIG},
year = {2016},
url = {https://ceur-ws.org/Vol-1782/paper\_9.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +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},
title = {Stable Model Semantics of Abstract Dialectical Frameworks Revisited:
{A} Logic Programming Perspective},
booktitle = {{IJCAI}},
pages = {2684--2690},
year = {2015},
url = {http://ijcai.org/Abstract/15/380},
timestamp = {Tue, 20 Aug 2019 01:00:00 +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},
title = {Supportedly Stable Answer Sets for Logic Programs with Generalized
Atoms},
booktitle = {{RR}},
pages = {30--44},
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, 05 Sep 2020 01:00:00 +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},
title = {Abstract Preference Frameworks - a Unifying Perspective on Separability
and Strong Equivalence},
booktitle = {{AAAI}},
pages = {297--303},
year = {2013},
url = {https://doi.org/10.1609/aaai.v27i1.8593},
doi = {10.1609/AAAI.V27I1.8593},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FaberTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isse/FaberB13,
author = {Eberhard von Faber and
Wolfgang Behnsen},
title = {A security Taxonomy that facilitates Protecting an industrial {ICT}
Production and how it really provides Transparency},
booktitle = {{ISSE}},
pages = {87--98},
year = {2013},
url = {https://doi.org/10.1007/978-3-658-03371-2\_8},
doi = {10.1007/978-3-658-03371-2\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isse/FaberB13.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},
title = {{WASP:} {A} Native {ASP} Solver Based on Constraint Learning},
booktitle = {{LPNMR}},
pages = {54--66},
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},
title = {The Complexity Boundary of Answer Set Programming with Generalized
Atoms under the {FLP} Semantics},
booktitle = {{LPNMR}},
pages = {67--72},
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},
title = {Answer Set Programming},
booktitle = {Reasoning Web},
pages = {162--193},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39784-4\_4},
doi = {10.1007/978-3-642-39784-4\_4},
timestamp = {Sat, 05 Sep 2020 01:00:00 +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},
title = {Query Answering over Disjunctive Datalog with Existential Quantifiers},
booktitle = {{SEBD}},
pages = {393--400},
year = {2013},
timestamp = {Tue, 14 Nov 2017 00:00:00 +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/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/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/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},
title = {Privacy Preservation Using Multi-context Systems and Default Logic},
booktitle = {Correct Reasoning},
pages = {195--210},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_14},
doi = {10.1007/978-3-642-30743-0\_14},
timestamp = {Sun, 12 Nov 2017 00:00:00 +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},
title = {The Intelligent Grounder of {DLV}},
booktitle = {Correct Reasoning},
pages = {247--264},
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/isse/FaberB12,
author = {Eberhard von Faber and
Wolfgang Behnsen},
title = {A Systematic Holistic Approach for Providers to Deliver Secure {ICT}
Services},
booktitle = {{ISSE}},
pages = {80--88},
year = {2012},
url = {https://doi.org/10.1007/978-3-658-00333-3\_9},
doi = {10.1007/978-3-658-00333-3\_9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isse/FaberB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FaberTW12,
author = {Wolfgang Faber and
Miroslaw Truszczynski and
Stefan Woltran},
title = {Strong Equivalence of Qualitative Optimization Problems},
booktitle = {{KR}},
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},
title = {A Polynomial Reduction from {ASPDA} to {ASP}},
booktitle = {{RR}},
pages = {213--216},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33203-6\_17},
doi = {10.1007/978-3-642-33203-6\_17},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
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},
title = {Manifold Answer-Set Programs and Their Applications},
booktitle = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning},
pages = {44--63},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20832-4\_4},
doi = {10.1007/978-3-642-20832-4\_4},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/FaberW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/AlvianoFW11,
author = {Mario Alviano and
Wolfgang Faber and
Stefan Woltran},
title = {Complexity of Super-Coherence Problems in Answer Set Programming},
booktitle = {{CILC}},
pages = {131--145},
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/cilc/DodaroAFLRS11,
author = {Carmine Dodaro and
Mario Alviano and
Wolfgang Faber and
Nicola Leone and
Francesco Ricca and
Marco Sirianni},
title = {The Birth of a {WASP:} Preliminary Report on a New {ASP} Solver},
booktitle = {{CILC}},
pages = {99--113},
year = {2011},
url = {https://ceur-ws.org/Vol-810/paper-l06.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/DodaroAFLRS11.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},
title = {The Third Answer Set Programming Competition: Preliminary Report of
the System Competition Track},
booktitle = {{LPNMR}},
pages = {388--403},
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}
}
@inproceedings{DBLP:conf/lpnmr/Faber11,
author = {Wolfgang Faber},
title = {Privacy Preservation Using Multi-Context Systems},
booktitle = {Log-IC@LPNMR},
pages = {45--51},
year = {2011},
url = {https://ceur-ws.org/Vol-738/faber.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/Faber11.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},
title = {Space Efficient Evaluation of {ASP} Programs with Bounded Predicate
Arities},
booktitle = {{AAAI}},
pages = {303--308},
year = {2010},
url = {https://doi.org/10.1609/aaai.v24i1.7592},
doi = {10.1609/AAAI.V24I1.7592},
timestamp = {Mon, 04 Sep 2023 01:00:00 +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},
title = {Well-Founded Semantics for Logic Programs with Aggregates: Implementation
and Experimentation},
booktitle = {RCRA@CPAIOR},
year = {2010},
url = {https://ceur-ws.org/Vol-616/paper08.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +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},
title = {The Disjunctive Datalog System {DLV}},
booktitle = {Datalog},
pages = {282--301},
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/hci/MayerOFNKKS09,
author = {Marcel Ph. Mayer and
Barbara Odenthal and
Marco Faber and
Jan Andries Neuh{\"{o}}fer and
Wolfgang Kabu{\ss} and
Bernhard Kausch and
Christopher M. Schlick},
title = {Cognitive Engineering for Direct Human-Robot Cooperation in Self-optimizing
Assembly Cells},
booktitle = {{HCI} {(10)}},
pages = {1003--1012},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02806-9\_115},
doi = {10.1007/978-3-642-02806-9\_115},
timestamp = {Sat, 11 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hci/MayerOFNKKS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BriaFL09,
author = {Annamaria Bria and
Wolfgang Faber and
Nicola Leone},
title = {nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver},
booktitle = {{LPNMR}},
pages = {477--482},
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}
}
@inproceedings{DBLP:conf/lpnmr/FaberW09,
author = {Wolfgang Faber and
Stefan Woltran},
title = {Manifold Answer-Set Programs for Meta-reasoning},
booktitle = {{LPNMR}},
pages = {115--128},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_12},
doi = {10.1007/978-3-642-04238-6\_12},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/FaberW09.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},
title = {Magic Sets for Data Integration},
booktitle = {{AAAI}},
pages = {1528--1531},
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},
title = {The {DLV} Project: {A} Tour from Theory and Research to Applications
and Market},
booktitle = {{ICLP}},
pages = {53--68},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_10},
doi = {10.1007/978-3-540-89982-2\_10},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
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},
title = {Normal Form Nested Programs},
booktitle = {{JELIA}},
pages = {76--88},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87803-2\_8},
doi = {10.1007/978-3-540-87803-2\_8},
timestamp = {Sun, 12 Nov 2017 00:00:00 +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},
title = {Notions of Strong Equivalence for Logic Programs with Ordered Disjunction},
booktitle = {{KR}},
pages = {433--443},
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},
title = {Look-back Techniques for {ASP} Programs with Aggregates},
booktitle = {{RCRA}},
year = {2008},
url = {https://ceur-ws.org/Vol-451/paper07faber.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +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},
title = {Answer Set Programming},
booktitle = {Wiley Encyclopedia of Computer Science and Engineering},
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},
title = {On Reversing Actions: Algorithms and Complexity},
booktitle = {{IJCAI}},
pages = {336--341},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/052.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +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},
title = {On the Complexity of Answer Set Programming with Aggregates},
booktitle = {{LPNMR}},
pages = {97--109},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72200-7\_10},
doi = {10.1007/978-3-540-72200-7\_10},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
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},
title = {Experimenting with Look-Back Heuristics for Hard {ASP} Programs},
booktitle = {{LPNMR}},
pages = {110--122},
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},
title = {Decomposition of Nonmonotone Aggregates in Answer Set Programming},
booktitle = {{WLP}},
pages = {164--171},
year = {2006},
url = {http://www.kr.tuwien.ac.at/wlp06/23-final.ps.gz},
timestamp = {Sun, 12 Nov 2017 00:00:00 +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},
title = {Magic Sets and Their Application to Data Integration},
booktitle = {{ICDT}},
pages = {306--320},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30570-5\_21},
doi = {10.1007/978-3-540-30570-5\_21},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
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},
title = {Declarative and Computational Properties of Logic Programs with Aggregates},
booktitle = {{IJCAI}},
pages = {406--411},
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},
title = {Strong Equivalence for Logic Programs with Preferences},
booktitle = {{IJCAI}},
pages = {430--435},
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},
title = {Heuristics for Hard {ASP} Programs},
booktitle = {{IJCAI}},
pages = {1562--1563},
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},
title = {The Relationship Between Reasoning About Privacy and Default Logics},
booktitle = {{LPAR}},
pages = {637--650},
year = {2005},
url = {https://doi.org/10.1007/11591191\_44},
doi = {10.1007/11591191\_44},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/DixFS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/EiterFT05,
author = {Thomas Eiter and
Wolfgang Faber and
Patrick Traxler},
title = {Testing Strong Equivalence of Datalog Programs - Implementation and
Examples},
booktitle = {{LPNMR}},
pages = {437--441},
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/lpnmr/Faber05,
author = {Wolfgang Faber},
title = {Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates},
booktitle = {{LPNMR}},
pages = {40--52},
year = {2005},
url = {https://doi.org/10.1007/11546207\_4},
doi = {10.1007/11546207\_4},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
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},
title = {Solving Hard {ASP} Programs Efficiently},
booktitle = {{LPNMR}},
pages = {240--252},
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},
title = {Data Integration: a Challenging {ASP} Application},
booktitle = {{LPNMR}},
pages = {379--383},
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/sebd/FaberGL05,
author = {Wolfgang Faber and
Gianluigi Greco and
Nicola Leone},
title = {Magic Sets and their Application to Data Integration},
booktitle = {{SEBD}},
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},
title = {Boosting Information Integration: The {INFOMIX} System},
booktitle = {{SEBD}},
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},
title = {The {INFOMIX} system for advanced integration of incomplete and inconsistent
data},
booktitle = {{SIGMOD} Conference},
pages = {915--917},
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},
title = {Enhancing the Magic-Set Method for Disjunctive Datalog Programs},
booktitle = {{ICLP}},
pages = {371--385},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27775-0\_26},
doi = {10.1007/978-3-540-27775-0\_26},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CumboFGL04.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},
title = {New {DLV} Features for Data Integration},
booktitle = {{JELIA}},
pages = {698--701},
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/jelia/FaberLP04,
author = {Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
title = {Recursive Aggregates in Disjunctive Logic Programs: Semantics and
Complexity},
booktitle = {{JELIA}},
pages = {200--212},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30227-8\_19},
doi = {10.1007/978-3-540-30227-8\_19},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/FaberLP04.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},
title = {Complexity of Model Checking and Bounded Predicate Arities for Non-ground
Answer Set Programming},
booktitle = {{KR}},
pages = {377--387},
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},
title = {System Description: {DLV} with Aggregates},
booktitle = {{LPNMR}},
pages = {326--330},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24609-1\_28},
doi = {10.1007/978-3-540-24609-1\_28},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
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},
title = {Plan reversals for recovery in execution monitoring},
booktitle = {{NMR}},
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},
title = {Improving Query Optimization for Disjunctive Datalog},
booktitle = {{APPIA-GULP-PRODE}},
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},
title = {Aggregate Functions in {DLV}},
booktitle = {Answer Set Programming},
year = {2003},
url = {https://ceur-ws.org/Vol-78/asp03-final-dellarmi.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +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},
title = {Complexity of Answer Set Checking and Bounded Predicate Arities for
Non-ground Answer Set Programming},
booktitle = {Answer Set Programming},
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},
title = {Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity,
and Implementation in {DLV}},
booktitle = {{IJCAI}},
pages = {847--852},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/122.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +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},
title = {Answer Set Planning under Action Costs},
booktitle = {{JELIA}},
pages = {186--197},
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/EiterFLPP02a,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
title = {The DLV\({}^{\mbox{K}}\) Planning System: Progress Report},
booktitle = {{JELIA}},
pages = {541--544},
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/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},
title = {The {DLV} System},
booktitle = {{JELIA}},
pages = {537--540},
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/nmr/CalimeriFLP02,
author = {Francesco Calimeri and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
title = {Pruning operators for answer set programming systems},
booktitle = {{NMR}},
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},
title = {Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation
in Answer Set Programming},
booktitle = {Answer Set Programming},
year = {2001},
url = {http://www.cs.nmsu.edu/\&\#126;tson/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},
title = {Experimenting with Heuristics for Answer Set Programming},
booktitle = {{IJCAI}},
pages = {635--640},
year = {2001},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/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},
title = {System Description: {DLV}},
booktitle = {{LPNMR}},
pages = {424--428},
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},
title = {System Description: The DLV\({}^{\mbox{K}}\) Planning System},
booktitle = {{LPNMR}},
pages = {429--433},
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}
}
@inproceedings{DBLP:conf/lpnmr/FaberLP01,
author = {Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
title = {Optimizing the Computation of Heuristics for Answer Set Programming
Systems},
booktitle = {{LPNMR}},
pages = {295--308},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_22},
doi = {10.1007/3-540-45402-0\_22},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/FaberLP01.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},
title = {Planning under Incomplete Knowledge},
booktitle = {Computational Logic},
pages = {807--821},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_54},
doi = {10.1007/3-540-44957-4\_54},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
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},
title = {Using the dlv System for Planning and Diagnostic Reasoning},
booktitle = {{WLP}},
pages = {125--134},
year = {2000},
timestamp = {Thu, 08 Aug 2019 01:00:00 +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},
title = {Disjunctive Logic Programs with Inheritance},
booktitle = {{ICLP}},
pages = {79--93},
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},
title = {Pushing Goal Derivation in {DLP} Computations},
booktitle = {{LPNMR}},
pages = {177--191},
year = {1999},
url = {https://doi.org/10.1007/3-540-46767-X\_13},
doi = {10.1007/3-540-46767-X\_13},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/FaberLP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagm/1999,
editor = {Wolfgang F{\"{o}}rstner and
Joachim M. Buhmann and
Annett Faber and
Petko Faber},
title = {Mustererkennung 1999, 21. DAGM-Symposium, Bonn, 15.-17. September
1999, Proceedings},
series = {Informatik Aktuell},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-642-60243-6},
doi = {10.1007/978-3-642-60243-6},
isbn = {3-540-66381-9},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagm/1999.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},
title = {The dlv System: Model Generator and Advanced Frontends (system description)},
booktitle = {{WLP}},
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}
}
@inproceedings{DBLP:conf/him/JankoTF91,
author = {Wolfgang Janko and
Alfred Taudes and
Wolfgang Faber},
title = {Optimale Startpunkte zur Navigation in Hypermediasystemen - ein entscheidungstheoretischer
Ansatz},
booktitle = {Hypertext/Hypermedia},
pages = {145--155},
year = {1991},
url = {https://doi.org/10.1007/978-3-642-76698-5\_13},
doi = {10.1007/978-3-642-76698-5\_13},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/him/JankoTF91.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.
retrieved on 2024-07-08 06:58 CEST from data curated 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:
