- Wolfgang Faber:
An Introduction to Answer Set Programming and Some of Its Extensions. RW 2020: 149-185 - 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] - 2019
- Wolfgang Faber, Michael Morak, Stefan Woltran:
On Uniform Equivalence of Epistemic Logic Programs. Theory Pract. Log. Program. 19(5-6): 826-840 (2019) - Wolfgang Faber, Michael Morak, Stefan Woltran:
Strong Equivalence for Epistemic Logic Programs Made Easy. AAAI 2019: 2809-2816 - Mario Alviano, Wolfgang Faber:
Chain Answer Sets for Logic Programs with Generalized Atoms. JELIA 2019: 462-478 - Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Luca Pulina, Francesco Ricca:
Algorithm Selection for Paracoherent Answer Set Computation. JELIA 2019: 479-489 - Wolfgang Faber, Michael Morak, Stefan Woltran:
On Uniform Equivalence of Epistemic Logic Programs. CoRR abs/1907.10925 (2019) - 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
- 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) - Mario Alviano, Wolfgang Faber:
Aggregates in Answer Set Programming. Künstliche Intell. 32(2-3): 119-124 (2018) - Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca:
Externally Supported Models for Efficient Computation of Paracoherent Answer Sets. AAAI 2018: 1720-1727 - Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin:
Enumerating Preferred Extensions Using ASP Domain Heuristics: The ASPrMin Solver. COMMA 2018: 459-460 - Tomás Skerík, Lukás Chrpa, Wolfgang Faber, Mauro Vallati:
Automated Training Plan Generation for Athletes. SMC 2018: 3865-3870 - 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] - Wolfgang Faber, Michael Morak, Stefan Woltran:
Strong Equivalence for Epistemic Logic Programs Made Easy (Extended Version). CoRR abs/1811.04800 (2018) - 2017
- Sasan Amini, Kristian Beckers, Markus Böhm, Fritz Busch, Nihan Celikkaya, Vittorio Cozzolino, Anne Faber, Michael Haus, Dominik Huth, Alfons Kemper, Andreas Kipf, Helmut Krcmar, Florian Matthes, Jörg Ott, Christian Prehofer, Alexander Pretschner, Ömer Uludag, Wolfgang Wörndl:
Informatikforschung für digitale Mobilitätsplattformen - Am Beispiel des TUM Living Lab Connected Mobility. Inform. Spektrum 40(2): 180-191 (2017) - Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca:
On the Computation of Paracoherent Answer Sets. AAAI 2017: 1034-1040 - Sasan Amini, Kristian Beckers, Markus Böhm, Fritz Busch, Nihan Celikkaya, Vittorio Cozzolino, Anne Faber, Michael Haus, Dominik Huth, Alfons Kemper, Andreas Kipf, Helmut Krcmar, Florian Matthes, Jörg Ott, Christian Prehofer, Alexander Pretschner, Ömer Uludag, Wolfgang Wörndl:
Informatik-Forschung für digitale Mobilitätsplattformen. 50 Jahre Universitäts-Informatik in München 2017: 155-172 - 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] - Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca:
On the Computation of Paracoherent Answer Sets. CoRR abs/1707.06813 (2017) - 2016
- Mario Alviano, Wolfgang Faber, Hannes Strass:
Boolean Functions with Ordered Domains in Answer Set Programming. AAAI 2016: 879-885 - Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin:
Solving Set Optimization Problems by Cardinality Optimization with an Application to Argumentation. ECAI 2016: 966-973 - 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 - Mario Alviano, Wolfgang Faber, Martin Gebser:
From Non-Convex Aggregates to Monotone Aggregates in ASP. IJCAI 2016: 4100-4194 - Tomás Skerík, Wolfgang Faber, Lukás Chrpa:
Proposing of Planning System for Sports Domain: A Tool for Professional Coaches. PlanSIG 2016 - 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
- Mario Alviano, Wolfgang Faber:
Effectively solving NP-SPEC encodings by translation to ASP. J. Exp. Theor. Artif. Intell. 27(5): 577-601 (2015) - Domenico Lembo, Wolfgang Faber:
Web reasoning and rule systems. Semantic Web 6(5): 425-426 (2015) - 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) - Mario Alviano, Wolfgang Faber:
Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective. IJCAI 2015: 2684-2690