Also look at the following sources:
@Article{ cali-etal-2020-tplp,
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 and Practice of Logic Programming}},
year = {2020},
volume = {20},
number = {2},
pages = {294--309},
doi = {10.1017/S1471068419000450},
pdf = {https://arxiv.org/pdf/1911.04326.pdf}
}
@Article{ fabe-etal-2019-iclp,
author = {Wolfgang Faber and Michael Morak and Stefan Woltran},
title = { On the Uniform Equivalence of Epistemic Logic Programs},
journal = {Theory and Practice of Logic Programming, 35th Int'l.
Conference on Logic Programming (ICLP 2019) Special Issue},
year = {2019},
volume = {19},
number = {5--6},
pages = {826--840},
doi = {10.1017/S1471068419000218},
pdf = {https://arxiv.org/pdf/1907.10925.pdf}
}
@Article{ alvi-fabe-2018-ki,
author = {Mario Alviano and Wolfgang Faber},
title = {Aggregates in Answer Set Programming},
journal = {KI -- K{\"u}nstliche Intelligenz},
year = {2018},
volume = {32},
issue = {2--3},
pages = {119--124},
doi = {10.1007/s13218-018-0545-9},
pdf = {http://www.wfaber.com/research/papers/ki-2018-aggregates.pdf}
}
@Article{ adri-etal-2018-ki,
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 = {KI -- K{\"u}nstliche Intelligenz},
year = {2018},
volume = {32},
issue = {2--3},
pages = {177--179},
doi = {10.1007/s13218-018-0533-0},
pdf = {http://www.wfaber.com/research/papers/ki-2018-dlv.pdf}
}
@Article{ alvi-etal-2015-tplp,
author = {Mario Alviano and Wolfgang Faber and Martin Gebser},
title = {Rewriting Recursive Aggregates in Answer Set Programming:
Back to Monotonicity},
journal = {{Theory and Practice of Logic Programming}},
volume = {15},
number = {4-5},
pages = {559--573},
year = {2015},
doi = {10.1017/S1471068415000228}
}
@Article{ alvi-fabe-2015-jetai,
author = {Mario Alviano and Wolfgang Faber},
title = {Effectively Solving {NP-SPEC} Encodings by Translation to
{ASP}},
journal = {{Journal of Experimental and Theoretical Artificial
Intelligence}},
year = {2015},
volume = {27},
number = {5},
pages = {577--601},
doi = {10.1080/0952813X.2014.993505}
}
@Article{ tach-etal-2014-tplp-iclp,
author = {Ilias Tachmazidis and Grigoris Antoniou and Wolfgang
Faber},
title = {Efficient Computation of the Well-Founded Semantics over
Big Data},
journal = {Theory and Practice of Logic Programming, 30th Int'l.
Conference on Logic Programming (ICLP'14) Special Issue},
year = {2014},
doi = {10.1017/S1471068414000131},
url = {http://arxiv.org/abs/1405.2590},
volume = {14},
number = {4--5},
pages = {445--459}
}
@Article{ alvi-etal-2014-tplp,
author = {Mario Alviano and Wolfgang Faber and Stefan Woltran},
title = {Complexity of super-coherence problems in {ASP}},
journal = {{Theory and Practice of Logic Programming}},
year = {2014},
doi = {10.1017/S147106841300001X},
url = {http://arxiv.org/abs/1212.5895},
volume = {14},
number = {3},
pages = {339--361}
}
@Article{ fabe-etal-2013-jair,
author = {Wolfgang Faber and Miros{\l}aw Truszczy{\'n}ski and Stefan
Woltran},
title = {Strong Equivalence of Qualitative Optimization Problems},
journal = {{Journal of Artificial Intelligence Research}},
year = {2013},
volume = {47},
pages = {351--391},
doi = {10.1613/jair.3991},
url = {http://www.jair.org/papers/paper3991.html}
}
@Article{ alvi-etal-2012-tplp,
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 and Practice of Logic Programming, 28th Int'l.
Conference on Logic Programming (ICLP'12) Special Issue},
year = {2012},
volume = {12},
number = {4--5},
month = {7},
pages = {701--718},
doi = {10.1017/S1471068412000257},
url = {http://arxiv.org/abs/1210.2316}
}
@Article{ alvi-etal-2012-aij,
author = {Mario Alviano and Wolfgang Faber and Gianluigi Greco and
Nicola Leone},
title = {Magic Sets for Disjunctive Datalog Programs},
journal = {{Artificial Intelligence}},
year = {2012},
volume = {187--187},
pages = {156--192},
doi = {10.1016/j.artint.2012.04.008},
url = {http://arxiv.org/abs/1204.6346}
}
@Article{ alvi-etal-2011-jair,
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 = {{Journal of Artificial Intelligence Research}},
year = {2011},
month = nov,
volume = {42},
pages = {487--527},
doi = {10.1613/jair.3432},
url = {http://www.jair.org/papers/paper3432.html}
}
@Article{ fabe-etal-2011-fi,
author = {Wolfgang Faber and Nicola Leone and Marco Maratea and
Francesco Ricca},
title = {Look-back Techniques for {ASP} Programs with Aggregates},
journal = {{Fundamenta Informaticae}},
year = {2011},
volume = {107},
number = {4},
pages = {379--413},
doi = {10.3233/FI-2011-408}
}
@Article{ alvi-fabe-2011-aicom,
author = {Mario Alviano and Wolfgang Faber},
title = {Dynamic Magic Sets and Super-coherent Answer Set
Programs},
journal = {{AI Communications -- The European Journal on Artificial
Intelligence}},
year = {2011},
volume = {24},
number = {2},
pages = {125--145},
doi = {10.3233/AIC-2011-0492}
}
@Article{ fabe-etal-2011-aij,
author = {Wolfgang Faber and Nicola Leone and Gerald Pfeifer},
title = {Semantics and Complexity of Recursive Aggregates in Answer
Set Programming},
journal = {{Artificial Intelligence}},
year = {2011},
volume = {175},
number = {1},
pages = {278--298},
doi = {10.1016/j.artint.2010.04.002},
note = {Special Issue: John McCarthy's Legacy}
}
@Article{ alvi-etal-2010-tplp,
author = {Mario Alviano and Wolfgang Faber and Nicola Leone},
title = {Disjunctive ASP with Functions: Decidable Queries and
Effective Computation},
journal = {Theory and Practice of Logic Programming, 26th Int'l.
Conference on Logic Programming (ICLP'10) Special Issue},
year = {2010},
volume = {10},
number = {4--6},
pages = {497--512},
doi = {10.1017/S1471068410000244},
url = {http://arxiv.org/abs/1007.4028}
}
@Article{ bria-etal-2009-fi,
author = {Annamaria Bria and Wolfgang Faber and Nicola Leone},
title = {Normal Form Nested Programs},
journal = {{Fundamenta Informaticae}},
year = {2009},
volume = {96},
number = {3},
pages = {271--295},
doi = {10.3233/FI-2009-179}
}
@Article{ fabe-etal-2008-tplp,
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 and Practice of Logic Programming}},
year = {2008},
volume = {8},
number = {5--6},
pages = {545--580},
doi = {10.1017/S1471068408003323},
url = {http://arxiv.org/abs/0802.3137}
}
@Article{ mara-etal-2008-joacil,
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 = {{Journal of Algorithms in Cognition, Informatics and
Logics}},
year = {2008},
volume = {63},
number = {1--3},
pages = {70--89},
doi = {10.1016/j.jalgor.2008.02.006}
}
@Article{ eite-etal-2008-jal,
author = {Thomas Eiter and Esra Erdem and Wolfgang Faber},
title = {{Undoing the Effects of Action Sequences}},
journal = {{Journal of Applied Logic}},
year = {2008},
volume = {6},
number = {3},
pages = {380--415},
doi = {10.1016/j.jal.2007.05.002}
}
@Article{ eite-etal-2008-amai,
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 = {{Annals of Mathematics and Artificial Intelligence}},
year = {2007},
volume = {51},
number = {2--4},
pages = {123--165},
doi = {10.1007/s10472-008-9086-5}
}
@Article{ fabe-etal-2008-amai,
author = {Wolfgang Faber and Nicola Leone and Gerald Pfeifer and
Francesco Ricca},
title = {On Look-Ahead Heuristics in Disjunctive Logic
Programming},
journal = {{Annals of Mathematics and Artificial Intelligence}},
year = {2007},
volume = {51},
number = {2--4},
pages = {229--266},
doi = {10.1007/s10472-008-9087-4}
}
@Article{ eite-etal-2007-fi,
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 = {{Fundamenta Informaticae}},
year = {2007},
volume = {79},
number = {1--2},
pages = {25--69},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=79&issue=1&spage=25}
}
@Article{ fabe-etal-2007-jcss,
author = {Wolfgang Faber and Gianluigi Greco and Nicola Leone},
title = {{Magic Sets and their Application to Data Integration}},
journal = {{Journal of Computer and System Sciences}},
year = {2007},
volume = {73},
number = {4},
pages = {584--609},
doi = {10.1016/j.jcss.2006.10.012}
}
@Article{ fabe-konc-2006-amai,
author = {Wolfgang Faber and Kathrin Konczak},
title = {{Strong Order Equivalence}},
journal = {{Annals of Mathematics and Artificial Intelligence}},
month = jun,
year = {2006},
volume = {47},
number = {1--2},
pages = {43--78},
doi = {10.1007/s10472-006-9027-0}
}
@Article{ leon-etal-2002-dlv,
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 Transactions on Computational Logic}},
year = {2006},
month = jul,
volume = {7},
number = {3},
pages = {499--562},
project = {dlv},
doi = {10.1145/1149114.1149117},
postscript = {http://www.arxiv.org/ps/cs.AI/0211004}
}
@Article{ ricc-etal-2006-aicom,
author = {Francesco Ricca and Wolfgang Faber and Nicola Leone},
title = {{A Backjumping Technique for Disjunctive Logic
Programming}},
journal = {{AI Communications -- The European Journal on Artificial
Intelligence}},
publisher = {IOS Press},
year = {2006},
volume = {19},
number = {2},
pages = {155--172},
postscript = {http://www.wfaber.com/research/papers/aicom-bj.ps.gz},
pdf = {http://www.wfaber.com/research/papers/aicom-bj.pdf}
}
@Article{ cali-etal-2005-fi,
author = {Francesco Calimeri and Wolfgang Faber and Nicola Leone and
Gerald Pfeifer},
title = {{Pruning Operators for Disjunctive Logic Programming
Systems}},
journal = {{Fundamenta Informaticae}},
volume = {71},
number = {2--3},
year = {2006},
project = {dlv},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=71&issue=2&spage=183},
postscript = {http://www.wfaber.com/research/papers/fi-prunop.ps.gz},
pdf = {http://www.wfaber.com/research/papers/fi-prunop.pdf}
}
@Article{ fabe-etal-2005-ia,
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}},
pages = {21--28},
year = {2005},
month = sep,
volume = {2},
number = {3},
project = dlv
}
@Article{ eite-etal-2001d,
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 Transactions on Computational Logic}},
project = {dlv},
year = {2004},
month = apr,
volume = {5},
number = {2},
pages = {206--263},
doi = {10.1145/976706.976708}
}
@Article{ eite-etal-2002a,
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 and Practice of Logic Programming}},
year = {2003},
month = {July/September},
volume = {3},
issue = {4/5},
pages = {463--498},
project = {dlv},
doi = {10.1017/S1471068403001753},
postscript = {http://www.wfaber.com/research/papers/tplp2003.ps.gz},
pdf = {http://www.wfaber.com/research/papers/tplp2003.pdf}
}
@Article{ eite-etal-2002costs,
author = {Thomas Eiter and Wolfgang Faber and Nicola Leone and
Gerald Pfeifer and Axel Polleres},
title = {{Answer Set Planning under Action Costs}},
journal = {{Journal of Artificial Intelligence Research}},
volume = {19},
pages = {25--71},
year = {2003},
project = {dlv},
pdf = {http://www.jair.org/papers/paper1148.html}
}
@Article{ eite-etal-2001e,
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$^{K}$ System}},
journal = {{Artificial Intelligence}},
year = {2003},
month = mar,
volume = {144},
number = {1--2},
pages = {157--211},
project = {dlv},
doi = {10.1016/S0004-3702(02)00367-3}
}
@Article{ bucc-etal-2002,
author = {Francesco Buccafurri and Wolfgang Faber and Nicola Leone},
title = {{Disjunctive Logic Programs with Inheritance}},
publisher = {Cambridge University Press},
journal = {{Theory and Practice of Logic Programming}},
volume = {2},
number = {3},
pages = {293--321},
month = may,
year = {2002},
project = {dlv},
doi = {10.1017/S1471068402001394},
postscript = {http://www.wfaber.com/research/papers/tplp2002.ps.gz},
pdf = {http://www.wfaber.com/research/papers/tplp2002.pdf}
}
@Article{ eite-etal-98n,
author = {Thomas Eiter and Wolfgang Faber and Nicola Leone and
Gerald Pfeifer},
title = {{The Diagnosis Frontend of the {\tt dlv} System}},
journal = {{AI Communications -- The European Journal on Artificial
Intelligence}},
publisher = {IOS Press},
year = {1999},
volume = {12},
number = {1--2},
pages = {99--111},
project = {dlv},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0921-7126&volume=12&issue=1&spage=99},
postscript = {http://www.dbai.tuwien.ac.at/proj/dlv/papers/DBAI-TR-98-20.ps.gz}
}
@InCollection{ fabe-2020-rw,
author = {Wolfgang Faber},
title = {An Introduction to Answer Set Programming and Some of Its
Extensions},
booktitle = {{Reasoning Web. Reasoning Web. Declarative Artificial
Intelligence}},
editor = {Marco Manna and Andreas Pieris},
publisher = {Springer Verlag},
year = {2020},
series = {{Lecture Notes in Computer Science}},
number = {12258},
doi = {10.1007/978-3-030-60067-9_6},
isbn = {978-3-030-60067-9}
}
@InCollection{ fabe-2013-rw,
author = {Wolfgang Faber},
title = {Answer Set Programming},
booktitle = {{Reasoning Web. Semantic Technologies for Intelligent Data
Access - 9th International Summer School 2013, Mannheim,
Germany, July 30 - August 2, 2013, Proceedings}},
editor = {Sebastian Rudolph and Georg Gottlob and Ian Horrocks and
Frank {van Harmelen}},
publisher = {Springer Verlag},
year = {2013},
series = {{Lecture Notes in Computer Science}},
number = {8067},
pages = {162--193},
doi = {10.1007/978-3-642-39784-4_4},
isbn = {978-3-642-39783-7}
}
@InCollection{ fabe-etal-2012-vl65,
author = {Wolfgang Faber and Nicola Leone and Simona Perri},
title = {The Intelligent Grounder of {DLV}},
booktitle = {Correct Reasoning -- Essays on Logic-Based AI in Honour of
Vladimir Lifschitz},
editor = {Esra Erdem and Joohyung Lee and Yuliya Lierler and David
Pearce},
publisher = {Springer Verlag},
year = {2012},
series = {{Lecture Notes in AI (LNAI)}},
number = {7265},
pages = {247--264},
doi = {10.1007/978-3-642-30743-0_17},
isbn = {978-3-642-30743-0},
pdf = {http://www.wfaber.com/research/papers/vl65-grounding.pdf},
webnote = {The original publication is available at
www.springerlink.com.}
}
@InCollection{ dix-etal-2012-vl65,
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 -- Essays on Logic-Based AI in Honour of
Vladimir Lifschitz},
editor = {Esra Erdem and Joohyung Lee and Yuliya Lierler and David
Pearce},
publisher = {Springer Verlag},
year = {2012},
series = {{Lecture Notes in AI (LNAI)}},
number = {7265},
pages = {195--210},
doi = {10.1007/978-3-642-30743-0_14},
isbn = {978-3-642-30743-0},
pdf = {http://www.wfaber.com/research/papers/vl65-privacy.pdf},
webnote = {The original publication is available at
www.springerlink.com.}
}
@InCollection{ alvi-etal-2011-dl20,
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 Reloaded: First International Workshop, Datalog
2010, Oxford, UK, March 16-19, 2010. Revised Selected
Papers},
editor = {Oege {de Moor} and Georg Gottlob and Tim Furche and Andrew
Sellers},
publisher = {Springer Verlag},
year = {2011},
series = {{Lecture Notes in AI (LNAI)}},
number = {6702},
pages = {282--301},
doi = {10.1007/978-3-642-24206-9_17},
isbn = {978-3-642-24205-2},
pdf = {http://www.wfaber.com/research/papers/dl20.pdf},
webnote = {The original publication is available at
www.springerlink.com.}
}
@InCollection{ alvi-etal-2011-nonmonat30,
author = {Mario Alviano and Francesco Calimeri and Wolfgang Faber
and Giovambattista Ianni and Nicola Leone},
title = {Function Symbols in {ASP}: Overview and Perspectives},
booktitle = {Nonmonotonic Reasoning at 30},
editor = {Gerhard Brewka and Victor Marek and Miros{\l}aw
Truszczy{\`n}ski},
publisher = {College Publications},
series = {Studies in Logic},
volume = {31},
pages = {1--24},
year = {2011},
month = jun,
isbn = {978-1-84890-042-4},
pdf = {http://www.wfaber.com/research/papers/nonmonat30.pdf}
}
@InCollection{ fabe-wolt-2011-mg65,
author = {Wolfgang Faber and Stefan Woltran},
title = {Manifold Answer-Set Programs and Their Applications},
booktitle = {Logic Programming, Knowledge Representation, and
Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond
on the Occasion of His 65th Birthday},
editor = {Marcello Balduccini and Son Tran},
publisher = {Springer Verlag},
year = {2011},
series = {{Lecture Notes in AI (LNAI)}},
number = {6565},
isbn = {978-3-642-20831-7},
doi = {10.1007/978-3-642-20832-4_4},
pages = {44-63},
pdf = {http://www.wfaber.com/research/papers/mg65.pdf},
webnote = {The original publication is available at
www.springerlink.com.}
}
@InCollection{ fabe-etal-2008-ecse,
author = {Wolfgang Faber and Nicola Leone and Francesco Ricca},
title = {Answer Set Programming},
booktitle = {Wiley Encyclopedia of Computer Science and Engineering},
editor = {Benjamin W. Wah},
publisher = {John Wiley \& Sons, Inc.},
doi = {10.1002/9780470050118.ecse226},
volume = {1},
pages = {149--162},
isbn = {978-0-471-38393-2},
location = {Hoboken, NJ, USA},
year = {2009},
month = jan
}
@InCollection{ eite-etal-2004-itp,
author = {Thomas Eiter and Wolfgang Faber and Gerald Pfeifer and
Axel Polleres},
title = {Declarative Planning and Knowledge Representation in an
Action Language},
booktitle = {Intelligent Techniques for Planning},
editor = {Ioannis Vlahavas and Dimitris Vrakas},
year = {2005},
publisher = {Idea Group, Inc.},
chapter = {1},
pages = {1--34},
isbn = {1-59140-450-9}
}
@InCollection{ eite-etal-2000c,
author = {Thomas Eiter and Wolfgang Faber and Nicola Leone and
Gerald Pfeifer},
title = {{Declarative Problem-Solving Using the DLV System}},
booktitle = {{Logic-Based Artificial Intelligence}},
editor = {Jack Minker},
publisher = {Kluwer Academic Publishers},
year = {2000},
pages = {79--103},
isbn = {0-7923-7224-7},
project = {dlv}
}
@Proceedings{ ianni-etal-2017-rw,
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 Verlag},
year = {2017},
doi = {10.1007/978-3-319-61033-7},
isbn = {978-3-319-61032-0}
}
@Proceedings{ fabe-pasc-2015-rw,
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}},
publisher = {Springer Verlag},
year = {2015},
series = {{Lecture Notes in Computer Science}},
number = {9203},
isbn = {978-3-319-21767-3},
doi = {10.1007/978-3-319-21768-0}
}
@Proceedings{ fabe-lemb-2013-rr,
editor = {Wolfgang Faber and Domenico Lembo},
title = {{Web Reasoning and Rule Systems - 7th International
Conference, RR 2013, Mannheim, Germany, July 27-29, 2013,
Proceedings}},
publisher = {Springer Verlag},
year = {2013},
series = {{Lecture Notes in Computer Science}},
number = {7994},
isbn = {978-3-642-39665-6},
doi = {10.1007/978-3-642-39666-3}
}
@Proceedings{ delg-fabe-2011-lpnmr,
editor = {James Delgrande and Wolfgang Faber},
title = {{Logic Programming and Nonmonotonic Reasoning --- 11th
International Conference, LPNMR 2011, Vancouver, Canada,
May 2011, Proceedings}},
publisher = {Springer Verlag},
year = {2011},
series = {{Lecture Notes in AI (LNAI)}},
number = {6645},
isbn = {978-3-642-20894-2},
doi = {10.1007/978-3-642-20895-9}
}
@Proceedings{ fabe-leon-2010-cilc,
editor = {Wolfgang Faber and Nicola Leone},
title = {{Proceedings of the 25th Italian Conference on
Computational Logic}},
publisher = {CEUR-WS},
year = {2010},
number = {598},
issn = {1613-0073},
url = {http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-598/},
urn = {urn:nbn:de:0074-598-1}
}
@Proceedings{ eite-etal-2001-lpnmr,
editor = {Thomas Eiter and Wolfgang Faber and Miros{\l}aw
Truszczy{\'n}ski},
title = {{Logic Programming and Nonmonotonic Reasoning --- 6th
International Conference, LPNMR'01, Vienna, Austria,
September 2001, Proceedings}},
publisher = {Springer Verlag},
year = {2001},
series = {{Lecture Notes in AI (LNAI)}},
number = {2173},
isbn = {978-3-540-42593-9},
doi = {10.1007/3-540-45402-0}
}
@InProceedings{ chrp-etal-2020-aspocp,
author = {Luka{\'a}s Chrpa and Wolfgang Faber and Daniel Fi\v{s}er
and Michael Morak},
title = {Determining Action Reversibility in {STRIPS} Using Answer
Set Programming},
booktitle = {International Conference on Logic Programming 2020
Workshops},
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},
series = {{CEUR} Workshop Proceedings},
volume = {2678},
publisher = {CEUR-WS.org},
year = {2020},
month = {9},
url = {http://ceur-ws.org/Vol-2678/paper2.pdf},
urn = {urn:nbn:de:0074-2678-5},
issn = {1613-0073}
}
@InProceedings{ fabe-mora-2020-eelp,
author = {Wolfgang Faber and Michael Morak},
title = {Determining Action Reversibility in {STRIPS} Using
Epistemic Logic Programs},
booktitle = {International Conference on Logic Programming 2020
Workshops},
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},
series = {{CEUR} Workshop Proceedings},
volume = {2678},
publisher = {CEUR-WS.org},
year = {2020},
month = {9},
url = {http://ceur-ws.org/Vol-2678/paper10.pdf},
urn = {urn:nbn:de:0074-2678-5},
issn = {1613-0073}
}
@InProceedings{ mora-etal-2020-kr,
author = {Michael Morak and Luka{\'a}s Chrpa and Wolfgang Faber and
Daniel Fi\v{s}er},
title = {On the Reversibility of Actions in Planning},
booktitle = {Proceedings of the 17th International Conference on
Principles of Knowledge Representation and Reasoning},
pages = {652--661},
year = {2020},
month = {9},
doi = {10.24963/kr.2020/65},
url = {https://doi.org/10.24963/kr.2020/65},
publisher = {International Joint Conferences on Artificial Intelligence
Organization}
}
@InProceedings{ qure-fabe-2020-rulemlrr,
author = {Haya Majid Qureshi and Wolfgang Faber},
editor = {Sotiris Moschoyiannis and Paul Fodor and Jan Vanthienen
and Daniela Inclezan and Nikolay Nikolov and Francisco
Mart{\'{\i}}n{-}Recuerda and Ioan Toma},
title = {Supporting Metamodeling in Ontologies Using Rules},
booktitle = {Proceedings of the 14th International Rule Challenge, 4th
Doctoral Consortium, and 6th Industry Track @ RuleML+RR
2020 co-located with 16th Reasoning Web Summer School {(RW
2020) 12th DecisionCAMP 2020 as part of Declarative {AI}
2020, Oslo, Norway (virtual due to Covid-19 pandemic), 29
June - 1 July, 2020}},
series = {{CEUR} Workshop Proceedings},
volume = {2644},
pages = {95--102},
publisher = {CEUR-WS.org},
year = {2020},
url = {http://ceur-ws.org/Vol-2644/paper37.pdf},
urn = {urn:nbn:de:0074-2644-0},
issn = {1613-0073}
}
@InProceedings{ fabe-etal-2019-iclp-eptcs,
author = {Wolfgang Faber and Michael Morak and Stefan Woltran},
title = {Strong Equivalence for Epistemic Logic Programs Made Easy:
Extended Abstract},
booktitle = {Proceedings 35th International Conference on Logic
Programming (Technical Communications), {ICLP} 2019
Technical Communications, Las Cruces, NM, USA, September
20-25, 2019.},
editor = {Bart Bogaerts and Esra Erdem and Paul Fodor and Andrea
Formisano and Giovambattista Ianni and Daniela Inclezan and
Germ{\' a}n Vidal and Alicia Villanueva and Marina {De Vos}
and Fangkai Yang},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {306},
year = {2019},
pages = {365--366},
doi = {10.4204/EPTCS.306.47},
url = {http://eptcs.web.cse.unsw.edu.au/content.cgi?ICLP2019#EPTCS306.47}
}
@InProceedings{ alvi-fabe-2019-jelia,
author = {Mario Alviano and Wolfgang Faber},
title = {Chain Answer Sets for Logic Programs with Generalized
Atoms},
booktitle = {{Proceedings of the 16th European Conference on Logics in
Artificial Intelligence (JELIA 2019)}},
editor = {Francesco Calimeri and Nicola Leone and Marco Manna},
year = {2019},
month = may,
publisher = {Springer Verlag},
series = {{Lecture Notes in AI (LNAI)}},
volume = {11468},
pages = {462--478},
doi = {10.1007/978-3-030-19570-0_30},
isbn = {978-3-030-19570-0},
pdf = {http://www.wfaber.com/research/papers/jelia2019-chass.pdf},
webnote = {The original publication is available at
www.springerlink.com.}
}
@InProceedings{ amen-etal-2019-jelia,
author = {Giovanni Amendola and Carmine Dodaro and Wolfgang Faber
and Luca Pulina and Francesco Ricca},
title = {Algorithm Selection for Paracoherent Answer Set
Computation},
booktitle = {{Proceedings of the 16th European Conference on Logics in
Artificial Intelligence (JELIA 2019)}},
editor = {Francesco Calimeri and Nicola Leone and Marco Manna},
year = {2019},
month = may,
publisher = {Springer Verlag},
series = {{Lecture Notes in AI (LNAI)}},
volume = {11468},
pages = {479--489},
doi = {10.1007/978-3-030-19570-0_31},
isbn = {978-3-030-19570-0},
pdf = {http://www.wfaber.com/research/papers/jelia2019-para.pdf},
webnote = {The original publication is available at
www.springerlink.com.}
}
@InProceedings{ fabe-etal-2019-aaai,
author = {Wolfgang Faber and Michael Morak and Stefan Woltran},
title = {Strong Equivalence for Epistemic Logic Programs Made
Easy},
booktitle = {{33rd AAAI Conference on Artificial Intelligence
(AAAI-19)}},
editor = {Pascal {Van Hentenryck} and Zhi-Hua Zhou},
publisher = {AAAI Press},
year = {2019},
pages = {365--366},
volume = {33},
issue = {01},
pdf = {https://arxiv.org/pdf/1811.04800.pdf},
doi = {10.1609/aaai.v33i01.33012809},
isbn = {978-1-57735-809-1}
}
@InProceedings{ alvi-fabe-2018-taasp,
author = {Mario Alviano and Wolfgang Faber},
title = {Chain Answer Sets for Logic Programs with Generalized
Atoms - How Not To Fix a Semantic Problem},
booktitle = {{Proceedings of the Second Workshop on Answer Set
Programming and Other Computing Paradigms (TAASP 2018)}},
year = {2018},
pdf = {http://www.wfaber.com/research/papers/taasp2018.pdf}
}
@InProceedings{ fabe-etal-2018-comma,
author = {Wolfgang Faber and Mauro Vallati and Federico Cerutti and
Massimiliano Giacomin},
title = {Enumerating Preferred Extensions Using {ASP} Domain
Heuristics: The {ASPrMin} Solver},
booktitle = {{Computational Models of Argument}},
editor = {Sanjay Modgil and Katarzyna Budzynska and John Lawrence},
year = {2018},
month = sep,
pages = {459--460},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {305},
publisher = {IOS Press},
doi = {10.3233/978-1-61499-906-5-459},
isbn = {978-1-61499-905-8}
}
@InProceedings{ sker-etal-2018-smc,
author = {Tom{\'a}{\v s} {\v S}ke{\v r}{\'i}k and Luk{\'a}{\v s}
Chrpa and Wolfgang Faber and Mauro Vallati},
title = {Automated Training Plan Generation For Athletes},
booktitle = {{2018 IEEE International Conference on Systems, Man, and
Cybernetics (SMC2018)}},
editor = {Tadahiko Murata},
year = {2018},
month = oct,
pages = {3865--3870},
doi = {10.1109/SMC.2018.00655},
pdf = {http://www.wfaber.com/research/papers/smc2018.pdf},
webnote = {The copyright is held by IEEE.}
}
@InProceedings{ amen-etal-2018-rcra,
author = {Giovanni Amendola and Carmine Dodaro and Wolfgang Faber
and Francesco Ricca},
title = {Externally Supported Models for Efficient Computation of
Paracoherent Answer Sets},
booktitle = {{25th RCRA International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with
Combinatorial Explosion}},
editor = {Marco Maratea and Mauro Vallati},
year = {2018},
month = jul,
pdf = {http://www.wfaber.com/research/papers/rcra2018.pdf}
}
@InProceedings{ amen-etal-2018-aaai,
author = {Giovanni Amendola and Carmine Dodaro and Wolfgang Faber
and Francesco Ricca},
title = {Externally Supported Models for Efficient Computation of
Paracoherent Answer Sets},
booktitle = {{32nd AAAI Conference on Artificial Intelligence
(AAAI-18)}},
editor = {Sheila McIlraith and Kilian Weinberger},
publisher = {AAAI Press},
pages = {1720--1727},
month = feb,
year = {2018},
pdf = {https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16244/15873}
}
@InProceedings{ amen-etal-2017-aaai,
author = {Giovanni Amendola and Carmine Dodaro and Wolfgang Faber
and Nicola Leone and Francesco Ricca},
title = {On the Computation of Paracoherent Answer Sets},
booktitle = {{31st AAAI Conference on Artificial Intelligence
(AAAI-17)}},
editor = {Satinder Singh and Shaul Markovitch},
publisher = {AAAI Press},
pages = {1034--1040},
month = feb,
year = {2017},
url = {http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14358},
pdf = {http://www.wfaber.com/research/papers/aaai2017.pdf}
}
@InProceedings{ sker-etal-2016-plansig,
author = {Tom{\'a}{\v s} {\v S}ke{\v r}{\'i}k and Wolfgang Faber and
Luk{\'a}{\v s} Chrpa},
title = {Proposing of Planning System for Sports Domain: A Tool for
Professional Coaches},
booktitle = {{34th Workshop of the UK Planning and Scheduling Special
Interest Group (PlanSIG 2016)}},
month = dec,
year = {2016}
}
@InProceedings{ bren-etal-2016-iclp,
author = {Christopher Brenton and Wolfgang Faber and Sotiris
Batsakis},
title = {Answer Set Programming for Qualitative Spatio-Temporal
Reasoning: Methods and Experiments},
booktitle = {Technical Communications of the 32nd International
Conference on Logic Programming (ICLP 2016)},
pages = {1--15},
series = {OpenAccess Series in Informatics (OASIcs)},
isbn = {978-3-95977-007-1},
issn = {2190-6807},
year = {2016},
volume = {52},
editor = {Manuel Carro and Andy King and Neda Saeedloei and Marina
De Vos},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
url = {http://drops.dagstuhl.de/opus/volltexte/2016/6735},
urn = {urn:nbn:de:0030-drops-67352},
doi = {10.4230/OASIcs.ICLP.2016.4}
}
@InProceedings{ fabe-etal-2016-taasp,
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},
booktitle = {{Proceedings of the First Workshop on Answer Set
Programming and Other Computing Paradigms (TAASP 2016)}},
year = {2016},
pdf = {http://www.wfaber.com/research/papers/taasp2016.pdf}
}
@InProceedings{ fabe-etal-2016-ecai,
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 = {{22nd European Conference on Artificial Intelligence
(ECAI2016)}},
isbn = {978-1-61499-671-2},
editor = {Gal A. Kaminka and Maria Fox and Paolo Bouquet and Eyke
H{\"u}llermeier and Virginia Dignum and Frank Dignum and
Frank van Harmelen},
doi = {10.3233/978-1-61499-672-9-966},
pages = {966--973},
month = aug,
year = {2016},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
publisher = {IOS Press}
}
@InProceedings{ alvi-etal-2016-ijcai,
author = {Mario Alviano and Wolfgang Faber and Martin Gebser},
title = {From Non-Convex Aggregates to Monotone Aggregates in ASP},
booktitle = {{Twentyfifth International Joint Conference on Artificial
Intelligence (IJCAI-16)}},
editor = {Subbarao Kambhampati},
isbn = {978-1-57735-771-1},
month = jul,
year = {2016},
pages = {4100--4104},
url = {http://www.ijcai.org/Abstract/16/610},
publisher = {AAAI Press},
note = {Sister Conference Best Paper Track}
}
@InProceedings{ alvi-etal-2016-aaai,
author = {Mario Alviano and Wolfgang Faber and Hannes Strass},
title = {Boolean Functions with Ordered Domains in Answer Set
Programming},
booktitle = {{30th AAAI Conference on Artificial Intelligence
(AAAI-16)}},
editor = {Dale Schuurmans and Michael P. Wellman},
month = feb,
year = {2016},
pdf = {http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12078/11678}
}
@InProceedings{ brent-etal-2015-aspocp,
author = {Christopher Brenton and Wolfgang Faber and Sotiris
Batsakis},
title = {Solving Qualitative Spatio-temporal Reasoning Problems by
Means of Answer Set Programming: Methods and Experiments},
booktitle = {8th Workshop on Answer Set Programming and Other Computing
Paradigms (ASPOCP 2015)},
month = aug,
year = {2015}
}
@InProceedings{ alvi-fabe-2015-rr,
author = {Mario Alviano and Wolfgang Faber},
title = {Supportedly Stable Answer Sets for Logic Programs with
Generalized Atoms},
booktitle = {{9th International Conference on Web Reasoning and Rule
Systems (RR 2015)}},
editor = {Balder {ten Cate} and Alessandra Mileo},
year = {2015},
month = aug,
pages = {30--44},
doi = {10.1007/978-3-319-22002-4_4},
series = {{Lecture Notes in Computer Science}},
volume = {9209},
publisher = {Springer Verlag},
pdf = {http://www.wfaber.com/research/papers/rr2015.pdf},
webnote = {The original publication is available at
www.springerlink.com.}
}
@InProceedings{ alvi-fabe-2015-ijcai,
author = {Mario Alviano and Wolfgang Faber},
title = {Stable Model Semantics of Abstract Dialectical Frameworks
Revisited: A Logic Programming Perspective},
booktitle = {{Twentyfourth International Joint Conference on Artificial
Intelligence (IJCAI-15)}},
editor = {Qiang Yang and Michael Wooldridge},
month = jul,
year = {2015},
pdf = {http://ijcai.org/Proceedings/15/Papers/380.pdf}
}
@InProceedings{ tach-etal-2014-aspocp,
author = {Ilias Tachmazidis and Grigoris Antoniou and Wolfgang
Faber},
title = {Computing Answer Sets for Monadic Logic Programs via
MapReduce},
booktitle = {{Proceedings of the 6th Workshop on Answer Set Programming
and Other Computing Paradigms (ASPOCP 2014)}},
year = {2014}
}
@InProceedings{ alvi-fabe-2014-nmr,
author = {Mario Alviano and Wolfgang Faber},
title = {Semantics and Compilation of Answer Set Programming with
Generalized Atoms},
booktitle = {{15th International Workshop on Nonmonotonic Reasoning
(NMR 2014)}},
editor = {S{\'e}bastien Konieczny and Hans Tompits},
year = {2014},
month = jul,
publisher = {Institut f{\"u}r Informationssysteme},
series = {INFSYS Research Reports},
number = {1843-14-01},
pages = {214--222},
url = {http://arxiv.org/pdf/1405.1287}
}
@InProceedings{ tach-etal-2014-rcra,
author = {Ilias Tachmazidis and Grigoris Antoniou and Wolfgang
Faber},
title = {Efficient Computation of the Well-Founded Semantics over
Big Data},
booktitle = {{21st RCRA International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with
Combinatorial Explosion}},
editor = {Toni Mancini and Marco Maratea and Francesco Ricca},
year = {2014},
month = jul
}
@InProceedings{ tach-etal-2014-cilc,
author = {Ilias Tachmazidis and Grigoris Antoniou and Wolfgang
Faber},
title = {Efficient Computation of the Well-Founded Semantics over
Big Data},
booktitle = {Proceedings of the 26th Italian Conference on
Computational Logic (CILC 2014)},
year = {2014},
month = jun
}
@InProceedings{ alvi-fabe-2013-lpnmr-aspga,
author = {Mario Alviano and Wolfgang Faber},
title = {The Complexity Boundary of Answer Set Programming with
Generalized Atoms under the FLP Semantics},
booktitle = {{Logic Programming and Nonmonotonic Reasoning --- 12th
International Conference (LPNMR 2013)}},
editor = {Pedro Cabalar and Son Cao Tran},
year = {2013},
month = sep,
publisher = {Springer Verlag},
series = {{Lecture Notes in AI (LNAI)}},
number = {8148},
isbn = {978-3-642-40563-1},
pages = {67--72},
doi = {10.1007/978-3-642-40564-8_7}
}
@InProceedings{ alvi-etal-2013-lpnmr-wasp,
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 = {{Logic Programming and Nonmonotonic Reasoning --- 12th
International Conference (LPNMR 2013)}},
editor = {Pedro Cabalar and Son Cao Tran},
year = {2013},
month = sep,
publisher = {Springer Verlag},
series = {{Lecture Notes in AI (LNAI)}},
number = {8148},
isbn = {978-3-642-40563-1},
pages = {54--66},
doi = {10.1007/978-3-642-40564-8_6}
}
@InProceedings{ alvi-fabe-2013-aspocp,
author = {Mario Alviano and Wolfgang Faber},
title = {Properties of Answer Set Programming with Convex
Generalized Atoms},
booktitle = {{Proceedings of the 6th Workshop on Answer Set Programming
and Other Computing Paradigms (ASPOCP 2013)}},
editor = {Michael Fink and Yuliya Lierler},
pages = {3--17},
year = {2013},
month = aug
}
@InProceedings{ fabe-etal-2013-aaai,
author = {Wolfgang Faber and Miros{\l}aw Truszczy{\'n}ski and Stefan
Woltran},
title = {Abstract Preference Frameworks -- a Unifying Perspective
on Separability and Strong Equivalence},
booktitle = {{Proceedings of the Twenty-Seventh AAAI Conference on
Artificial Intelligence (AAAI-13)}},
editor = {Marie desJardins and Michael Littman},
year = {2013},
month = jul,
publisher = {{AAAI Press}},
url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI13/paper/view/6294}
}
@InProceedings{ alvi-etal-2013-sebd,
author = {Mario Alviano and Wolfgang Faber and Nicola Leone and
Marco Manna},
title = {Query Answering over Disjunctive Datalog with Existential
Quantifiers},
booktitle = {{Proceedings of the 21st Italian Symposium on Advanced
Database Systems (SEBD-2013)}},
editor = {Francesco Buccafurri},
year = {2013}
}
@InProceedings{ alvi-fabe-2013-rcra,
author = {Mario Alviano and Wolfgang Faber},
title = {Solving {NP-SPEC} Domains Using {ASP}},
booktitle = {Proceedings of the 20th RCRA International Workshop on
Experimental Evaluation of Algorithms for Solving Problems
with Combinatorial Explosion (RCRA 2013)},
editor = {Toni Mancini and Marco Maratea and Francesco Ricca},
year = {2013},
month = jun
}
@InProceedings{ alvi-fabe-2012-aspocp,
author = {Mario Alviano and Wolfgang Faber},
title = {Translating {NP-SPEC} into {ASP}},
booktitle = {{Proceedings of the 5th Workshop on Answer Set Programming
and Other Computing Paradigms (ASPOCP 2012)}},
editor = {Michael Fink and Yuliya Lierler},
pages = {3--17},
year = {2012},
month = sep,
url = {http://arxiv.org/abs/1301.1385}
}
@InProceedings{ fabe-2012-rr,
author = {Wolfgang Faber},
title = {A Polynomial Reduction from {ASPDA} to {ASP}},
booktitle = {Web Reasoning and Rule Systems, RR 2012},
editor = {Markus Kr{\"o}tzsch and Umberto Straccia},
series = {{Lecture Notes in Computer Science}},
volume = {7497},
publisher = {Springer Verlag},
year = {2012},
pages = {213--216},
doi = {10.1007/978-3-642-33203-6_17},
isbn = {978-3-642-33202-9},
pdf = {http://www.wfaber.com/research/papers/rr2012.pdf},
webnote = {The original publication is available at
www.springerlink.com.}
}
@InProceedings{ fabe-etal-2012-kr,
author = {Wolfgang Faber and Miros{\l}aw Truszczy{\'n}ski and Stefan
Woltran},
title = {Strong Equivalence of Qualitative Optimization Problems},
booktitle = {{Proceedings of the 13th International Conference on
Principles of Knowledge Representation and Reasoning (KR
2012)}},
editor = {Gerhard Brewka and Thomas Eiter and Sheila McIlraith},
pages = {188--198},
isbn = {978-1-57735-560-1},
publisher = {AAAI Press},
year = {2012},
pdf = {http://www.wfaber.com/research/papers/kr2012.pdf}
}
@InProceedings{ alvi-etal-2011-cilc-wasp,
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 = {Proceedings of the 26th Italian Conference on
Computational Logic (CILC 2011)},
editor = {Fabio Fioravanti},
year = {2011},
month = aug,
pdf = {http://ceur-ws.org/Vol-810/paper-l06.pdf}
}
@InProceedings{ alvi-etal-2011-cilc-scons,
author = {Mario Alviano and Wolfgang Faber and Stefan Woltran},
title = {Complexity of Super-Coherence Problems in Answer Set
Programming},
booktitle = {Proceedings of the 26th Italian Conference on
Computational Logic (CILC 2011)},
editor = {Fabio Fioravanti},
year = {2011},
month = aug,
pdf = {http://ceur-ws.org/Vol-810/paper-l08.pdf}
}
@InProceedings{ alvi-etal-2011-aspocp,
author = {Mario Alviano and Wolfgang Faber and Stefan Woltran},
title = {Complexity of Super-Coherence Problems in {ASP}},
booktitle = {{Proceedings of the 4th Workshop on Answer Set Programming
and Other Computing Paradigms (ASPOCP 2011)}},
editor = {Marcello Balduccini and Stefan Woltran},
year = {2011},
month = jul
}
@InProceedings{ fabe-2011-logic,
author = {Wolfgang Faber},
title = {Privacy Preservation Using Multi-Context Systems},
booktitle = {{Proceedings of the 2nd International Workshop on
Logic-based Interpretation of Context: Modeling and
Applications}},
editor = {Alessandra Mileo and Michael Fink},
year = {2011},
month = may,
pages = {45--51},
pdf = {http://ceur-ws.org/Vol-738/faber.pdf}
}
@InProceedings{ alvi-fabe-2010-aspocp,
author = {Mario Alviano and Wolfgang Faber},
title = {Dynamic Magic Sets for Super-Consistent Answer Set
Programs},
booktitle = {{Proceedings of the 3rd Workshop on Answer Set Programming
and Other Computing Paradigms (ASPOCP 2010)}},
editor = {Marcello Balduccini and Stefan Woltran},
year = {2010},
month = jul,
url = {http://arxiv.org/abs/1011.4377}
}
@InProceedings{ eite-etal-2010-aaai,
author = {Thomas Eiter and Wolfgang Faber and Mushthofa Mushthofa},
title = {Space Efficient Evaluation of ASP Programs with Bounded
Predicate Arities},
booktitle = {{Proceedings of the Twenty-Fourth AAAI Conference on
Artificial Intelligence (AAAI-10)}},
editor = {Maria Fox and David Poole},
year = {2010},
month = jul,
publisher = {{AAAI Press}},
pdf = {http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1776/1979}
}
@InProceedings{ alvi-etal-2010-rcra,
author = {Mario Alviano and Wolfgang Faber and Nicola Leone},
title = {Well-Founded Semantics for Logic Programs with Aggregates:
Implementation and Experimentation},
booktitle = {Proceedings of the 17th RCRA International Workshop on
Experimental Evaluation of Algorithms for Solving Problems
with Combinatorial Explosion (RCRA 2010)},
editor = {Marco Gavanelli and Toni Mancini},
year = {2010},
month = jun,
pdf = {http://ceur-ws.org/Vol-616/paper08.pdf}
}
@InProceedings{ fabe-wolt-2009-sea,
author = {Wolfgang Faber and Stefan Woltran},
title = {A Framework for Programming with Module Consequences},
booktitle = {{Proceedings of the LPNMR-09 Workshop on Software
Engineering for Answer Set Programming, (SEA'09)}},
editor = {Marina {De Vos} and Torsten Schaub},
year = {2009},
month = sep,
pages = {34--48},
pdf = {http://ceur-ws.org/Vol-546/34-48.pdf}
}
@InProceedings{ fabe-wolt-2009-lpnmr,
author = {Wolfgang Faber and Stefan Woltran},
title = {Manifold Answer-Set Programs for Meta-Reasoning},
booktitle = {{Logic Programming and Nonmonotonic Reasoning --- 10th
International Conference (LPNMR 2009)}},
editor = {Esra Erdem and Fangzhen Lin and Torsten Schaub},
year = {2009},
month = sep,
isbn = {978-3-642-04237-9},
publisher = {Springer Verlag},
series = {{Lecture Notes in Computer Science}},
volume = {5753},
pages = {115--128},
doi = {10.1007/978-3-642-04238-6_12},
pdf = {http://www.wfaber.com/research/papers/lpnmr2009-manifold.pdf},
webnote = {The original publication is available at
www.springerlink.com.}
}
@InProceedings{ bria-etal-2009-lpnmr,
author = {Annamaria Bria and Wolfgang Faber and Nicola Leone},
title = {nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler
and Solver},
booktitle = {{Logic Programming and Nonmonotonic Reasoning --- 10th
International Conference (LPNMR 2009)}},
editor = {Esra Erdem and Fangzhen Lin and Torsten Schaub},
year = {2009},
month = sep,
isbn = {978-3-642-04237-9},
publisher = {Springer Verlag},
series = {{Lecture Notes in Computer Science}},
volume = {5753},
pages = {477--482},
doi = {10.1007/978-3-642-04238-6_45},
pdf = {http://www.wfaber.com/research/papers/lpnmr2009-nfn.pdf},
webnote = {The original publication is available at
www.springerlink.com.}
}
@InProceedings{ fabe-wolt-2009-nrac,
author = {Wolfgang Faber and Stefan Woltran},
title = {Manifold Answer-Set Programs for Meta-Reasoning},
booktitle = {The IJCAI-09 Workshop on Nonmonotonic Reasoning, Action
and Change},
year = {2009},
month = jul
}
@InProceedings{ bria-etal-2009-cilc,
author = {Annamaria Bria and Wolfgang Faber and Nicola Leone},
title = {nfn2dlp: A Compiler for Normal Form Nested Programs},
booktitle = {Proceedings of the 24th Italian Conference on
Computational Logic (CILC 2009)},
year = {2009},
month = jun,
editor = {Marco Gavanelli and Fabrizio Riguzzi},
pdf = {http://www.ing.unife.it/eventi/cilc09/papers/cilc09_submission_25.pdf}
}
@InProceedings{ fabe-etal-2008-rcra,
author = {Wolfgang Faber and Nicola Leone and Marco Maratea and
Francesco Ricca},
title = {Look-back Techniques for {ASP} Programs with Aggregates},
booktitle = {The 15th RCRA Workshop on Experimental Evaluation of
Algorithms for Solving Problems with Combinatorial
Explosion (RCRA 2008)},
editor = {Marco Gavanelli and Toni Mancini},
year = {2008},
month = dec
}
@InProceedings{ leon-fabe-2008-iclp,
author = {Nicola Leone and Wolfgang Faber},
title = {The {DLV} Project: A Tour from Theory and Research to
Applications and Market},
booktitle = {Proceedings of the 24th International Conference on Logic
Programming (ICLP'08)},
editor = {Maria {Garcia de la Banda} and Enrico Pontelli},
year = {2008},
month = dec,
pages = {53--68},
isbn = {978-3-540-89981-5},
publisher = {Springer Verlag},
series = {{Lecture Notes in Computer Science}},
volume = {5366},
doi = {10.1007/978-3-540-89982-2_10},
pdf = {http://www.wfaber.com/research/papers/iclp2008.pdf},
webnote = {The original publication is available at
www.springerlink.com.}
}
@InProceedings{ fabe-etal-2008-lash,
author = {Wolfgang Faber and Nicola Leone and Marco Maratea and
Francesco Ricca},
title = {Backjumping and Look-back Heuristics for Disjunctive Logic
Programming with Aggregates},
booktitle = {Proceedings of the 2nd International Workshop on Logic and
Search (LaSh'08)},
year = {2008},
month = nov
}
@InProceedings{ bria-etal-2008-jelia,
author = {Annamaria Bria and Wolfgang Faber and Nicola Leone},
title = {Normal Form Nested Programs},
booktitle = {{Proceedings of the 11th European Conference on Logics in
Artificial Intelligence (JELIA 2008)}},
editor = {Steffen H{\"o}lldobler and Carsten Lutz and Heinrich
Wansing},
year = {2008},
month = sep,
publisher = {Springer Verlag},
series = {{Lecture Notes in Computer Science}},
volume = {5293},
isbn = {978-3-540-87802-5},
doi = {10.1007/978-3-540-87803-2_8},
pages = {76--88},
pdf = {http://www.wfaber.com/research/papers/iclp2008.pdf},
webnote = {The original publication is available at
www.springerlink.com.}
}
@InProceedings{ fabe-etal-2008-kr,
author = {Wolfgang Faber and Hans Tompits and Stefan Woltran},
title = {{Notions of Strong Equivalence for Logic Programs with
Ordered Disjunction}},
booktitle = {{Proceedings of the 11th International Conference on
Principles of Knowledge Representation and Reasoning (KR
2008)}},
year = {2008},
month = sep,
editor = {Gerhard Brewka and J{\'e}r{\^o}me Lang},
publisher = {{AAAI Press}},
isbn = {978-1-57735-384-3},
pages = {433--443}
}
@InProceedings{ fabe-etal-2008-aaai,
author = {Wolfgang Faber and Gianluigi Greco and Nicola Leone},
title = {{Magic Sets for Data Integration}},
booktitle = {{Proceedings of the 23rd AAAI Conference on Artificial
Intelligence (AAAI 2008)}},
year = {2008},
month = jul,
editor = {Dieter Fox and Carla P. Gomes},
publisher = {{AAAI Press}},
isbn = {978-1-57735-368-3},
pages = {1528--1531}
}
@InProceedings{ alvi-etal-2008-cilc,
author = {Mario Alviano and Wolfgang Faber and Nicola Leone},
title = {Compiling Minimum and Maximum Aggregates into Standard
{ASP}},
booktitle = {Proceedings of the 23rd Italian Conference on
Computational Logic (CILC 2008)},
editor = {Andrea Formisano},
year = {2008},
month = jul,
pdf = {http://www.dipmat.unipg.it/CILC08/24_AlvianoFaberLeone.pdf}
}
@InProceedings{ bria-etal-2008-cilc,
author = {Annamaria Bria and Wolfgang Faber and Nicola Leone},
title = {Normal Form Nested Programs},
booktitle = {Proceedings of the 23rd Italian Conference on
Computational Logic (CILC 2008)},
editor = {Andrea Formisano},
year = {2008},
month = jul,
pdf = {http://www.dipmat.unipg.it/CILC08/25_BriaFaberLeone.pdf}
}
@InProceedings{ fabe-etal-2007-mpref,
author = {Wolfgang Faber and Hans Tompits and Stefan Woltran},
title = {{Characterizing Notions of Strong Equivalence for Logic
Programs with Ordered Disjunctions}},
booktitle = {{Proceedings of the 3rd Multidisciplinary Workshop on
Advances in Preference Handling}},
year = {2007},
month = sep
}
@InProceedings{ fabe-etal-2007-asp,
author = {Wolfgang Faber and Nicola Leone and Marco Maratea and
Francesco Ricca},
title = {Looking Back in DLV: Experiments and Comparison to QBF
Solvers},
booktitle = {Proceedings of the 4th International Workshop on Answer
Set Programming (ASP 2007)},
editor = {Stefania Costantini and Richard Watson},
year = {2007},
month = sep
}
@InProceedings{ fabe-etal-2007-rcra,
author = {Wolfgang Faber and Nicola Leone and Marco Maratea and
Francesco Ricca},
title = {Look-Back Techniques and Heuristics in DLV: Implementation
and Evaluation},
booktitle = {The 14th RCRA Workshop on Experimental Evaluation of
Algorithms for Solving Problems with Combinatorial
Explosion},
editor = {Marco Gavanelli and Toni Mancini},
year = {2007},
month = jul
}
@InProceedings{ alvi-etal-2007-cilc,
author = {Mario Alviano and Wolfgang Faber and Nicola Leone},
title = {Using Unfounded Sets for Computing Answer Sets of Programs
with Recursive Aggregates},
booktitle = {Proceedings of the Italian Conference on Computational
Logic (CILC 2007)},
editor = {Giacomo Fiumara and Massimo Marchi and Alessandro
Provetti},
year = {2007},
month = jun
}
@InProceedings{ fabe-etal-2007-cilc,
author = {Wolfgang Faber and Nicola Leone and Marco Maratea and
Francesco Ricca},
title = {Implementation and Evaluation of Look-Back Techniques and
Heuristics in DLV},
booktitle = {Proceedings of the Italian Conference on Computational
Logic (CILC 2007)},
editor = {Giacomo Fiumara and Massimo Marchi and Alessandro
Provetti},
year = {2007},
month = jun
}
@InProceedings{ fabe-etal-2007-lpnmr,
author = {Wolfgang Faber and Nicola Leone and Marco Maratea and
Francesco Ricca},
title = {{Experimenting with Look-Back Heuristics for Hard ASP
Programs}},
booktitle = {{Logic Programming and Nonmonotonic Reasoning --- 9th
International Conference, LPNMR 2007, Tempe, AZ, USA, May
2007, Proceedings}},
day = {15--17},
month = may,
year = {2007},
series = {{Lecture Notes in AI (LNAI)}},
volume = {4483},
isbn = {3-540-72199-1},
editor = {Chitta Baral and Gerhard Brewka and John Schlipf},
pages = {110--122},
publisher = {Springer Verlag},
pdf = {http://www.wfaber.com/research/papers/iclp2008.pdf},
webnote = {The original publication is available at
www.springerlink.com.}
}
@InProceedings{ fabe-leon-2007-lpnmr,
author = {Wolfgang Faber and Nicola Leone},
title = {{On the Complexity of Answer Set Programming with
Aggregates}},
booktitle = {{Logic Programming and Nonmonotonic Reasoning --- 9th
International Conference, LPNMR 2007, Tempe, AZ, USA, May
2007, Proceedings}},
day = {15--17},
month = may,
year = {2007},
series = {{Lecture Notes in AI (LNAI)}},
volume = {4483},
isbn = {3-540-72199-1},
editor = {Chitta Baral and Gerhard Brewka and John Schlipf},
pages = {97--109},
publisher = {Springer Verlag}
}
@InProceedings{ eite-etal-2007-ijcai,
author = {Thomas Eiter and Esra Erdem and Wolfgang Faber},
title = {On Reversing Actions: Algorithms and Complexity},
booktitle = {{Twentieth International Joint Conference on Artificial
Intelligence (IJCAI-07)}},
month = jan,
year = {2007},
pages = {336-341}
}
@InProceedings{ fabe-etal-2006-rcra,
author = {Wolfgang Faber and Nicola Leone and Marco Maratea and
Francesco Ricca},
title = {Evaluating Backjumping for Disjunctive Logic Programming},
booktitle = {Atti della Giornata di Lavoro: Analisi sperimentale e
benchmark di algoritmi per l'Intelligenza Artificiale},
year = {2006},
editor = {Marco Gavanelli and Toni Mancini}
}
@InProceedings{ fabe-2006-wlp,
author = {Wolfgang Faber},
title = {{Decomposition of Nonmonotone Aggregates in Logic
Programming}},
booktitle = {Proceedings of the 20th Workshop on Logic Programming (WLP
2006)},
year = {2006},
month = feb,
editor = {Michael Fink and Hans Tompits and Stefan Woltran},
address = {Vienna, Austria},
pages = {164--171},
postscript = {http://www.wfaber.com/research/papers/wlp06.ps.gz},
pdf = {http://www.wfaber.com/research/papers/wlp06.pdf}
}
@InProceedings{ dix-etal-2005-lpar,
author = {J{\"u}rgen Dix and Wolfgang Faber and {V.S.} Subrahmanian},
title = {{The Relationship between Reasoning about Privacy and
Default Logics}},
booktitle = {Logic for Programming, Artificial Intelligence, and
Reasoning, 12th International Conference, LPAR 2005},
editor = {Geoff Sutcliffe and Andrei Voronkov},
year = {2005},
month = dec,
pages = {637--650},
publisher = {Springer Verlag},
series = {{Lecture Notes in Computer Science}},
volume = {3835},
isbn = {3-540-30553-X},
postscript = {http://www.wfaber.com/research/papers/lpar2005.ps.gz},
pdf = {http://www.wfaber.com/research/papers/lpar2005.pdf}
}
@InProceedings{ fabe-2005-lpnmr,
author = {Wolfgang Faber},
title = {{Unfounded Sets for Disjunctive Logic Programs with
Arbitrary Aggregates}},
booktitle = {{Logic Programming and Nonmonotonic Reasoning --- 8th
International Conference, LPNMR'05, Diamante, Italy,
September 2005, Proceedings}},
day = {5--8},
month = sep,
year = {2005},
series = {{Lecture Notes in Computer Science}},
volume = {3662},
isbn = {3-540-28538-5},
editor = {Chitta Baral and Gianluigi Greco and Nicola Leone and
Giorgio Terracina},
pages = {40--52},
publisher = {Springer Verlag},
postscript = {http://www.wfaber.com/research/papers/lpnmr2005-aggr.ps.gz},
pdf = {http://www.wfaber.com/research/papers/lpnmr2005-aggr.pdf}
}
@InProceedings{ fabe-ricc-2005-lpnmr,
author = {Wolfgang Faber and Francesco Ricca},
title = {{Solving Hard ASP Programs Efficiently}},
booktitle = {{Logic Programming and Nonmonotonic Reasoning --- 8th
International Conference, LPNMR'05, Diamante, Italy,
September 2005, Proceedings}},
editor = {Chitta Baral and Gianluigi Greco and Nicola Leone and
Giorgio Terracina},
day = {5--8},
month = sep,
year = {2005},
series = {{Lecture Notes in Computer Science}},
volume = {3662},
isbn = {3-540-28538-5},
pages = {240--252},
publisher = {Springer Verlag},
postscript = {http://www.wfaber.com/research/papers/lpnmr2005-heur.ps.gz},
pdf = {http://www.wfaber.com/research/papers/lpnmr2005-heur.pdf}
}
@InProceedings{ leon-etal-2005-lpnmr,
author = {Nicola Leone and Thomas Eiter and Wolfgang Faber and
Michael Fink and Georg Gottlob and Luigi Granata and
Gianluigi Greco and Edyta Ka{\l}ka 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 = {{Logic Programming and Nonmonotonic Reasoning --- 8th
International Conference, LPNMR'05, Diamante, Italy,
September 2005, Proceedings}},
editor = {Chitta Baral and Gianluigi Greco and Nicola Leone and
Giorgio Terracina},
day = {5--8},
month = sep,
year = {2005},
series = {{Lecture Notes in Computer Science}},
volume = {3662},
isbn = {3-540-28538-5},
pages = {379--383},
publisher = {Springer Verlag}
}
@InProceedings{ eite-etal-2005-lpnmr-se,
author = {Thomas Eiter and Wolfgang Faber and Patrick Traxler},
title = {{Testing Strong Equivalence of Datalog Programs --
Implementation and Examples}},
booktitle = {{Logic Programming and Nonmonotonic Reasoning --- 8th
International Conference, LPNMR'05, Diamante, Italy,
September 2005, Proceedings}},
editor = {Chitta Baral and Gianluigi Greco and Nicola Leone and
Giorgio Terracina},
day = {5--8},
month = sep,
year = {2005},
series = {{Lecture Notes in Computer Science}},
volume = {3662},
isbn = {3-540-28538-5},
pages = {437--441},
publisher = {Springer Verlag},
postscript = {http://www.wfaber.com/research/papers/lpnmr2005-system-se.ps.gz},
pdf = {http://www.wfaber.com/research/papers/lpnmr2005-system-se.pdf}
}
@InProceedings{ fabe-etal-2005-ijcai,
author = {Wolfgang Faber and Nicola Leone and Francesco Ricca},
title = {{Heuristics for Hard ASP Programs}},
booktitle = {{Nineteenth International Joint Conference on Artificial
Intelligence (IJCAI-05)}},
month = aug,
year = {2005},
pages = {1562--1563}
}
@InProceedings{ fabe-konc-2005-ijcai,
author = {Wolfgang Faber and Kathrin Konczak},
title = {{Strong Equivalence for Logic Programs with Preferences}},
booktitle = {{Nineteenth International Joint Conference on Artificial
Intelligence (IJCAI-05)}},
month = aug,
year = {2005},
pages = {430--435},
postscript = {http://www.wfaber.com/research/papers/ijcai2005-pref.ps.gz},
pdf = {http://www.wfaber.com/research/papers/ijcai2005-pref.pdf}
}
@InProceedings{ cali-etal-2005-ijcai,
author = {Francesco Calimeri and Wolfgang Faber and Nicola Leone and
Simona Perri},
title = {{Declarative and Computational Properties of Logic
Programs with Aggregates}},
booktitle = {{Nineteenth International Joint Conference on Artificial
Intelligence (IJCAI-05)}},
month = aug,
year = {2005},
pages = {406--411},
postscript = {http://www.wfaber.com/research/papers/ijcai2005-aggr.ps.gz},
pdf = {http://www.wfaber.com/research/papers/ijcai2005-aggr.pdf}
}
@InProceedings{ fabe-etal-2005-asp,
author = {Wolfgang Faber and Nicola Leone and Francesco Ricca},
title = {{A Backjumping Technique for Disjunctive Logic
Programming}},
booktitle = {{Answer Set Programming: Advances in Theory and
Implementation (ASP'05)}},
editor = {Marina {De Vos} and Alessandro Provetti},
isbn = {1-897851-15-4},
publisher = {Research Press International},
month = jul,
day = {27--29},
year = {2005},
pages = {216--230}
}
@InProceedings{ fabe-etal-2005-sebd,
author = {Wolfgang Faber and Gianluigi Greco and Nicola Leone},
title = {{Magic Sets and their Application to Data Integration}},
booktitle = {{Proceedings of the Thirteenth Italian Symposium on
Advanced Database Systems (SEBD-2005)}},
month = jun,
year = {2005},
pages = {47--54}
}
@InProceedings{ leon-etal-2005-sebd,
author = {Nicola Leone and Thomas Eiter and Wolfgang Faber and
Michael Fink and Georg Gottlob and Gianluigi Greco and
Edyta Ka{\l}ka and Giovambattista Ianni and Domenico Lembo
and Vincenzino Lio and Bartosz Nowicki and Riccardo Rosati
and Marco Ruzzi and Witold Staniszkis and Giorgio
Terracina},
title = {{Boosting Information Integration: The INFOMIX System}},
booktitle = {{Proceedings of the Thirteenth Italian Symposium on
Advanced Database Systems (SEBD-2005)}},
month = jun,
year = {2005},
pages = {55--66}
}
@InProceedings{ leon-etal-2005-sigmod,
author = {Nicola Leone and Georg Gottlob and Riccardo Rosati and
Thomas Eiter and Wolfgang Faber and Michael Fink and
Gianluigi Greco and Giovambattista Ianni and Edyta Ka{\l}ka
and Domenico Lembo and Maurizio Lenzerini and Vincenzino
Lio and Bartosz Nowicki and Marco Ruzzi and Witold
Staniszkis and Giorgio Terracina},
title = {{The INFOMIX System for Advanced Integration of Incomplete
and Inconsistent Data}},
booktitle = {Proceedings of the 24th ACM SIGMOD International
Conference on Management of Data (SIGMOD 2005)},
address = {Baltimore, Maryland, USA},
month = jun,
year = {2005},
publisher = {ACM Press},
pages = {915--917}
}
@InProceedings{ fabe-etal-2005-rcra,
author = {Wolfgang Faber and Nicola Leone and Francesco Ricca},
title = {Solving Problems on the Second Level of the Polynomial
Hierarchy},
booktitle = {Atti della Giornata di Lavoro: Analisi sperimentale e
benchmark di algoritmi per l'Intelligenza Artificiale},
year = {2005},
editor = {Marco Cadoli and Marco Gavanelli and Toni Mancini},
address = {Dipartimento di Ingegneria, Universita` di Ferrara,
Italy},
month = jun # { 10},
number = {CS-2005-03},
series = {Computer Science Group Technical Reports},
pdf = {http://www.ing.unife.it/eventi/rcra05/articoli/Faber-heur.pdf},
pages = {115--116}
}
@InProceedings{ fabe-2005-rcra,
author = {Wolfgang Faber},
title = {A Tool for Benchmarking Command-line Systems},
booktitle = {Atti della Giornata di Lavoro: Analisi sperimentale e
benchmark di algoritmi per l'Intelligenza Artificiale},
year = {2005},
editor = {Marco Cadoli and Marco Gavanelli and Toni Mancini},
address = {Dipartimento di Ingegneria, Universita` di Ferrara,
Italy},
month = jun # { 10},
number = {CS-2005-03},
series = {Computer Science Group Technical Reports},
pdf = {http://www.ing.unife.it/eventi/rcra05/articoli/Faber-bmtool.pdf},
pages = {113--114}
}
@InProceedings{ fabe-etal-05-icdt,
author = {Wolfgang Faber and Gianluigi Greco and Nicola Leone},
title = {Magic Sets and their Application to Data Integration},
booktitle = {{Proceedings of the Tenth International Conference on
Database Theory (ICDT'05)}},
editor = {Thomas Eiter and Leonid Libkin},
publisher = {Springer},
series = {{Lecture Notes in Computer Science}},
volume = {3363},
isbn = {3-540-24288-0},
pages = {306--320},
year = {2005},
month = jan,
postscript = {http://www.wfaber.com/research/papers/icdt2005.ps.gz},
pdf = {http://www.wfaber.com/research/papers/icdt2005.pdf}
}
@InProceedings{ fabe-etal-04-jelia,
author = {Wolfgang Faber and Nicola Leone and Gerald Pfeifer},
title = {Recursive Aggregates in Disjunctive Logic Programs:
Semantics and Complexity},
booktitle = {{Proceedings of the 9th European Conference on Logics in
Artificial Intelligence (JELIA 2004)}},
editor = {Jos{\'e} J{\'u}lio Alferes and Jo{\~a}o Leite},
pages = {200--212},
year = {2004},
month = sep,
publisher = {Springer Verlag},
series = {{Lecture Notes in AI (LNAI)}},
volume = {3229},
postscript = {http://www.wfaber.com/research/papers/jelia2004.ps.gz},
pdf = {http://www.wfaber.com/research/papers/jelia2004.pdf},
isbn = {3-540-23242-7}
}
@InProceedings{ cali-etal-04-jelia,
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 = {{Proceedings of the 9th European Conference on Logics in
Artificial Intelligence (JELIA 2004)}},
editor = {Jos{\'e} J{\'u}lio Alferes and Jo{\~a}o Leite},
pages = {698--701},
year = {2004},
month = sep,
publisher = {Springer Verlag},
series = {{Lecture Notes in AI (LNAI)}},
volume = {3229},
postscript = {http://www.wfaber.com/research/papers/jelia2004system.ps.gz},
pdf = {http://www.wfaber.com/research/papers/jelia2004system.pdf},
isbn = {3-540-23242-7}
}
@InProceedings{ cumb-etal-04,
author = {Chiara Cumbo and Wolfgang Faber and Gianluigi Greco and
Nicola Leone},
title = {Enhancing the Magic-Set Method for Disjunctive Datalog
Programs},
booktitle = {{Proceedings of the 20th International Conference on Logic
Programming (ICLP'04)}},
year = {2004},
month = sep,
pages = {371--385},
editor = {Bart Demoen and Vladimir Lifschitz},
publisher = {Springer Verlag},
series = {{Lecture Notes in Computer Science}},
volume = {3132},
isbn = {3-540-22671-0},
postscript = {http://www.wfaber.com/research/papers/iclp2004.ps.gz},
pdf = {http://www.wfaber.com/research/papers/iclp2004.pdf}
}
@InProceedings{ citr-etal-04,
author = {Manuela Citrigno and Wolfgang Faber and Gianluigi Greco
and Nicola Leone},
title = {Efficient Evaluation of Disjunctive Datalog Queries with
Aggregate Functions},
booktitle = {Proceedings of the Italian Conference on Computational
Logic (CILC 2004)},
editor = {Elio Panegai and Gianfranco Rossi},
year = {2004},
month = jun,
pages = {148--162},
pdf = {http://www.cs.unipr.it/CILC04/DownloadArea/CitrignoFGL-CILC04.pdf}
}
@InProceedings{ eite-etal-04e,
author = {Thomas Eiter and Esra Erdem and Wolfgang Faber},
title = {{Plan Reversals for Recovery in Execution Monitoring}},
booktitle = {Proceedings of the 10th International Workshop on
Non-Monotonic Reasoning (NMR 2004)},
editor = {James Delgrande and Torsten Schaub},
year = {2004},
month = jun,
isbn = {92-990021-0-X},
pages = {147--154},
postscript = {http://www.wfaber.com/research/papers/nmr2004.ps.gz},
pdf = {http://www.wfaber.com/research/papers/nmr2004.pdf}
}
@InProceedings{ eite-etal-04a,
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}},
year = {2004},
month = jun,
booktitle = {Proceedings Ninth International Conference on Principles
of Knowledge Representation and Reasoning (KR 2004), June
2-5, Whistler, British Columbia, Canada},
publisher = {AAAI Press},
isbn = {1-57735-201-7},
pages = {377--387},
editor = {Didier Dubois and Christopher Welty and Mary-Anne
Williams},
postscript = {http://www.wfaber.com/research/papers/kr2004.ps.gz},
pdf = {http://www.wfaber.com/research/papers/kr2004.pdf}
}
@InProceedings{ dell-etal-2004a,
author = {Tina Dell'Armi and Wolfgang Faber and Giuseppe Ielpa and
Nicola Leone and Gerald Pfeifer},
title = {{System Description: DLV with Aggregates}},
booktitle = {{Proceedings of the 7th International Conference on Logic
Programming and Non-Monotonic Reasoning (LPNMR-7)}},
editor = {Vladimir Lifschitz and Ilkka Niemel{\"a}},
pages = {326--330},
year = {2004},
month = jan,
series = {LNCS},
publisher = {Springer},
project = {dlv},
postscript = {http://www.wfaber.com/research/papers/lpnmr2003system.ps.gz},
pdf = {http://www.wfaber.com/research/papers/lpnmr2003system.pdf}
}
@InProceedings{ dell-etal-2003b,
author = {Tina Dell'Armi and Wolfgang Faber and Giuseppe Ielpa and
Nicola Leone and Gerald Pfeifer},
title = {{Aggregate Functions in DLV}},
booktitle = {{Proceedings ASP03 - Answer Set Programming: Advances in
Theory and Implementation}},
editor = {Marina {de Vos} and Alessandro Provetti},
year = {2003},
month = sep,
address = {Messina, Italy},
pages = {274--288},
url = {http://CEUR-WS.org/Vol-78/},
project = {dlv}
}
@InProceedings{ eite-etal-03h,
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 = {{Proceedings ASP03 - Answer Set Programming: Advances in
Theory and Implementation}},
editor = {Marina {de Vos} and Alessandro Provetti},
year = {2003},
month = sep,
address = {Messina, Italy},
pages = {69--83},
url = {http://CEUR-WS.org/Vol-78/},
project = {dlv},
pdf = {http://SunSITE.Informatik.RWTH-Aachen.de/Publications/CEUR-WS/Vol-78/asp03-final-eiter-compl.pdf},
postscript = {http://www.wfaber.com/research/papers/asp03-complexity.ps.gz}
}
@InProceedings{ cumb-etal-2003,
author = {Chiara Cumbo and Wolfgang Faber and Gianluigi Greco},
title = {Improving Query Optimization for Disjunctive Datalog},
booktitle = {2003 Joint Conference on Declarative Programming
(APPIA-GULP-PRODE 2003)},
editor = {Francesco Buccafurri},
year = {2003},
month = sep,
pages = {252--262}
}
@InProceedings{ dell-etal-2003a,
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 = {{Proceedings of the 18th International Joint Conference on
Artificial Intelligence (IJCAI) 2003}},
address = {Acapulco, Mexico},
publisher = {Morgan Kaufmann Publishers},
isbn = {0-127-05661-0},
pages = {847--852},
month = aug,
year = {2003},
project = {dlv},
postscript = {http://www.wfaber.com/research/papers/ijcai03.ps.gz},
pdf = {http://www.wfaber.com/research/papers/ijcai03.pdf}
}
@InProceedings{ eite-etal-2002c,
author = {Thomas Eiter and Wolfgang Faber and Nicola Leone and
Gerald Pfeifer and Axel Polleres},
title = {{Answer Set Planning under Action Costs}},
booktitle = {{Proceedings of the 8th European Conference on Logics in
Artificial Intelligence (JELIA)}},
series = {{Lecture Notes in Computer Science}},
volume = {2424},
editor = {Sergio Flesca and Sergio Greco and Giovambattista Ianni
and Nicola Leone},
month = sep,
year = {2002},
pages = {186--197},
address = {Cosenza, Italy},
project = {dlv},
postscript = {http://www.wfaber.com/research/papers/jelia2002.ps.gz},
pdf = {http://www.wfaber.com/research/papers/jelia2002.pdf},
talk = {Wolfgang Faber}
}
@InProceedings{ eite-etal-2002d,
author = {Thomas Eiter and Wolfgang Faber and Nicola Leone and
Gerald Pfeifer and Axel Polleres},
title = {{The DLV$^{K}$ Planning System: Progress Report}},
booktitle = {{Proceedings of the 8th European Conference on Logics in
Artificial Intelligence (JELIA)}},
series = {{Lecture Notes in Computer Science}},
volume = {2424},
editor = {Sergio Flesca and Sergio Greco and Giovambattista Ianni
and Nicola Leone},
month = sep,
year = {2002},
pages = {541--544},
address = {Cosenza, Italy},
project = {dlv},
postscript = {http://www.wfaber.com/research/papers/jelia2002DLVKsystem.ps.gz},
pdf = {http://www.wfaber.com/research/papers/jelia2002DLVKsystem.pdf},
talk = {Axel Polleres}
}
@InProceedings{ leon-etal-2002,
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 = {{Proceedings of the 8th European Conference on Logics in
Artificial Intelligence (JELIA)}},
series = {{Lecture Notes in Computer Science}},
volume = {2424},
editor = {Sergio Flesca and Sergio Greco and Giovambattista Ianni
and Nicola Leone},
month = sep,
year = {2002},
pages = {537--540},
address = {Cosenza, Italy},
project = {dlv},
postscript = {http://www.wfaber.com/research/papers/jelia2002DLVsystem.ps.gz},
pdf = {http://www.wfaber.com/research/papers/jelia2002DLVsystem.pdf},
talk = {Gerald Pfeifer}
}
@InProceedings{ cali-etal-2002a,
author = {Francesco Calimeri and Wolfgang Faber and Nicola Leone and
Gerald Pfeifer},
booktitle = {Proceedings of the 9th International Workshop on
Non-Monotonic Reasoning (NMR'2002)},
title = {{Pruning Operators for Answer Set Programming Systems}},
month = {April},
day = {19--21},
year = {2002},
pages = {200--209},
project = {dlv},
postscript = {http://www.kr.tuwien.ac.at/research/reports/rr0107.ps.gz}
}
@InProceedings{ cali-etal-01a,
author = {Francesco Calimeri and Wolfgang Faber and Nicola Leone and
Simona Perri and Gerald Pfeifer},
title = {{DLV - Declarative Problem Solving using Answer Set
Programming}},
booktitle = {Proceedings of the Seventh Congress of the Italian
Association for Artificial Intelligence AI*IA 2001},
year = {2001},
address = {Bari, Italy},
project = {dlv}
}
@InProceedings{ fabe-etal-2001c,
author = {Wolfgang Faber and Nicola Leone and Gerald Pfeifer},
title = {{Optimizing the Computation of Heuristics for Answer Set
Programming Systems}},
booktitle = {{Logic Programming and Nonmonotonic Reasoning --- 6th
International Conference, LPNMR'01, Vienna, Austria,
September 2001, Proceedings}},
editor = {Thomas Eiter and Wolfgang Faber and Miros{\l}aw
Truszczy{\'n}ski},
series = {{Lecture Notes in AI (LNAI)}},
volume = {2173},
pages = {288--301},
day = {17--19},
month = {September},
year = {2001},
publisher = {Springer Verlag},
project = {dlv}
}
@InProceedings{ dell-etal-2001a,
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: \texttt{DLV}}},
booktitle = {{Logic Programming and Nonmonotonic Reasoning --- 6th
International Conference, LPNMR'01, Vienna, Austria,
September 2001, Proceedings}},
editor = {Thomas Eiter and Wolfgang Faber and Miros{\l}aw
Truszczy{\'n}ski},
series = {{Lecture Notes in AI (LNAI)}},
volume = {2173},
pages = {409--412},
day = {17--19},
month = {September},
year = {2001},
publisher = {Springer Verlag},
project = {dlv}
}
@InProceedings{ eite-etal-2001c,
author = {Thomas Eiter and Wolfgang Faber and Nicola Leone and
Gerald Pfeifer and Axel Polleres},
title = {{System Description: The DLV$^{K}$ Planning System}},
booktitle = {{Logic Programming and Nonmonotonic Reasoning --- 6th
International Conference, LPNMR'01, Vienna, Austria,
September 2001, Proceedings}},
editor = {Thomas Eiter and Wolfgang Faber and Miros{\l}aw
Truszczy{\'n}ski},
series = {{Lecture Notes in AI (LNAI)}},
volume = {2173},
pages = {413--416},
day = {17--19},
month = {September},
year = {2001},
publisher = {Springer Verlag},
project = {dlv},
talk = {Gerald Pfeifer},
postscript = {http://www.dbai.tuwien.ac.at/proj/dlv/papers/fabe-etal-2001c.ps.gz}
}
@InProceedings{ fabe-etal-2001a,
author = {Wolfgang Faber and Nicola Leone and Gerald Pfeifer},
title = {{Experimenting with Heuristics for Answer Set
Programming}},
booktitle = {{Proceedings of the Seventeenth International Joint
Conference on Artificial Intelligence (IJCAI) 2001}},
address = {Seattle, WA, USA},
publisher = {Morgan Kaufmann Publishers},
pages = {635--640},
month = aug,
year = {2001},
project = {dlv},
talk = {Wolfgang Faber},
postscript = {http://www.dbai.tuwien.ac.at/proj/dlv/papers/fabe-etal-2001a.ps.gz}
}
@InProceedings{ eite-etal-2001b,
author = {Thomas Eiter and Wolfgang Faber and Nicola Leone and
Gerald Pfeifer and Axel Polleres},
title = {{The DLV$^{K}$ Planning System}},
booktitle = {{IJCAI-01 Workshop on Planning under Uncertainty and
Incomplete Information}},
editor = {Alessandro Cimatti and H{\'e}ctor Geffner and Enrico
Giunchiglia and Jussi Rintanen},
pages = {76--81},
year = {2001},
month = aug,
project = {dlv},
talk = {Wolfgang Faber}
}
@InProceedings{ fabe-etal-2001b,
author = {Wolfgang Faber and Nicola Leone and Gerald Pfeifer},
title = {{A Comparison of Heuristics for Answer Set Programming}},
booktitle = {{Proceedings of the 5th Dutch-German Workshop on
Nonmonotonic Reasoning Techniques and their Applications
(DGNMR 2001)}},
month = apr,
year = {2001},
pages = {64--75},
project = {dlv},
talk = {Wolfgang Faber}
}
@InProceedings{ eite-etal-2001a,
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 = {{Proceedings AAAI 2001 Spring Symposium on Answer Set
Programming: Towards Efficient and Scalable Knowledge
Representation and Reasoning}},
editor = {Alessandro Provetti and Son Tran Cao},
pages = {45--52},
address = {Stanford, California, USA},
publisher = {AAAI Press},
year = {2001},
month = {March},
day = {26--28},
project = {dlv},
talk = {Gerald Pfeifer},
postscript = {http://www.dbai.tuwien.ac.at/proj/dlv/papers/eite-etal-2001a.ps.gz}
}
@InProceedings{ eite-etal-2000d,
author = {Thomas Eiter and Wolfgang Faber and Nicola Leone and
Gerald Pfeifer and Axel Polleres},
title = {{Planning under Incomplete Knowledge}},
booktitle = {Computational Logic - CL 2000, First International
Conference, Proceedings},
editor = {John Lloyd and Veronica Dahl and Ulrich Furbach and
Manfred Kerber and Kung-Kiu Lau and Catuscia Palamidessi
and Lu{\'\i}s Moniz Pereira and Yehoshua Sagiv and Peter J.
Stuckey},
month = jul,
year = {2000},
address = {London, UK},
pages = {807--821},
publisher = {Springer Verlag},
series = {{Lecture Notes in AI (LNAI)}},
volume = {1861},
project = {dlv},
talk = {Nicola Leone}
}
@InProceedings{ eite-etal-2000b,
author = {Thomas Eiter and Wolfgang Faber and Christoph Koch and
Nicola Leone and Gerald Pfeifer},
title = {{DLV -- A System for Declarative Problem Solving}},
booktitle = {{Proceedings of the 8th International Workshop on
Non-Monotonic Reasoning (NMR'2000)}},
day = {9-11},
month = {April},
year = {2000},
editor = {Chitta Baral and Miros{\l}aw Truszczy{\'n}ski},
address = {Breckenridge, Colorado, USA},
talk = {Wolfgang Faber and Christoph Koch and Gerald Pfeifer},
project = {dlv}
}
@InProceedings{ eite-etal-00a,
author = {Thomas Eiter and Wolfgang Faber and Nicola Leone and
Gerald Pfeifer and Axel Polleres},
title = {{Using the {\tt dlv} System for Planning and Diagnostic
Reasoning}},
booktitle = {Proceedings of the 14th Workshop on Logic Programming
(WLP'99)},
editor = {Fran\c{c}ois Bry and Ulrich Geske and Dietmar Seipel},
publisher = {GMD -- Forschungszentrum Informationstechnik GmbH,
Berlin},
pages = {125--134},
month = {January},
year = {2000},
project = {dlv},
issn = {1435-2702},
talk = {Wolfgang Faber}
}
@InProceedings{ fabe-etal-99b,
author = {Wolfgang Faber and Nicola Leone and Gerald Pfeifer},
title = {{Pushing Goal Derivation in DLP Computations}},
booktitle = {{Proceedings of the 5th International Conference on Logic
Programming and Nonmonotonic Reasoning (LPNMR'99)}},
editor = {Michael Gelfond and Nicola Leone and Gerald Pfeifer},
series = {{Lecture Notes in AI (LNAI)}},
volume = {1730},
pages = {177--191},
day = {2--4},
month = {December},
year = {1999},
publisher = {Springer Verlag},
address = {El Paso, Texas, USA},
talk = {Gerald Pfeifer},
project = {dlv},
postscript = {http://www.wfaber.com/research/papers/lpnmr99.ps.gz},
pdf = {http://www.wfaber.com/research/papers/lpnmr99.pdf}
}
@InProceedings{ bucc-etal-99a-iclp,
author = {Francesco Buccafurri and Wolfgang Faber and Nicola Leone},
title = {{Disjunctive Logic Programs with Inheritance}},
booktitle = {{Proceedings of the 16th International Conference on Logic
Programming (ICLP'99)}},
editor = {Danny De Schreye},
publisher = {The MIT Press},
address = {Las Cruces, New Mexico, USA},
year = {1999},
pages = {79--93},
month = nov,
project = {dlv},
talk = {Nicola Leone}
}
@InProceedings{ fabe-etal-99-aiia,
author = {Wolfgang Faber and Nicola Leone and Gerald Pfeifer},
title = {{dlv: a DLP System for AI}},
booktitle = {Sixth Congress of the Italian Association for Artificial
Intelligence (AIIA '99)},
editor = {Evelina Lamma and Paola Mello},
publisher = {Pitagora Editrice Bologna},
address = {Bologna, Italy},
pages = {511-514},
month = {September},
year = {1999},
talk = {Gerald Pfeifer},
project = {dlv}
}
@InProceedings{ fabe-etal-99c,
author = {Wolfgang Faber and Nicola Leone and Cristinel Mateis and
Gerald Pfeifer},
title = {{Using Database Optimization Techniques for Nonmonotonic
Reasoning}},
booktitle = {Proceedings of the 7th International Workshop on Deductive
Databases and Logic Programming (DDLP'99)},
editor = {INAP Organizing Committee},
publisher = {Prolog Association of Japan},
pages = {135--139},
day = {3--5},
month = {September},
year = {1999},
project = {dlv},
talk = {Wolfgang Faber},
postscript = {http://www.dbai.tuwien.ac.at/proj/dlv/papers/fabe-etal-99c.ps.gz}
}
@InProceedings{ eite-etal-99-lbai,
author = {Thomas Eiter and Wolfgang Faber and Georg Gottlob and
Christoph Koch and Nicola Leone and Cristinel Mateis and
Gerald Pfeifer and F. Scarcello},
title = {{The DLV System}},
booktitle = {Workshop on Logic-Based Artificial Intelligence,
Washington, DC},
year = {1999},
month = {June},
day = {14--16},
editor = {Jack Minker},
address = {College Park, Maryland},
publisher = {Computer Science Department, University of Maryland},
note = {Workshop Notes},
project = {dlv},
talk = {Nicola Leone}
}
@InProceedings{ fabe-etal-98a,
author = {Wolfgang Faber and Nicola Leone and Gerald Pfeifer},
title = {{Representing School Timetabling in a Disjunctive Logic
Programming Language}},
booktitle = {Proceedings of the 13th Workshop on Logic Programming
(WLP'98)},
editor = {Uwe Egly and Hans Tompits},
address = {Vienna, Austria},
pages = {43--52},
day = {6--8},
month = {October},
year = {1998},
project = {dlv},
talk = {Wolfgang Faber},
postscript = {http://www.wfaber.com/research/papers/wlp98-timetabling.ps.gz},
pdf = {http://www.wfaber.com/research/papers/wlp98-timetabling.pdf}
}
@InProceedings{ bihl-etal-98a,
author = {Robert Bihlmeyer and Wolfgang Faber and Christoph Koch and
Nicola Leone and Cristinel Mateis and Gerald Pfeifer},
title = {{{\tt dlv} -- An Overview}},
booktitle = {Proceedings of the 13th Workshop on Logic Programming
(WLP'98)},
editor = {Uwe Egly and Hans Tompits},
address = {Vienna, Austria},
pages = {65--67},
day = {6--8},
month = {October},
year = {1998},
talk = {Gerald Pfeifer},
project = {dlv},
postscript = {http://www.wfaber.com/research/papers/wlp98-system.ps.gz},
pdf = {http://www.wfaber.com/research/papers/wlp98-system.pdf}
}
@InProceedings{ citr-etal-97,
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 {\tt dlv} System: Model Generator and Application
Frontends}},
booktitle = {{Proceedings of the 12th Workshop on Logic Programming
(WLP'97), Research Report PMS-FB10}},
month = {September},
year = {1997},
publisher = {LMU M{\"u}nchen},
address = {M{\"u}nchen, Germany},
editor = { F. Bry and B. Freitag and D. Seipel},
pages = {128--137},
talk = {Gerald Pfeifer},
project = {dlv},
postscript = {http://www.wfaber.com/research/papers/wlp97.ps.gz},
pdf = {http://www.wfaber.com/research/papers/wlp97.pdf}
}
@Misc{ fabe-2005,
author = {Wolfgang Faber},
title = {{Contributions to Extensions of Answer Set Programming}},
year = {2005},
note = {Cumulative habilitation thesis, Technische Universit{\"a}t
Wien}
}
@PhDThesis{ fabe-2002,
author = {Wolfgang Faber},
title = {{Enhancing Efficiency and Expressiveness in Answer Set
Programming Systems}},
school = {{Institut f{\"u}r Informationssysteme, Technische
Universit{\"a}t Wien}},
year = {2002},
postscript = {http://www.wfaber.com/research/papers/diss.ps.gz},
pdf = {http://www.wfaber.com/research/papers/diss.pdf}
}
@MastersThesis{ fabe-98,
author = {Wolfgang Faber},
title = {{Disjunctive Datalog with Strong and Weak Constraints:
Representational and Computational Issues}},
school = {{Institut f{\"u}r Informationssysteme, Technische
Universit{\"a}t Wien}},
year = {1998},
advisor = {Nicola Leone and Gerald Pfeifer},
postscript = {http://www.wfaber.com/research/papers/dipl.ps.gz},
pdf = {http://www.wfaber.com/research/papers/dipl.pdf}
}
@TechReport{ eite-etal-2004b-tr,
author = { Thomas Eiter and Esra Erdem and Wolfgang Faber},
title = {{Undoing the Effects of Action Sequences}},
institution = {Institut f{\"u}r Informationssysteme, Technische
Universit{\"a}t Wien},
number = {INFSYS RR-1843-04-05},
month = dec,
year = {2004},
project = {dlv},
postscript = {http://www.kr.tuwien.ac.at/research/reports/}
}
@TechReport{ eite-etal-2004a-tr,
author = { Thomas Eiter and Esra Erdem and Wolfgang Faber},
title = {{Diagnosing Plan Execution Discrepancies in a Logic-Based
Action Framework}},
institution = {Institut f{\"u}r Informationssysteme, Technische
Universit{\"a}t Wien},
number = {INFSYS RR-1843-04-03},
month = aug,
year = {2004},
project = {dlv},
postscript = {http://www.kr.tuwien.ac.at/research/reports/}
}
@TechReport{ fabe-etal-99d-tr,
author = {Wolfgang Faber and Nicola Leone and Gerald Pfeifer},
title = {{Computing Consistent Preferred Answer Sets}},
institution = {Institut f{\"u}r Informationssysteme, Technische
Universit{\"a}t Wien, Austria},
number = {DBAI-TR-99-28a},
month = {April},
year = {1999},
project = {dlv}
}
@Article{ fabe-leon-2013-tplp,
author = {Wolfgang Faber and Nicola Leone},
title = {Introduction to the special issue on the 25th annual
{GULP} conference},
journal = {{Theory and Practice of Logic Programming}},
year = {2013},
month = mar,
volume = {13},
number = {2},
pages = {147--148},
doi = {10.1017/S1471068411000676}
}
@InProceedings{ cali-etal-2011-lpnmr-comp,
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 = {{Logic Programming and Nonmonotonic Reasoning --- 11th
International Conference (LPNMR 2011)}},
editor = {James P. Delgrande and Wolfgang Faber},
year = {2011},
pages = {388--403},
doi = {10.1007/978-3-642-20895-9_46}
}
@Article{ leon-etal-2007-alp,
author = {Nicola Leone and Wolfgang Faber and Annamaria Bria and
Francesco Calimeri and Gelsomina Catalano and Susanna Cozza
and Tina Dell'Armi and Gianluigi Greco and Giovambattista
Ianni and Giuseppe Ielpa and Marco Maratea and Claudio
Panetta and Simona Perri and Francesco Ricca and Francesco
Scarcello and Giorgio Terracina and Gerald Pfeifer and
Thomas Eiter and Georg Gottlob},
title = {{DLV}: An Advanced System for Knowledge Representation and
Reasoning},
journal = {ALP Newsletter},
year = {2007},
volume = {20},
number = {3/4}
}
@InProceedings{ brai-etal-2007-sea,
author = {Martin Brain and Wolfgang Faber and Marco Maratea and Axel
Polleres and Torsten Schaub and Roman Schindlauer},
title = {What should an ASP Solver output? A Multiple Position
Paper},
booktitle = {Proceedings of the 1st International Workshop on Software
Engineering for Answer Set Programming (SEA'07)},
editor = {Marina {De Vos} and Torsten Schaub},
year = {2007},
month = may
}
@Article{ fabe-2005-alp,
author = {Wolfgang Faber},
title = {{Report on the Dagstuhl Seminar on Nonmonotonic Reasoning,
Answer Set Programming and Constraints}},
journal = {ALP Newsletter},
year = {2005},
volume = {18},
number = {4}
}
@Article{ fabe-wolt-2004-oegai,
author = {Wolfgang Faber and Stefan Woltran},
title = {{KR 2004 --- Konferenzbericht}},
journal = {{\"O}GAI Journal},
year = {2004},
volume = {23},
number = {2},
pages = {24--27}
}
@Article{ fabe-tomp-98,
author = {Wolfgang Faber and Hans Tompits},
title = {{WLP'98 --- Bericht {\"u}ber den Workshop}},
journal = {{\"O}GAI Journal},
year = {1998},
volume = {17},
number = {4},
pages = {26--27}
}