Wolfgang Faber

183 papers A* 23A 2B 34C 3Journal 74Unranked 38

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	ASP Chef Grows Mustache to Look Better. Theory Pract. Log. Program. Mario Alviano, Luis Angel Rodriguez Reiners, Wolfgang Faber
2025	J	`jnl`	ASP Chef grows Mustache to look better. CoRR Mario Alviano, Wolfgang Faber, Luis Angel Rodriguez Reiners
2025	—	`conf`	Encoding Action Reversibility In Planning Using Quantified ASP and Bule. JELIA (1) Wolfgang Faber, Michael Morak
2025	A*	`conf`	Non-deterministic Action Reversibility: Complexity Results. KR Jakub Med, Michael Morak, Lukás Chrpa, Wolfgang Faber
2024	B	`conf`	Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases. ICLP Haya Majid Qureshi, Wolfgang Faber
2024	J	`jnl`	Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL. CoRR Haya Majid Qureshi, Wolfgang Faber
2024	J	`jnl`	Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL. Theory Pract. Log. Program. Haya Majid Qureshi, Wolfgang Faber
2024	—	`conf`	Solving Argumentation Problems Using Answer Set Programming with Quantifiers: Preliminary Report. ICLP Workshops Wolfgang Faber
2024	A*	`conf`	Weak and Strong Reversibility of Non-deterministic Actions: Universality and Uniformity. ICAPS Jakub Med, Lukás Chrpa, Michael Morak, Wolfgang Faber
2023	J	`jnl`	Aggregate Semantics for Propositional Answer Set Programs. Theory Pract. Log. Program. Mario Alviano, Wolfgang Faber, Martin Gebser
2023	J	`jnl`	An Efficient Solver for ASP(Q). Theory Pract. Log. Program. Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca
2023	J	`jnl`	An efficient solver for ASP(Q). CoRR Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca
2023	—	`conf`	Enhancing ASP(Q) evaluation. DP@AI*IA Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca
2023	A*	`conf`	Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers. AAAI Wolfgang Faber, Michael Morak
2023	—	`ed.`	Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), London, United Kingdom, July 9th and 10th, 2023. ICLP Workshops Joaquín Arias, Sotiris Batsakis, Wolfgang Faber, Gopal Gupta, Francesco Pacenza, Emmanuel Papadakis, Livio Robaldo, Kilian Rückschloß, Elmer Salazar, Zeynep G. Saribatur, Ilias Tachmazidis, Felix Weitkämper, Adam Z. Wyner
2023	C	`conf`	Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL. PADL Haya Majid Qureshi, Wolfgang Faber
2022	C	`conf`	Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers. PADL Wolfgang Faber, Michael Morak, Lukás Chrpa
2022	—	`conf`	Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers. HYDRA/RCRA@LPNMR Wolfgang Faber, Michael Morak
2022	—	`conf`	Meta-reasoning over OWL 2 QL using Datalog. Datalog Haya Majid Qureshi, Wolfgang Faber
2022	—	`ed.`	Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st - August 1st, 2022. ICLP Workshops Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily Leblanc, Michael Morak, Elmer Salazar, Jessica Zangari
2022	J	`jnl`	Thirty years of Epistemic Specifications. Theory Pract. Log. Program. Jorge Fandinno, Wolfgang Faber, Michael Gelfond
2021	J	`jnl`	Aggregate Semantics for Propositional Answer Set Programs. CoRR Mario Alviano, Wolfgang Faber, Martin Gebser
2021	B	`conf`	An Evaluation of Meta-reasoning over OWL 2 QL. RuleML+RR Haya Majid Qureshi, Wolfgang Faber
2021	J	`jnl`	Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming. Theory Pract. Log. Program. Wolfgang Faber, Michael Morak, Lukás Chrpa
2021	J	`jnl`	Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming. CoRR Wolfgang Faber, Michael Morak, Lukás Chrpa
2021	B	`ed.`	Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings JELIA Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak
2021	J	`jnl`	Paracoherent answer set computation. Artif. Intell. Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca
2021	J	`jnl`	Thirty years of Epistemic Specifications. CoRR Jorge Fandinno, Wolfgang Faber, Michael Gelfond
2021	A*	`conf`	Universal and Uniform Action Reversibility. KR Lukás Chrpa, Wolfgang Faber, Michael Morak
2020	J	`jnl`	ASP-Core-2 Input Language Format. Theory Pract. Log. Program. Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
2020	—	`conf`	An Introduction to Answer Set Programming and Some of Its Extensions. RW Wolfgang Faber
2020	—	`conf`	Determining Action Reversibility in STRIPS Using Answer Set Programming. ICLP Workshops Lukás Chrpa, Wolfgang Faber, Daniel Fiser, Michael Morak
2020	—	`conf`	Determining Action Reversibility in STRIPS Using Epistemic Logic Programs. ICLP Workshops Wolfgang Faber, Michael Morak
2020	—	`ed.`	International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), Rende, Italy, September 18-19, 2020. ICLP Workshops Carmine Dodaro, George Aristidis Elder, Wolfgang Faber, Jorge Fandinno, Martin Gebser, Markus Hecher, Emily Leblanc, Michael Morak, Jessica Zangari
2020	A*	`conf`	On the Reversibility of Actions in Planning. KR Michael Morak, Lukás Chrpa, Wolfgang Faber, Daniel Fiser
2020	—	`conf`	Reversibility of Actions and Plans (invited talk). CILC Wolfgang Faber
2020	—	`conf`	Supporting Metamodeling in Ontologies Using Rules. RuleML+RR (Supplement) Haya Majid Qureshi, Wolfgang Faber
2019	J	`jnl`	ASP-Core-2 Input Language Format. CoRR Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
2019	B	`conf`	Algorithm Selection for Paracoherent Answer Set Computation. JELIA Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Luca Pulina, Francesco Ricca
2019	B	`conf`	Chain Answer Sets for Logic Programs with Generalized Atoms. JELIA Mario Alviano, Wolfgang Faber
2019	J	`jnl`	On Uniform Equivalence of Epistemic Logic Programs. CoRR Wolfgang Faber, Michael Morak, Stefan Woltran
2019	J	`jnl`	On Uniform Equivalence of Epistemic Logic Programs. Theory Pract. Log. Program. Wolfgang Faber, Michael Morak, Stefan Woltran
2019	A*	`conf`	Strong Equivalence for Epistemic Logic Programs Made Easy. AAAI Wolfgang Faber, Michael Morak, Stefan Woltran
2018	J	`jnl`	Aggregates in Answer Set Programming. Künstliche Intell. Mario Alviano, Wolfgang Faber
2018	B	`conf`	Automated Training Plan Generation for Athletes. SMC Tomás Skerík, Lukás Chrpa, Wolfgang Faber, Mauro Vallati
2018	C	`conf`	Enumerating Preferred Extensions Using ASP Domain Heuristics: The ASPrMin Solver. COMMA Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin
2018	A*	`conf`	Externally Supported Models for Efficient Computation of Paracoherent Answer Sets. AAAI Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca
2018	—	`ed.`	Proceedings of the Doctoral Consortium and Challenge @ RuleML+RR 2018 hosted by 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), Luxembourg, September 20-26, 2018. RuleML+RR (Supplement) Wolfgang Faber, Paul Fodor, Giovanni De Gasperis, Adrian Giurca, Kia Teymourian
2018	J	`jnl`	Strong Equivalence for Epistemic Logic Programs Made Easy (Extended Version). CoRR Wolfgang Faber, Michael Morak, Stefan Woltran
2018	J	`jnl`	The ASP System DLV: Advancements and Applications. Künstliche Intell. Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2017	A*	`conf`	On the Computation of Paracoherent Answer Sets. AAAI Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca
2017	J	`jnl`	On the Computation of Paracoherent Answer Sets. CoRR Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca
2017	—	`ed.`	Reasoning Web. Semantic Interoperability on the Web - 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures RW Giovambattista Ianni, Domenico Lembo, Leopoldo E. Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab
2016	—	`conf`	Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments. ICLP (Technical Communications) Christopher Brenton, Wolfgang Faber, Sotiris Batsakis
2016	A*	`conf`	Boolean Functions with Ordered Domains in Answer Set Programming. AAAI Mario Alviano, Wolfgang Faber, Hannes Strass
2016	A*	`conf`	From Non-Convex Aggregates to Monotone Aggregates in ASP. IJCAI Mario Alviano, Wolfgang Faber, Martin Gebser
2016	—	`conf`	Proposing of Planning System for Sports Domain: A Tool for Professional Coaches. PlanSIG Tomás Skerík, Wolfgang Faber, Lukás Chrpa
2016	J	`jnl`	Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation. CoRR Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin
2016	A	`conf`	Solving Set Optimization Problems by Cardinality Optimization with an Application to Argumentation. ECAI Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin
2015	J	`jnl`	Effectively solving NP-SPEC encodings by translation to ASP. J. Exp. Theor. Artif. Intell. Mario Alviano, Wolfgang Faber
2015	—	`ed.`	Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures Reasoning Web Wolfgang Faber, Adrian Paschke
2015	J	`jnl`	Rewriting recursive aggregates in answer set programming: back to monotonicity. CoRR Mario Alviano, Wolfgang Faber, Martin Gebser
2015	J	`jnl`	Rewriting recursive aggregates in answer set programming: back to monotonicity. Theory Pract. Log. Program. Mario Alviano, Wolfgang Faber, Martin Gebser
2015	A*	`conf`	Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective. IJCAI Mario Alviano, Wolfgang Faber
2015	—	`conf`	Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms. RR Mario Alviano, Wolfgang Faber
2015	J	`jnl`	Web reasoning and rule systems. Semantic Web Domenico Lembo, Wolfgang Faber
2014	J	`jnl`	Complexity of super-coherence problems in ASP. Theory Pract. Log. Program. Mario Alviano, Wolfgang Faber, Stefan Woltran
2014	J	`jnl`	Efficient Computation of the Well-Founded Semantics over Big Data. CoRR Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber
2014	J	`jnl`	Efficient Computation of the Well-Founded Semantics over Big Data. Theory Pract. Log. Program. Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber
2014	J	`jnl`	Semantics and Compilation of Answer Set Programming with Generalized Atoms. CoRR Mario Alviano, Wolfgang Faber
2014	J	`jnl`	Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. CoRR Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri
2013	A*	`conf`	Abstract Preference Frameworks - a Unifying Perspective on Separability and Strong Equivalence. AAAI Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran
2013	—	`conf`	Answer Set Programming. Reasoning Web Wolfgang Faber
2013	J	`jnl`	Introduction to the special issue on the 25th annual GULP conference. Theory Pract. Log. Program. Wolfgang Faber, Nicola Leone
2013	J	`jnl`	Properties of Answer Set Programming with Convex Generalized Atoms. CoRR Mario Alviano, Wolfgang Faber
2013	—	`conf`	Query Answering over Disjunctive Datalog with Existential Quantifiers. SEBD Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna
2013	J	`jnl`	Strong Equivalence of Qualitative Optimization Problems. J. Artif. Intell. Res. Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran
2013	B	`conf`	The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics. LPNMR Mario Alviano, Wolfgang Faber
2013	J	`jnl`	Translating NP-SPEC into ASP CoRR Mario Alviano, Wolfgang Faber
2013	B	`conf`	WASP: A Native ASP Solver Based on Constraint Learning. LPNMR Mario Alviano, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca
2013	—	`ed.`	Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings RR Wolfgang Faber, Domenico Lembo
2012	—	`conf`	A Polynomial Reduction from ASPDA to ASP. RR Wolfgang Faber
2012	J	`jnl`	Complexity of super-coherence problems in ASP CoRR Mario Alviano, Wolfgang Faber, Stefan Woltran
2012	J	`jnl`	Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues CoRR Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna
2012	J	`jnl`	Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues. Theory Pract. Log. Program. Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna
2012	J	`jnl`	Magic Sets for Disjunctive Datalog Programs CoRR Mario Alviano, Wolfgang Faber, Gianluigi Greco, Nicola Leone
2012	J	`jnl`	Magic Sets for disjunctive Datalog programs. Artif. Intell. Mario Alviano, Wolfgang Faber, Gianluigi Greco, Nicola Leone
2012	—	`conf`	Privacy Preservation Using Multi-context Systems and Default Logic. Correct Reasoning Jürgen Dix, Wolfgang Faber, V. S. Subrahmanian
2012	A*	`conf`	Strong Equivalence of Qualitative Optimization Problems. KR Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran
2012	—	`conf`	The Intelligent Grounder of DLV. Correct Reasoning Wolfgang Faber, Nicola Leone, Simona Perri
2011	J	`jnl`	Answer Set Planning Under Action Costs CoRR Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
2011	—	`conf`	Complexity of Super-Coherence Problems in Answer Set Programming. CILC Mario Alviano, Wolfgang Faber, Stefan Woltran
2011	J	`jnl`	Dynamic Magic Sets and super-coherent answer set programs. AI Commun. Mario Alviano, Wolfgang Faber
2011	B	`ed.`	Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings LPNMR James P. Delgrande, Wolfgang Faber
2011	J	`jnl`	Look-back Techniques for ASP Programs with Aggregates. Fundam. Informaticae Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca
2011	—	`conf`	Manifold Answer-Set Programs and Their Applications. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Wolfgang Faber, Stefan Woltran
2011	—	`conf`	Privacy Preservation Using Multi-Context Systems. Log-IC@LPNMR Wolfgang Faber
2011	J	`jnl`	Semantics and complexity of recursive aggregates in answer set programming. Artif. Intell. Wolfgang Faber, Gerald Pfeifer, Nicola Leone
2011	J	`jnl`	Strong Equivalence of Qualitative Optimization Problems CoRR Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran
2011	—	`conf`	The Birth of a WASP: Preliminary Report on a New ASP Solver. CILC Carmine Dodaro, Mario Alviano, Wolfgang Faber, Nicola Leone, Francesco Ricca, Marco Sirianni
2011	B	`conf`	The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. LPNMR Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri
2011	J	`jnl`	Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. J. Artif. Intell. Res. Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri
2010	J	`jnl`	Disjunctive ASP with Functions: Decidable Queries and Effective Computation CoRR Mario Alviano, Wolfgang Faber, Nicola Leone
2010	J	`jnl`	Disjunctive ASP with functions: Decidable queries and effective computation. Theory Pract. Log. Program. Mario Alviano, Wolfgang Faber, Nicola Leone
2010	J	`jnl`	Dynamic Magic Sets for Super-Consistent Answer Set Programs CoRR Mario Alviano, Wolfgang Faber
2010	—	`ed.`	Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010 CILC Wolfgang Faber, Nicola Leone
2010	A*	`conf`	Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities. AAAI Thomas Eiter, Wolfgang Faber, Mushthofa Mushthofa
2010	—	`conf`	The Disjunctive Datalog System DLV. Datalog Mario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina
2010	—	`conf`	Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation. RCRA@CPAIOR Mario Alviano, Wolfgang Faber, Nicola Leone
2009	B	`conf`	Manifold Answer-Set Programs for Meta-reasoning. LPNMR Wolfgang Faber, Stefan Woltran
2009	J	`jnl`	Normal Form Nested Programs. Fundam. Informaticae Annamaria Bria, Wolfgang Faber, Nicola Leone
2009	B	`conf`	nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver. LPNMR Annamaria Bria, Wolfgang Faber, Nicola Leone
2008	—	`ch.`	Answer Set Programming. Wiley Encyclopedia of Computer Science and Engineering Wolfgang Faber, Nicola Leone, Francesco Ricca
2008	J	`jnl`	Design and Implementation of Aggregate Functions in the DLV System CoRR Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa
2008	J	`jnl`	Design and implementation of aggregate functions in the DLV system. Theory Pract. Log. Program. Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa
2008	—	`conf`	Look-back Techniques for ASP Programs with Aggregates. RCRA Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca
2008	J	`jnl`	Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers. J. Algorithms Marco Maratea, Francesco Ricca, Wolfgang Faber, Nicola Leone
2008	A*	`conf`	Magic Sets for Data Integration. AAAI Wolfgang Faber, Gianluigi Greco, Nicola Leone
2008	B	`conf`	Normal Form Nested Programs. JELIA Annamaria Bria, Wolfgang Faber, Nicola Leone
2008	A*	`conf`	Notions of Strong Equivalence for Logic Programs with Ordered Disjunction. KR Wolfgang Faber, Hans Tompits, Stefan Woltran
2008	B	`conf`	The DLV Project: A Tour from Theory and Research to Applications and Market. ICLP Nicola Leone, Wolfgang Faber
2008	J	`jnl`	Undoing the effects of action sequences. J. Appl. Log. Thomas Eiter, Esra Erdem, Wolfgang Faber
2007	J	`jnl`	A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution. Fundam. Informaticae Thomas Eiter, Esra Erdem, Wolfgang Faber, Ján Senko
2007	J	`jnl`	Complexity results for answer set programming with bounded predicate arities and implications. Ann. Math. Artif. Intell. Thomas Eiter, Wolfgang Faber, Michael Fink, Stefan Woltran
2007	B	`conf`	Experimenting with Look-Back Heuristics for Hard ASP Programs. LPNMR Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca
2007	J	`jnl`	Magic Sets and their application to data integration. J. Comput. Syst. Sci. Wolfgang Faber, Gianluigi Greco, Nicola Leone
2007	A*	`conf`	On Reversing Actions: Algorithms and Complexity. IJCAI Thomas Eiter, Esra Erdem, Wolfgang Faber
2007	J	`jnl`	On look-ahead heuristics in disjunctive logic programming. Ann. Math. Artif. Intell. Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Francesco Ricca
2007	B	`conf`	On the Complexity of Answer Set Programming with Aggregates. LPNMR Wolfgang Faber, Nicola Leone
2006	J	`jnl`	A backjumping technique for Disjunctive Logic Programming. AI Commun. Francesco Ricca, Wolfgang Faber, Nicola Leone
2006	—	`conf`	Decomposition of Nonmonotone Aggregates in Answer Set Programming. WLP Wolfgang Faber
2006	J	`jnl`	Pruning Operators for Disjunctive Logic Programming Systems. Fundam. Informaticae Francesco Calimeri, Wolfgang Faber, Gerald Pfeifer, Nicola Leone
2006	J	`jnl`	Strong order equivalence. Ann. Math. Artif. Intell. Wolfgang Faber, Kathrin Konczak
2006	J	`jnl`	The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello
2005	—	`conf`	Boosting Information Integration: The INFOMIX System. SEBD Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Gianluigi Greco
2005	B	`conf`	Data Integration: a Challenging ASP Application. LPNMR Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina
2005	A*	`conf`	Declarative and Computational Properties of Logic Programs with Aggregates. IJCAI Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri
2005	A*	`conf`	Heuristics for Hard ASP Programs. IJCAI Wolfgang Faber, Nicola Leone, Francesco Ricca
2005	A	`conf`	Magic Sets and Their Application to Data Integration. ICDT Wolfgang Faber, Gianluigi Greco, Nicola Leone
2005	—	`conf`	Magic Sets and their Application to Data Integration. SEBD Wolfgang Faber, Gianluigi Greco, Nicola Leone
2005	B	`conf`	Solving Hard ASP Programs Efficiently. LPNMR Wolfgang Faber, Francesco Ricca
2005	J	`jnl`	Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks. Intelligenza Artificiale Wolfgang Faber, Nicola Leone, Francesco Ricca
2005	A*	`conf`	Strong Equivalence for Logic Programs with Preferences. IJCAI Wolfgang Faber, Kathrin Konczak
2005	B	`conf`	Testing Strong Equivalence of Datalog Programs - Implementation and Examples. LPNMR Thomas Eiter, Wolfgang Faber, Patrick Traxler
2005	—	`conf`	The INFOMIX system for advanced integration of incomplete and inconsistent data. SIGMOD Conference Nicola Leone, Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Giorgio Terracina, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Riccardo Rosati, Domenico Lembo, Maurizio Lenzerini, Marco Ruzzi, Edyta Kalka, Bartosz Nowicki, Witold Staniszkis
2005	B	`conf`	The Relationship Between Reasoning About Privacy and Default Logics. LPAR Jürgen Dix, Wolfgang Faber, V. S. Subrahmanian
2005	B	`conf`	Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates. LPNMR Wolfgang Faber
2004	J	`jnl`	A logic programming approach to knowledge-state planning: Semantics and complexity. ACM Trans. Comput. Log. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
2004	A*	`conf`	Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. KR Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran
2004	B	`conf`	Enhancing the Magic-Set Method for Disjunctive Datalog Programs. ICLP Chiara Cumbo, Wolfgang Faber, Gianluigi Greco, Nicola Leone
2004	B	`conf`	New DLV Features for Data Integration. JELIA Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer
2004	—	`conf`	Plan reversals for recovery in execution monitoring. NMR Thomas Eiter, Esra Erdem, Wolfgang Faber
2004	B	`conf`	Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. JELIA Wolfgang Faber, Nicola Leone, Gerald Pfeifer
2004	B	`conf`	System Description: DLV with Aggregates. LPNMR Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer
2003	J	`jnl`	A logic programming approach to knowledge-state planning, II: The DLV Artif. Intell. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
2003	—	`conf`	Aggregate Functions in DLV. Answer Set Programming Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer
2003	A*	`conf`	Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. IJCAI Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer
2003	J	`jnl`	Answer Set Planning Under Action Costs. J. Artif. Intell. Res. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
2003	—	`conf`	Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. Answer Set Programming Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran
2003	J	`jnl`	Computing preferred answer sets by meta-interpretation in answer set programming. Theory Pract. Log. Program. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
2003	—	`conf`	Improving Query Optimization for Disjunctive Datalog. APPIA-GULP-PRODE Chiara Cumbo, Wolfgang Faber, Gianluigi Greco
2002	B	`conf`	Answer Set Planning under Action Costs. JELIA Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
2002	J	`jnl`	Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming CoRR Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
2002	J	`jnl`	Disjunctive Logic Programs with Inheritance. Theory Pract. Log. Program. Francesco Buccafurri, Wolfgang Faber, Nicola Leone
2002	—	`conf`	Pruning operators for answer set programming systems. NMR Francesco Calimeri, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
2002	B	`conf`	The DLV JELIA Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
2002	J	`jnl`	The DLV System for Knowledge Representation and Reasoning CoRR Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello
2002	B	`conf`	The DLV System. JELIA Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, Simona Perri, Axel Polleres
2001	J	`jnl`	A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity CoRR Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
2001	—	`conf`	Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming. Answer Set Programming Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
2001	J	`jnl`	Disjunctive Logic Programs with Inheritance CoRR Francesco Buccafurri, Wolfgang Faber, Nicola Leone
2001	A*	`conf`	Experimenting with Heuristics for Answer Set Programming. IJCAI Wolfgang Faber, Nicola Leone, Gerald Pfeifer
2001	B	`ed.`	Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings LPNMR Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski
2001	B	`conf`	Optimizing the Computation of Heuristics for Answer Set Programming Systems. LPNMR Wolfgang Faber, Nicola Leone, Gerald Pfeifer
2001	B	`conf`	System Description: DLV. LPNMR Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer
2001	B	`conf`	System Description: The DLV LPNMR Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
2000	J	`jnl`	DLV - A System for Declarative Problem Solving CoRR Thomas Eiter, Wolfgang Faber, Christoph Koch, Nicola Leone, Gerald Pfeifer
2000	—	`conf`	Planning under Incomplete Knowledge. Computational Logic Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
2000	—	`conf`	Using the dlv System for Planning and Diagnostic Reasoning. WLP Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
1999	B	`conf`	Disjunctive Logic Programs with Inheritance. ICLP Francesco Buccafurri, Wolfgang Faber, Nicola Leone
1999	B	`conf`	Pushing Goal Derivation in DLP Computations. LPNMR Wolfgang Faber, Nicola Leone, Gerald Pfeifer
1999	J	`jnl`	The Diagnosis Frontend of the dlv System. AI Commun. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
1997	—	`conf`	The dlv System: Model Generator and Advanced Frontends (system description). WLP Simona Citrigno, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello