Portrait of Prof Wolfgang Faber Prof Wolfgang Faber

View research degree topics that Prof Wolfgang Faber might supervise

w.faber@hud.ac.uk | 01484 471495


  0000-0002-0330-5868  

  wolfgangfaber  

  @wolfgangfaber  

  Prof Wolfgang Faber on Google Scholar  

  Prof Wolfgang Faber on ResearchGate  


Biography

Since August 2014 I serve as a Professor of Artificial Intelligence and since October 2015 also as Director of Graduate Education (responsible for postgraduate research students) in the School of Computing and Engineering of the University of Huddersfield.

Before starting as a Reader at the University of Huddersfield in September 2013, I had served as an Associate Professor at the University of Calabria (Italy) since 2006, was the recipient of an APART grant of the Austrian Academy of Sciences from 2004 to 2006, and served as the equivalent of a Lecturer at the Vienna University of Technology (Austria) from 1999 to 2006. I obtained the title of Privatdozent for my Habilitation in 2006, the equivalent of a PhD in Computer Science in 2002, and the equivalent of an MSc in Computer Science in 1998, all from the Vienna University of Technology (Austria).

I am a fluent speaker of German, English, and Italian, and have a less developed and rusty command of French as well. When not researching, teaching, or being with my family, I enjoy running, skiing, swimming, and more recently practicing Bikram yoga.

Personal homepage: http://www.wfaber.com

Research and Scholarship

My research is in the areas of artificial intelligence, databases, and theoretical computer science, in particular in knowledge representation and reasoning, logic, planning, agents, diagnosis, computational complexity, and similar topics. A main focus of my work has been and still is logic programming, in particular a formalism known as answer set programming. I have been among the main architects of one of the most famous answer set programming software systems, DLV. I have published well over 100 research papers.

Publications and Other Research Outputs

2017

Amendola, G., Dodaro, C., Faber, W., Leone, N. and Francesco, R. (2017) ‘On the Computation of Paracoherent Answer Sets’. In: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence. : AAAI Press. pp. 1034-1040.

2016

Faber, W., Vallati, M., Cerutti, F. and Giacomin, M. (2016) ‘Solving Set Optimization Problems by Cardinality Optimization with an Application to Argumentation’. In: 22nd European Conference on Artificial Intelligence (ECAI2016). : IOS Press. pp. 966-973. ISBN 978-1-61499-671-2

Brenton, C., Faber, W. and Batsakis, S. (2016) ‘Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments’. In: Technical Communications of the 32nd International Conference on Logic Programming (ICLP'16). : Dagstuhl. . ISBN 978359770071

Alviano, M., Faber, W. and Gebser, M. (2016) ‘From Non-Convex Aggregates to Monotone Aggregates in ASP’. In: 25th International Joint Conference on Artificial Intelligence (IJCAI-16). : AAAI Press. . ISBN 978-1-57735-771-1

Alviano, M., Faber, W. and Strass, H. (2016) ‘Boolean Functions with Ordered Domains in Answer Set Programming’. In: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence. : AAAI Press. pp. 879-885.

2015

Alviano, M. and Faber, W. (2015) ‘Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms’. In: Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.. : Springer. pp. 30-44. ISBN 978-3-319-22001-7

Alviano, M., Faber, W. and Gebser, M. (2015) ‘Rewriting recursive aggregates in answer set programming: back to monotonicityTheory and Practice of Logic Programming , 15 (4-5), pp. 559-573. ISSN 1471-0684

Alviano, M. and Faber, W. (2015) ‘Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective’. In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. : AAAI Press. pp. 2684-2690.

Alviano, M. and Faber, W. (2015) ‘Effectively Solving NP-SPEC Encodings by Translation to ASPJournal of Experimental and Theoretical Artificial Intelligence , 27 (5), pp. 577-601. ISSN 0952-813X

Lembo, D. and Faber, W. (2015) ‘Editorial: Web reasoning and rule systemsSemantic Web , 6 (5), pp. 425-426. ISSN 1570-0844

2014

Tachmazidis, I., Antoniou, G. and Faber, W. (2014) ‘Efficient Computation of the Well-Founded Semantics over Big DataTheory and Practice of Logic Programming , 14 (4-5), pp. 445-459. ISSN 1471-0684

Alviano, M., Faber, W. and Woltran, S. (2014) ‘Complexity of super-coherence problems in ASPTheory and Practice of Logic Programming , 14 (3), pp. 339-361. ISSN 1471-0684

2013

Alviano, M. and Faber, W. (2013) ‘The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics’. In: Logic Programming and Nonmonotonic Reasoning. : Springer Verlag. pp. 67-72. ISBN 978-3-642-40563-1

Alviano, M. and Faber, W. (2013) ‘Properties of Answer Set Programming with Convex Generalized Atoms’. In: Sixth International Workshop on Answer Set Programming and Other Computing Paradigms, 25 August 2013, Istanbul, Turkey

Faber, W., Truszczy?ski, M. and Woltran, S. (2013) ‘Abstract Preference Frameworks: a Unifying Perspective on Separability and Strong Equivalence’. In: Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA. : AAAI Press. . ISBN 978-1-57735-615-8

Alviano, M. and Faber, W. (2013) ‘Solving NP-SPEC Domains Using ASP’. In: 20th RCRA International Workshop on "Experimental Evaluation of Algorithms for solving problems with combinatorial explosion", 14-15 June 2013, Rome, Italy

Alviano, M., Faber, W., Leone, N. and Manna, M. (2013) ‘Query answering over disjunctive datalog with existential quantifiers’. In: 21st Italian Symposium on Advanced Database Systems, 30 June - 3 July 2013, Roccella Jonica, Italy

Faber, W., Truszczy?ski, M. and Woltran, S. (2013) ‘Strong Equivalence of Qualitative Optimization ProblemsJournal of Artificial Intelligence Research , 47, pp. 351-391. ISSN 1076 - 9757

2012

Alviano, M., Faber, W., Greco, G. and Leone, N. (2012) ‘Magic Sets for disjunctive Datalog programsArtificial Intelligence , 187-18, pp. 156-192. ISSN 0004-3702

2011

Alviano, M., Calimeri, F., Faber, W., Leone, N. and Perri, S. (2011) ‘Unfounded Sets and Well-Founded Semantics of Answer Set Programs with AggregatesJournal of Artificial Intelligence Research , 42, pp. 487-527. ISSN 1076 - 9757

Faber, W., Pfeifer, G. and Leone, N. (2011) ‘Semantics and complexity of recursive aggregates in answer set programmingArtificial Intelligence , 175 (1), pp. 278-298. ISSN 0004-3702

2010

Alviano, M., Faber, W. and Leone, N. (2010) ‘Disjunctive ASP with functions: Decidable queries and effective computationTheory and Practice of Logic Programming , 10 (4-6), pp. 497-512. ISSN 1471-0684

Esteem

I am or was on the Editorial Board of the Journal of Artificial Intelligence Research (7/2012-), the Editorial Board of Advances in Artificial Intelligence, (9/2011-), the Editorial Board of Conference Papers in Computer Science (10/2012-), and the Editorial Board of The Scientific World Journal (10/2013-).

I am a reviewer for Zentralblatt MATH. I am/was Guest Editor of Theory and Practice of Logic Programming, vol. 13 special issue 02 "25th Annual GULP Conference" and of Semantic Web – Interoperability, Usability, Applicability, special issue "Web Reasoning and Rule Systems".

I delivered keynote addresses at the 5th Workshop on Answer Set Programming and Other Computing Paradigms, Budapest, Hungary (9/2012), at the 23rd Italian Conference on Computational Logic, Perugia, Italy (7/2008), and at the Joint Conference on Declarative Programming APPIA-GULP-PRODE, Reggio Calabria, Italy (9/2003).

I was general chair of the International Conference on Web Reasoning and Rule Systems (RR) 2015 and the Reasoning Web Summer School (RW) 2015 in Berlin, Gemany, programme co-chair (with Domenico Lembo of Sapienza University of Rome, Italy) of the International Conference on Web Reasoning and Rule Systems (RR) 2013, Mannheim, Germany, programme co-chair (with James Delgrande of Simon Fraser University, Canada) of the International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) 2011, Vancouver, Canada, co-chair (with Nicola Leone of the University of Calabria, Italy) of the Italian Conference on Computational Logic (CILC) 2010, Rende, Italy, co-chair (with Joohyung Lee of Arizona State University, USA) of the Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2008, Udine, Italy, and 2009, Pasadena, USA.

I was involved in the local organization of the Third International Symposium on Foundations of Information and Knowledge Systems (FoIKS) 2004, Vienna, Austria, the Sixth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) 2001, Vienna, Austria, and the Joint German/Austrian Conference on Artificial Intelligence (KI) 2001, Vienna, Austria.

I have served on more than 50 programme committees, including major conferences in my research area like IJCAI, AAAI, KR, ICLP, or LPNMR.

I have received a prestigious APART grant by the Austrian Academy of Sciences in 2004, and have been an external PhD examiner at Aalto University, Finland, Vrije Universiteit Brussel, and the University of Ghent.

Research Degree Supervision

Enterprise Activities

I am a co-founder of DLVSYSTEM s.r.l., a spin-off company at the University of Calabria founded in 2005, which has won the regional Start Cup 2010 prize for innovative business plans.

Teaching and Professional Activities

I am a proponent of research guided teaching. I also enjoy teaching general introductory topics of computing and research in computing.

I am responsible for modules CHA2555 Artificial Intelligence and CMI3416 Effective Research.

I am Director of Graduate Education in our school.