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}
}
@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},
publisher = {{AAAI} Press},
year = {2024}
}
@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}
}
@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}
}
@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}
}
@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},
publisher = {{AAAI} Press},
year = {2023}
}
@inproceedings{DBLP:conf/aiia/0001MR23,
author = {Wolfgang Faber and
Giuseppe Mazzotta and
Francesco Ricca},
title = {Enhancing {ASP(Q)} evaluation},
booktitle = {DP@AI*IA},
series = {{CEUR} Workshop Proceedings},
volume = {3537},
pages = {38--46},
publisher = {CEUR-WS.org},
year = {2023}
}
@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}},
series = {Lecture Notes in Computer Science},
volume = {13880},
pages = {216--231},
publisher = {Springer},
year = {2023}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/datalog/Qureshi022,
author = {Haya Majid Qureshi and
Wolfgang Faber},
title = {Meta-reasoning over {OWL} 2 {QL} using Datalog},
booktitle = {Datalog},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {181--187},
publisher = {CEUR-WS.org},
year = {2022}
}
@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},
series = {{CEUR} Workshop Proceedings},
volume = {3281},
pages = {78--89},
publisher = {CEUR-WS.org},
year = {2022}
}
@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}},
series = {Lecture Notes in Computer Science},
volume = {13165},
pages = {42--56},
publisher = {Springer},
year = {2022}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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},
series = {Lecture Notes in Computer Science},
volume = {12851},
pages = {218--233},
publisher = {Springer},
year = {2021}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/cilc/000120,
author = {Wolfgang Faber},
title = {Reversibility of Actions and Plans (invited talk)},
booktitle = {{CILC}},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {1},
publisher = {CEUR-WS.org},
year = {2020}
}
@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},
publisher = {{IEEE}},
year = {2020}
}
@inproceedings{DBLP:conf/iclp/0001M20,
author = {Wolfgang Faber and
Michael Morak},
title = {Determining Action Reversibility in {STRIPS} Using Epistemic Logic
Programs},
booktitle = {{ICLP} Workshops},
series = {{CEUR} Workshop Proceedings},
volume = {2678},
publisher = {CEUR-WS.org},
year = {2020}
}
@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},
series = {{CEUR} Workshop Proceedings},
volume = {2678},
publisher = {CEUR-WS.org},
year = {2020}
}
@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}
}
@inproceedings{DBLP:conf/ruleml/Qureshi020,
author = {Haya Majid Qureshi and
Wolfgang Faber},
title = {Supporting Metamodeling in Ontologies Using Rules},
booktitle = {RuleML+RR (Supplement)},
series = {{CEUR} Workshop Proceedings},
volume = {2644},
pages = {95--102},
publisher = {CEUR-WS.org},
year = {2020}
}
@inproceedings{DBLP:conf/rweb/000120,
author = {Wolfgang Faber},
title = {An Introduction to Answer Set Programming and Some of Its Extensions},
booktitle = {{RW}},
series = {Lecture Notes in Computer Science},
volume = {12258},
pages = {149--185},
publisher = {Springer},
year = {2020}
}
@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}
}
@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}
}
@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},
publisher = {{AAAI} Press},
year = {2019}
}
@inproceedings{DBLP:conf/jelia/Alviano019,
author = {Mario Alviano and
Wolfgang Faber},
title = {Chain Answer Sets for Logic Programs with Generalized Atoms},
booktitle = {{JELIA}},
series = {Lecture Notes in Computer Science},
volume = {11468},
pages = {462--478},
publisher = {Springer},
year = {2019}
}
@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}},
series = {Lecture Notes in Computer Science},
volume = {11468},
pages = {479--489},
publisher = {Springer},
year = {2019}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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},
publisher = {{AAAI} Press},
year = {2018}
}
@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}},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {305},
pages = {459--460},
publisher = {{IOS} Press},
year = {2018}
}
@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},
publisher = {{IEEE}},
year = {2018}
}
@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}
}
@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}
}
@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}
}
@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},
publisher = {{AAAI} Press},
year = {2017}
}
@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},
publisher = {Springer},
year = {2017}
}
@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}
}
@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}
}
@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},
publisher = {{AAAI} Press},
year = {2016}
}
@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}},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {966--973},
publisher = {{IOS} Press},
year = {2016}
}
@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)},
series = {OASIcs},
volume = {52},
pages = {4:1--4:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016}
}
@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},
publisher = {{IJCAI/AAAI} Press},
year = {2016}
}
@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},
series = {{CEUR} Workshop Proceedings},
volume = {1782},
publisher = {CEUR-WS.org},
year = {2016}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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},
publisher = {{AAAI} Press},
year = {2015}
}
@inproceedings{DBLP:conf/rr/AlvianoF15,
author = {Mario Alviano and
Wolfgang Faber},
title = {Supportedly Stable Answer Sets for Logic Programs with Generalized
Atoms},
booktitle = {{RR}},
series = {Lecture Notes in Computer Science},
volume = {9209},
pages = {30--44},
publisher = {Springer},
year = {2015}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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},
publisher = {{AAAI} Press},
year = {2013}
}
@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},
publisher = {Springer},
year = {2013}
}
@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}},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {54--66},
publisher = {Springer},
year = {2013}
}
@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}},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {67--72},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/rweb/Faber13,
author = {Wolfgang Faber},
title = {Answer Set Programming},
booktitle = {Reasoning Web},
series = {Lecture Notes in Computer Science},
volume = {8067},
pages = {162--193},
publisher = {Springer},
year = {2013}
}
@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},
publisher = {Curran Associates},
year = {2013}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {195--210},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/birthday/FaberLP12,
author = {Wolfgang Faber and
Nicola Leone and
Simona Perri},
title = {The Intelligent Grounder of {DLV}},
booktitle = {Correct Reasoning},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {247--264},
publisher = {Springer},
year = {2012}
}
@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},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/kr/FaberTW12,
author = {Wolfgang Faber and
Miroslaw Truszczynski and
Stefan Woltran},
title = {Strong Equivalence of Qualitative Optimization Problems},
booktitle = {{KR}},
publisher = {{AAAI} Press},
year = {2012}
}
@inproceedings{DBLP:conf/rr/Faber12,
author = {Wolfgang Faber},
title = {A Polynomial Reduction from {ASPDA} to {ASP}},
booktitle = {{RR}},
series = {Lecture Notes in Computer Science},
volume = {7497},
pages = {213--216},
publisher = {Springer},
year = {2012}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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},
series = {Lecture Notes in Computer Science},
volume = {6565},
pages = {44--63},
publisher = {Springer},
year = {2011}
}
@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}},
series = {{CEUR} Workshop Proceedings},
volume = {810},
pages = {131--145},
publisher = {CEUR-WS.org},
year = {2011}
}
@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}},
series = {{CEUR} Workshop Proceedings},
volume = {810},
pages = {99--113},
publisher = {CEUR-WS.org},
year = {2011}
}
@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}},
series = {Lecture Notes in Computer Science},
volume = {6645},
pages = {388--403},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/lpnmr/Faber11,
author = {Wolfgang Faber},
title = {Privacy Preservation Using Multi-Context Systems},
booktitle = {Log-IC@LPNMR},
series = {{CEUR} Workshop Proceedings},
volume = {738},
pages = {45--51},
publisher = {CEUR-WS.org},
year = {2011}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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},
publisher = {{AAAI} Press},
year = {2010}
}
@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},
series = {{CEUR} Workshop Proceedings},
volume = {616},
publisher = {CEUR-WS.org},
year = {2010}
}
@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},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {282--301},
publisher = {Springer},
year = {2010}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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)}},
series = {Lecture Notes in Computer Science},
volume = {5619},
pages = {1003--1012},
publisher = {Springer},
year = {2009}
}
@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}},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {477--482},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/lpnmr/FaberW09,
author = {Wolfgang Faber and
Stefan Woltran},
title = {Manifold Answer-Set Programs for Meta-reasoning},
booktitle = {{LPNMR}},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {115--128},
publisher = {Springer},
year = {2009}
}
@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}
}
@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}
}
@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}
}
@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},
publisher = {{AAAI} Press},
year = {2008}
}
@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}},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {53--68},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/jelia/BriaFL08,
author = {Annamaria Bria and
Wolfgang Faber and
Nicola Leone},
title = {Normal Form Nested Programs},
booktitle = {{JELIA}},
series = {Lecture Notes in Computer Science},
volume = {5293},
pages = {76--88},
publisher = {Springer},
year = {2008}
}
@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},
publisher = {{AAAI} Press},
year = {2008}
}
@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}},
series = {{CEUR} Workshop Proceedings},
volume = {451},
publisher = {CEUR-WS.org},
year = {2008}
}
@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},
publisher = {John Wiley {\&} Sons, Inc.},
year = {2008}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/lpnmr/FaberL07,
author = {Wolfgang Faber and
Nicola Leone},
title = {On the Complexity of Answer Set Programming with Aggregates},
booktitle = {{LPNMR}},
series = {Lecture Notes in Computer Science},
volume = {4483},
pages = {97--109},
publisher = {Springer},
year = {2007}
}
@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}},
series = {Lecture Notes in Computer Science},
volume = {4483},
pages = {110--122},
publisher = {Springer},
year = {2007}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/wlp/Faber06,
author = {Wolfgang Faber},
title = {Decomposition of Nonmonotone Aggregates in Answer Set Programming},
booktitle = {{WLP}},
series = {{INFSYS} Research Report},
volume = {1843-06-02},
pages = {164--171},
publisher = {Technische Universit{\"{a}}t Wien, Austria},
year = {2006}
}
@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}
}
@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}},
series = {Lecture Notes in Computer Science},
volume = {3363},
pages = {306--320},
publisher = {Springer},
year = {2005}
}
@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},
publisher = {Professional Book Center},
year = {2005}
}
@inproceedings{DBLP:conf/ijcai/FaberK05,
author = {Wolfgang Faber and
Kathrin Konczak},
title = {Strong Equivalence for Logic Programs with Preferences},
booktitle = {{IJCAI}},
pages = {430--435},
publisher = {Professional Book Center},
year = {2005}
}
@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},
publisher = {Professional Book Center},
year = {2005}
}
@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}},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {637--650},
publisher = {Springer},
year = {2005}
}
@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}},
series = {Lecture Notes in Computer Science},
volume = {3662},
pages = {437--441},
publisher = {Springer},
year = {2005}
}
@inproceedings{DBLP:conf/lpnmr/Faber05,
author = {Wolfgang Faber},
title = {Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates},
booktitle = {{LPNMR}},
series = {Lecture Notes in Computer Science},
volume = {3662},
pages = {40--52},
publisher = {Springer},
year = {2005}
}
@inproceedings{DBLP:conf/lpnmr/FaberR05,
author = {Wolfgang Faber and
Francesco Ricca},
title = {Solving Hard {ASP} Programs Efficiently},
booktitle = {{LPNMR}},
series = {Lecture Notes in Computer Science},
volume = {3662},
pages = {240--252},
publisher = {Springer},
year = {2005}
}
@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}},
series = {Lecture Notes in Computer Science},
volume = {3662},
pages = {379--383},
publisher = {Springer},
year = {2005}
}
@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}
}
@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}
}
@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},
publisher = {{ACM}},
year = {2005}
}
@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}
}
@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}},
series = {Lecture Notes in Computer Science},
volume = {3132},
pages = {371--385},
publisher = {Springer},
year = {2004}
}
@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}},
series = {Lecture Notes in Computer Science},
volume = {3229},
pages = {698--701},
publisher = {Springer},
year = {2004}
}
@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}},
series = {Lecture Notes in Computer Science},
volume = {3229},
pages = {200--212},
publisher = {Springer},
year = {2004}
}
@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},
publisher = {{AAAI} Press},
year = {2004}
}
@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}},
series = {Lecture Notes in Computer Science},
volume = {2923},
pages = {326--330},
publisher = {Springer},
year = {2004}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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},
series = {{CEUR} Workshop Proceedings},
volume = {78},
publisher = {CEUR-WS.org},
year = {2003}
}
@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},
series = {{CEUR} Workshop Proceedings},
volume = {78},
publisher = {CEUR-WS.org},
year = {2003}
}
@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},
publisher = {Morgan Kaufmann},
year = {2003}
}
@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}
}
@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}},
series = {Lecture Notes in Computer Science},
volume = {2424},
pages = {186--197},
publisher = {Springer},
year = {2002}
}
@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}},
series = {Lecture Notes in Computer Science},
volume = {2424},
pages = {541--544},
publisher = {Springer},
year = {2002}
}
@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}},
series = {Lecture Notes in Computer Science},
volume = {2424},
pages = {537--540},
publisher = {Springer},
year = {2002}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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},
publisher = {Morgan Kaufmann},
year = {2001}
}
@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}},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {424--428},
publisher = {Springer},
year = {2001}
}
@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}},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {429--433},
publisher = {Springer},
year = {2001}
}
@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}},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {295--308},
publisher = {Springer},
year = {2001}
}
@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}
}
@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}
}
@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}
}
@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},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {807--821},
publisher = {Springer},
year = {2000}
}
@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}},
series = {{GMD} Report},
volume = {90},
pages = {125--134},
year = {2000}
}
@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}
}
@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}
}
@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},
publisher = {{MIT} Press},
year = {1999}
}
@inproceedings{DBLP:conf/lpnmr/FaberLP99,
author = {Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
title = {Pushing Goal Derivation in {DLP} Computations},
booktitle = {{LPNMR}},
series = {Lecture Notes in Computer Science},
volume = {1730},
pages = {177--191},
publisher = {Springer},
year = {1999}
}
@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}
}
@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}},
publisher = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
year = {1997}
}
@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},
series = {Informatik-Fachberichte},
volume = {276},
pages = {145--155},
publisher = {Springer},
year = {1991}
}
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-09-07 02:23 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:
