Publications

List of Publications

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}
}