default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWolfgang Faber 0001
Person information
- affiliation: Alpen-Adria Universität Klagenfurt, Austria
- affiliation: University of Huddersfield, UK
- affiliation: University of Calabria, Rende, Italy
- affiliation: Vienna University of Technology, Austria
Other persons with the same name
- Wolfgang Faber 0002 — Wirtschaftsuniversität Wien, Austria
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j43]Haya Majid Qureshi
, Wolfgang Faber:
Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL. Theory Pract. Log. Program. 24(2): 368-393 (2024)- [c94]Jakub Med, Lukás Chrpa, Michael Morak, Wolfgang Faber:
Weak and Strong Reversibility of Non-deterministic Actions: Universality and Uniformity. ICAPS 2024: 369-377 - [c93]Wolfgang Faber:
Solving Argumentation Problems Using Answer Set Programming with Quantifiers: Preliminary Report. ICLP Workshops 2024 - [i29]Haya Majid Qureshi, Wolfgang Faber:
Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL. CoRR abs/2402.02978 (2024) - 2023
- [j42]Mario Alviano, Wolfgang Faber, Martin Gebser:
Aggregate Semantics for Propositional Answer Set Programs. Theory Pract. Log. Program. 23(1): 157-194 (2023) - [j41]Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca:
An Efficient Solver for ASP(Q). Theory Pract. Log. Program. 23(4): 948-964 (2023) - [c92]Wolfgang Faber, Michael Morak:
Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers. AAAI 2023: 6322-6329 - [c91]Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca:
Enhancing ASP(Q) evaluation. DP@AI*IA 2023: 38-46 - [c90]Haya Majid Qureshi, Wolfgang Faber:
Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL. PADL 2023: 216-231 - [e11]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:
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. CEUR Workshop Proceedings 3437, CEUR-WS.org 2023 [contents] - [i28]Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca:
An efficient solver for ASP(Q). CoRR abs/2305.10021 (2023) - 2022
- [j40]Jorge Fandinno, Wolfgang Faber, Michael Gelfond:
Thirty years of Epistemic Specifications. Theory Pract. Log. Program. 22(6): 1043-1083 (2022) - [c89]Haya Majid Qureshi, Wolfgang Faber:
Meta-reasoning over OWL 2 QL using Datalog. Datalog 2022: 181-187 - [c88]Wolfgang Faber, Michael Morak:
Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers. HYDRA/RCRA@LPNMR 2022: 78-89 - [c87]Wolfgang Faber, Michael Morak, Lukás Chrpa:
Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers. PADL 2022: 42-56 - [e10]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:
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. CEUR Workshop Proceedings 3193, CEUR-WS.org 2022 [contents] - 2021
- [j39]Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca:
Paracoherent answer set computation. Artif. Intell. 299: 103519 (2021) - [j38]Wolfgang Faber, Michael Morak, Lukás Chrpa:
Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming. Theory Pract. Log. Program. 21(5): 646-662 (2021) - [c86]Lukás Chrpa, Wolfgang Faber, Michael Morak:
Universal and Uniform Action Reversibility. KR 2021: 651-654 - [c85]Haya Majid Qureshi, Wolfgang Faber:
An Evaluation of Meta-reasoning over OWL 2 QL. RuleML+RR 2021: 218-233 - [e9]Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak:
Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings. Lecture Notes in Computer Science 12678, Springer 2021, ISBN 978-3-030-75774-8 [contents] - [i27]Wolfgang Faber, Michael Morak, Lukás Chrpa:
Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming. CoRR abs/2108.05428 (2021) - [i26]Jorge Fandinno, Wolfgang Faber, Michael Gelfond:
Thirty years of Epistemic Specifications. CoRR abs/2108.07669 (2021) - [i25]Mario Alviano, Wolfgang Faber, Martin Gebser:
Aggregate Semantics for Propositional Answer Set Programs. CoRR abs/2109.08662 (2021) - 2020
- [j37]Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub:
ASP-Core-2 Input Language Format. Theory Pract. Log. Program. 20(2): 294-309 (2020) - [c84]Wolfgang Faber:
Reversibility of Actions and Plans (invited talk). CILC 2020: 1 - [c83]Wolfgang Faber, Michael Morak:
Determining Action Reversibility in STRIPS Using Epistemic Logic Programs. ICLP Workshops 2020 - [c82]Lukás Chrpa, Wolfgang Faber, Daniel Fiser, Michael Morak:
Determining Action Reversibility in STRIPS Using Answer Set Programming. ICLP Workshops 2020 - [c81]Michael Morak, Lukás Chrpa, Wolfgang Faber, Daniel Fiser:
On the Reversibility of Actions in Planning. KR 2020: 652-661 - [c80]Haya Majid Qureshi, Wolfgang Faber:
Supporting Metamodeling in Ontologies Using Rules. RuleML+RR (Supplement) 2020: 95-102 - [c79]Wolfgang Faber:
An Introduction to Answer Set Programming and Some of Its Extensions. RW 2020: 149-185 - [e8]Carmine Dodaro, George Aristidis Elder, Wolfgang Faber, Jorge Fandinno, Martin Gebser, Markus Hecher, Emily LeBlanc, Michael Morak, Jessica Zangari:
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. CEUR Workshop Proceedings 2678, CEUR-WS.org 2020 [contents]
2010 – 2019
- 2019
- [j36]Wolfgang Faber, Michael Morak, Stefan Woltran:
On Uniform Equivalence of Epistemic Logic Programs. Theory Pract. Log. Program. 19(5-6): 826-840 (2019) - [c78]Wolfgang Faber, Michael Morak, Stefan Woltran:
Strong Equivalence for Epistemic Logic Programs Made Easy. AAAI 2019: 2809-2816 - [c77]Mario Alviano, Wolfgang Faber:
Chain Answer Sets for Logic Programs with Generalized Atoms. JELIA 2019: 462-478 - [c76]Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Luca Pulina, Francesco Ricca:
Algorithm Selection for Paracoherent Answer Set Computation. JELIA 2019: 479-489 - [i24]Wolfgang Faber, Michael Morak, Stefan Woltran:
On Uniform Equivalence of Epistemic Logic Programs. CoRR abs/1907.10925 (2019) - [i23]Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub:
ASP-Core-2 Input Language Format. CoRR abs/1911.04326 (2019) - 2018
- [j35]Mario Alviano, Wolfgang Faber:
Aggregates in Answer Set Programming. Künstliche Intell. 32(2-3): 119-124 (2018) - [j34]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:
The ASP System DLV: Advancements and Applications. Künstliche Intell. 32(2-3): 177-179 (2018) - [c75]Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca:
Externally Supported Models for Efficient Computation of Paracoherent Answer Sets. AAAI 2018: 1720-1727 - [c74]Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin:
Enumerating Preferred Extensions Using ASP Domain Heuristics: The ASPrMin Solver. COMMA 2018: 459-460 - [c73]Tomás Skerík, Lukás Chrpa, Wolfgang Faber, Mauro Vallati:
Automated Training Plan Generation for Athletes. SMC 2018: 3865-3870 - [e7]Wolfgang Faber, Paul Fodor, Giovanni De Gasperis, Adrian Giurca, Kia Teymourian:
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. CEUR Workshop Proceedings 2204, CEUR-WS.org 2018 [contents] - [i22]Wolfgang Faber, Michael Morak, Stefan Woltran:
Strong Equivalence for Epistemic Logic Programs Made Easy (Extended Version). CoRR abs/1811.04800 (2018) - 2017
- [c72]Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca:
On the Computation of Paracoherent Answer Sets. AAAI 2017: 1034-1040 - [e6]Giovambattista Ianni, Domenico Lembo, Leopoldo E. Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab:
Reasoning Web. Semantic Interoperability on the Web - 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures. Lecture Notes in Computer Science 10370, Springer 2017, ISBN 978-3-319-61032-0 [contents] - [i21]Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca:
On the Computation of Paracoherent Answer Sets. CoRR abs/1707.06813 (2017) - 2016
- [c71]Mario Alviano, Wolfgang Faber, Hannes Strass:
Boolean Functions with Ordered Domains in Answer Set Programming. AAAI 2016: 879-885 - [c70]Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin:
Solving Set Optimization Problems by Cardinality Optimization with an Application to Argumentation. ECAI 2016: 966-973 - [c69]Christopher Brenton, Wolfgang Faber, Sotiris Batsakis:
Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments. ICLP (Technical Communications) 2016: 4:1-4:15 - [c68]Mario Alviano, Wolfgang Faber, Martin Gebser:
From Non-Convex Aggregates to Monotone Aggregates in ASP. IJCAI 2016: 4100-4194 - [c67]Tomás Skerík, Wolfgang Faber, Lukás Chrpa:
Proposing of Planning System for Sports Domain: A Tool for Professional Coaches. PlanSIG 2016 - [i20]Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin:
Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation. CoRR abs/1612.07589 (2016) - 2015
- [j33]Mario Alviano, Wolfgang Faber:
Effectively solving NP-SPEC encodings by translation to ASP. J. Exp. Theor. Artif. Intell. 27(5): 577-601 (2015) - [j32]Domenico Lembo, Wolfgang Faber:
Web reasoning and rule systems. Semantic Web 6(5): 425-426 (2015) - [j31]Mario Alviano, Wolfgang Faber, Martin Gebser:
Rewriting recursive aggregates in answer set programming: back to monotonicity. Theory Pract. Log. Program. 15(4-5): 559-573 (2015) - [c66]Mario Alviano, Wolfgang Faber:
Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective. IJCAI 2015: 2684-2690 - [c65]Mario Alviano, Wolfgang Faber:
Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms. RR 2015: 30-44 - [e5]Wolfgang Faber, Adrian Paschke:
Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures. Lecture Notes in Computer Science 9203, Springer 2015, ISBN 978-3-319-21767-3 [contents] - [i19]Mario Alviano, Wolfgang Faber, Martin Gebser:
Rewriting recursive aggregates in answer set programming: back to monotonicity. CoRR abs/1507.03923 (2015) - 2014
- [j30]Mario Alviano, Wolfgang Faber, Stefan Woltran:
Complexity of super-coherence problems in ASP. Theory Pract. Log. Program. 14(3): 339-361 (2014) - [j29]Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber:
Efficient Computation of the Well-Founded Semantics over Big Data. Theory Pract. Log. Program. 14(4-5): 445-459 (2014) - [i18]Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri:
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. CoRR abs/1401.4596 (2014) - [i17]Mario Alviano, Wolfgang Faber:
Semantics and Compilation of Answer Set Programming with Generalized Atoms. CoRR abs/1405.1287 (2014) - [i16]Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber:
Efficient Computation of the Well-Founded Semantics over Big Data. CoRR abs/1405.2590 (2014) - 2013
- [j28]Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran:
Strong Equivalence of Qualitative Optimization Problems. J. Artif. Intell. Res. 47: 351-391 (2013) - [j27]Wolfgang Faber, Nicola Leone:
Introduction to the special issue on the 25th annual GULP conference. Theory Pract. Log. Program. 13(2): 147-148 (2013) - [c64]Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran:
Abstract Preference Frameworks - a Unifying Perspective on Separability and Strong Equivalence. AAAI 2013: 297-303 - [c63]Mario Alviano, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca:
WASP: A Native ASP Solver Based on Constraint Learning. LPNMR 2013: 54-66 - [c62]Mario Alviano, Wolfgang Faber:
The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics. LPNMR 2013: 67-72 - [c61]Wolfgang Faber:
Answer Set Programming. Reasoning Web 2013: 162-193 - [c60]Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna:
Query Answering over Disjunctive Datalog with Existential Quantifiers. SEBD 2013: 393-400 - [e4]Wolfgang Faber, Domenico Lembo:
Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings. Lecture Notes in Computer Science 7994, Springer 2013, ISBN 978-3-642-39665-6 [contents] - [i15]Mario Alviano, Wolfgang Faber:
Translating NP-SPEC into ASP. CoRR abs/1301.1385 (2013) - [i14]Mario Alviano, Wolfgang Faber:
Properties of Answer Set Programming with Convex Generalized Atoms. CoRR abs/1312.6096 (2013) - 2012
- [j26]Mario Alviano, Wolfgang Faber, Gianluigi Greco, Nicola Leone:
Magic Sets for disjunctive Datalog programs. Artif. Intell. 187: 156-192 (2012) - [j25]Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna:
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues. Theory Pract. Log. Program. 12(4-5): 701-718 (2012) - [c59]Jürgen Dix, Wolfgang Faber, V. S. Subrahmanian:
Privacy Preservation Using Multi-context Systems and Default Logic. Correct Reasoning 2012: 195-210 - [c58]Wolfgang Faber, Nicola Leone, Simona Perri:
The Intelligent Grounder of DLV. Correct Reasoning 2012: 247-264 - [c57]Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran:
Strong Equivalence of Qualitative Optimization Problems. KR 2012 - [c56]Wolfgang Faber:
A Polynomial Reduction from ASPDA to ASP. RR 2012: 213-216 - [i13]Mario Alviano, Wolfgang Faber, Gianluigi Greco, Nicola Leone:
Magic Sets for Disjunctive Datalog Programs. CoRR abs/1204.6346 (2012) - [i12]Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna:
Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues. CoRR abs/1210.2316 (2012) - [i11]Mario Alviano, Wolfgang Faber, Stefan Woltran:
Complexity of super-coherence problems in ASP. CoRR abs/1212.5895 (2012) - 2011
- [j24]Wolfgang Faber, Gerald Pfeifer, Nicola Leone:
Semantics and complexity of recursive aggregates in answer set programming. Artif. Intell. 175(1): 278-298 (2011) - [j23]Mario Alviano, Wolfgang Faber:
Dynamic Magic Sets and super-coherent answer set programs. AI Commun. 24(2): 125-145 (2011) - [j22]Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca:
Look-back Techniques for ASP Programs with Aggregates. Fundam. Informaticae 107(4): 379-413 (2011) - [j21]Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri:
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. J. Artif. Intell. Res. 42: 487-527 (2011) - [c55]Wolfgang Faber, Stefan Woltran:
Manifold Answer-Set Programs and Their Applications. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 44-63 - [c54]Carmine Dodaro, Mario Alviano, Wolfgang Faber, Nicola Leone, Francesco Ricca, Marco Sirianni:
The Birth of a WASP: Preliminary Report on a New ASP Solver. CILC 2011: 99-113 - [c53]Mario Alviano, Wolfgang Faber, Stefan Woltran:
Complexity of Super-Coherence Problems in Answer Set Programming. CILC 2011: 131-145 - [c52]Wolfgang Faber:
Privacy Preservation Using Multi-Context Systems. Log-IC@LPNMR 2011: 45-51 - [c51]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:
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. LPNMR 2011: 388-403 - [e3]James P. Delgrande, Wolfgang Faber:
Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings. Lecture Notes in Computer Science 6645, Springer 2011, ISBN 978-3-642-20894-2 [contents] - [i10]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
Answer Set Planning Under Action Costs. CoRR abs/1106.5257 (2011) - [i9]Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran:
Strong Equivalence of Qualitative Optimization Problems. CoRR abs/1112.0791 (2011) - 2010
- [j20]Mario Alviano, Wolfgang Faber, Nicola Leone:
Disjunctive ASP with functions: Decidable queries and effective computation. Theory Pract. Log. Program. 10(4-6): 497-512 (2010) - [c50]Thomas Eiter, Wolfgang Faber, Mushthofa Mushthofa:
Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities. AAAI 2010: 303-308 - [c49]Mario Alviano, Wolfgang Faber, Nicola Leone:
Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation. RCRA@CPAIOR 2010 - [c48]Mario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina:
The Disjunctive Datalog System DLV. Datalog 2010: 282-301 - [e2]Wolfgang Faber, Nicola Leone:
Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010. CEUR Workshop Proceedings 598, CEUR-WS.org 2010 [contents] - [i8]Mario Alviano, Wolfgang Faber, Nicola Leone:
Disjunctive ASP with Functions: Decidable Queries and Effective Computation. CoRR abs/1007.4028 (2010) - [i7]Mario Alviano, Wolfgang Faber:
Dynamic Magic Sets for Super-Consistent Answer Set Programs. CoRR abs/1011.4377 (2010)
2000 – 2009
- 2009
- [j19]Annamaria Bria, Wolfgang Faber, Nicola Leone:
Normal Form Nested Programs. Fundam. Informaticae 96(3): 271-295 (2009) - [c47]Wolfgang Faber, Stefan Woltran:
Manifold Answer-Set Programs for Meta-reasoning. LPNMR 2009: 115-128 - [c46]Annamaria Bria, Wolfgang Faber, Nicola Leone:
nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver. LPNMR 2009: 477-482 - 2008
- [j18]Marco Maratea, Francesco Ricca, Wolfgang Faber, Nicola Leone:
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers. J. Algorithms 63(1-3): 70-89 (2008) - [j17]Thomas Eiter, Esra Erdem, Wolfgang Faber:
Undoing the effects of action sequences. J. Appl. Log. 6(3): 380-415 (2008) - [j16]Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa:
Design and implementation of aggregate functions in the DLV system. Theory Pract. Log. Program. 8(5-6): 545-580 (2008) - [c45]Wolfgang Faber, Gianluigi Greco, Nicola Leone:
Magic Sets for Data Integration. AAAI 2008: 1528-1531 - [c44]Nicola Leone, Wolfgang Faber:
The DLV Project: A Tour from Theory and Research to Applications and Market. ICLP 2008: 53-68 - [c43]Annamaria Bria, Wolfgang Faber, Nicola Leone:
Normal Form Nested Programs. JELIA 2008: 76-88 - [c42]Wolfgang Faber, Hans Tompits, Stefan Woltran:
Notions of Strong Equivalence for Logic Programs with Ordered Disjunction. KR 2008: 433-443 - [c41]Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca:
Look-back Techniques for ASP Programs with Aggregates. RCRA 2008 - [p1]Wolfgang Faber, Nicola Leone, Francesco Ricca:
Answer Set Programming. Wiley Encyclopedia of Computer Science and Engineering 2008 - [i6]Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa:
Design and Implementation of Aggregate Functions in the DLV System. CoRR abs/0802.3137 (2008) - 2007
- [j15]Thomas Eiter, Wolfgang Faber, Michael Fink, Stefan Woltran:
Complexity results for answer set programming with bounded predicate arities and implications. Ann. Math. Artif. Intell. 51(2-4): 123-165 (2007) - [j14]Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Francesco Ricca:
On look-ahead heuristics in disjunctive logic programming. Ann. Math. Artif. Intell. 51(2-4): 229-266 (2007) - [j13]Thomas Eiter, Esra Erdem, Wolfgang Faber, Ján Senko:
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution. Fundam. Informaticae 79(1-2): 25-69 (2007) - [j12]Wolfgang Faber, Gianluigi Greco, Nicola Leone:
Magic Sets and their application to data integration. J. Comput. Syst. Sci. 73(4): 584-609 (2007) - [c40]Thomas Eiter, Esra Erdem, Wolfgang Faber:
On Reversing Actions: Algorithms and Complexity. IJCAI 2007: 336-341 - [c39]Wolfgang Faber, Nicola Leone:
On the Complexity of Answer Set Programming with Aggregates. LPNMR 2007: 97-109 - [c38]Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca:
Experimenting with Look-Back Heuristics for Hard ASP Programs. LPNMR 2007: 110-122 - 2006
- [j11]Francesco Ricca, Wolfgang Faber, Nicola Leone:
A backjumping technique for Disjunctive Logic Programming. AI Commun. 19(2): 155-172 (2006) - [j10]Wolfgang Faber, Kathrin Konczak:
Strong order equivalence. Ann. Math. Artif. Intell. 47(1-2): 43-78 (2006) - [j9]Francesco Calimeri, Wolfgang Faber, Gerald Pfeifer, Nicola Leone:
Pruning Operators for Disjunctive Logic Programming Systems. Fundam. Informaticae 71(2-3): 183-214 (2006) - [j8]Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello:
The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3): 499-562 (2006) - [c37]Wolfgang Faber:
Decomposition of Nonmonotone Aggregates in Answer Set Programming. WLP 2006: 164-171 - 2005
- [j7]Wolfgang Faber, Nicola Leone, Francesco Ricca:
Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks. Intelligenza Artificiale 2(3): 21-28 (2005) - [c36]Wolfgang Faber, Gianluigi Greco, Nicola Leone:
Magic Sets and Their Application to Data Integration. ICDT 2005: 306-320 - [c35]Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri:
Declarative and Computational Properties of Logic Programs with Aggregates. IJCAI 2005: 406-411 - [c34]Wolfgang Faber, Kathrin Konczak:
Strong Equivalence for Logic Programs with Preferences. IJCAI 2005: 430-435 - [c33]Wolfgang Faber, Nicola Leone, Francesco Ricca:
Heuristics for Hard ASP Programs. IJCAI 2005: 1562-1563 - [c32]Jürgen Dix, Wolfgang Faber, V. S. Subrahmanian:
The Relationship Between Reasoning About Privacy and Default Logics. LPAR 2005: 637-650 - [c31]Wolfgang Faber:
Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates. LPNMR 2005: 40-52 - [c30]Wolfgang Faber, Francesco Ricca:
Solving Hard ASP Programs Efficiently. LPNMR 2005: 240-252 - [c29]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:
Data Integration: a Challenging ASP Application. LPNMR 2005: 379-383 - [c28]Thomas Eiter, Wolfgang Faber, Patrick Traxler:
Testing Strong Equivalence of Datalog Programs - Implementation and Examples. LPNMR 2005: 437-441 - [c27]Wolfgang Faber, Gianluigi Greco, Nicola Leone:
Magic Sets and their Application to Data Integration. SEBD 2005: 47-54 - [c26]Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Gianluigi Greco:
Boosting Information Integration: The INFOMIX System. SEBD 2005: 55-66 - [c25]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:
The INFOMIX system for advanced integration of incomplete and inconsistent data. SIGMOD Conference 2005: 915-917 - 2004
- [j6]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
A logic programming approach to knowledge-state planning: Semantics and complexity. ACM Trans. Comput. Log. 5(2): 206-263 (2004) - [c24]Chiara Cumbo, Wolfgang Faber, Gianluigi Greco, Nicola Leone:
Enhancing the Magic-Set Method for Disjunctive Datalog Programs. ICLP 2004: 371-385 - [c23]Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. JELIA 2004: 200-212 - [c22]Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer:
New DLV Features for Data Integration. JELIA 2004: 698-701 - [c21]Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran:
Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. KR 2004: 377-387 - [c20]Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer:
System Description: DLV with Aggregates. LPNMR 2004: 326-330 - [c19]Thomas Eiter, Esra Erdem, Wolfgang Faber:
Plan reversals for recovery in execution monitoring. NMR 2004: 147-154 - 2003
- [j5]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
A logic programming approach to knowledge-state planning, II: The DLVK system. Artif. Intell. 144(1-2): 157-211 (2003) - [j4]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
Answer Set Planning Under Action Costs. J. Artif. Intell. Res. 19: 25-71 (2003) - [j3]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Computing preferred answer sets by meta-interpretation in answer set programming. Theory Pract. Log. Program. 3(4-5): 463-498 (2003) - [c18]Chiara Cumbo, Wolfgang Faber, Gianluigi Greco:
Improving Query Optimization for Disjunctive Datalog. APPIA-GULP-PRODE 2003: 252-262 - [c17]Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer:
Aggregate Functions in DLV. Answer Set Programming 2003 - [c16]Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran:
Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. Answer Set Programming 2003 - [c15]Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer:
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. IJCAI 2003: 847-852 - 2002
- [j2]Francesco Buccafurri, Wolfgang Faber, Nicola Leone:
Disjunctive Logic Programs with Inheritance. Theory Pract. Log. Program. 2(3): 293-321 (2002) - [c14]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
Answer Set Planning under Action Costs. JELIA 2002: 186-197 - [c13]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:
The DLV System. JELIA 2002: 537-540 - [c12]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
The DLVK Planning System: Progress Report. JELIA 2002: 541-544 - [c11]Francesco Calimeri, Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Pruning operators for answer set programming systems. NMR 2002: 200-209 - [i5]Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello:
The DLV System for Knowledge Representation and Reasoning. CoRR cs.AI/0211004 (2002) - [i4]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming. CoRR cs.LO/0201013 (2002) - 2001
- [c10]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming. Answer Set Programming 2001 - [c9]Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Experimenting with Heuristics for Answer Set Programming. IJCAI 2001: 635-640 - [c8]Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Optimizing the Computation of Heuristics for Answer Set Programming Systems. LPNMR 2001: 295-308 - [c7]Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer:
System Description: DLV. LPNMR 2001: 424-428 - [c6]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
System Description: The DLVK Planning System. LPNMR 2001: 429-433 - [e1]Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski:
Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings. Lecture Notes in Computer Science 2173, Springer 2001, ISBN 3-540-42593-4 [contents] - [i3]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity. CoRR cs.AI/0112006 (2001) - [i2]Francesco Buccafurri, Wolfgang Faber, Nicola Leone:
Disjunctive Logic Programs with Inheritance. CoRR cs.LO/0105036 (2001) - 2000
- [c5]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
Planning under Incomplete Knowledge. Computational Logic 2000: 807-821 - [c4]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
Using the dlv System for Planning and Diagnostic Reasoning. WLP 2000: 125-134 - [i1]Thomas Eiter, Wolfgang Faber, Christoph Koch, Nicola Leone, Gerald Pfeifer:
DLV - A System for Declarative Problem Solving. CoRR cs.AI/0003036 (2000)
1990 – 1999
- 1999
- [j1]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
The Diagnosis Frontend of the dlv System. AI Commun. 12(1-2): 99-111 (1999) - [c3]Francesco Buccafurri, Wolfgang Faber, Nicola Leone:
Disjunctive Logic Programs with Inheritance. ICLP 1999: 79-93 - [c2]Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Pushing Goal Derivation in DLP Computations. LPNMR 1999: 177-191 - 1997
- [c1]Simona Citrigno, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello:
The dlv System: Model Generator and Advanced Frontends (system description). WLP 1997
Coauthor Index
[j37] [i23] [j34] [c72] [i21] [i18] [j27] [c63] [c60] [j26] [j25] [c58] [i13] [i12] [j24] [j22] [j21] [c54] [c51] [i10] [j20] [c49] [c48] [e2] [i8] [j19] [c46] [j18] [j16] [c45] [c44] [c43] [c41] [p1] [i6] [j14] [j12] [c39] [c38] [j11] [j9] [j8] [j7] [c36] [c35] [c33] [c29] [c27] [c26] [c25] [j6] [c24] [c23] [c22] [c20] [j5] [j4] [j3] [c17] [c15] [j2] [c14] [c13] [c12] [c11] [i5] [i4] [c10] [c9] [c8] [c7] [c6] [i3] [i2] [c5] [c4] [i1] [j1] [c3] [c2] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-31 20:12 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
