# Wolfgang Faber

> researcher, ORCID id # 0000-0002-0330-5868

**Wikidata**: [Q58049738](https://www.wikidata.org/wiki/Q58049738)  
**Source**: https://4ort.xyz/entity/wolfgang-faber-q58049738

## Summary  
Wolfgang Faber is an Austrian computer scientist and researcher known for his contributions to computational logic, artificial intelligence, and knowledge representation. He has held academic positions at several European universities and is currently a professor at the University of Klagenfurt.

## Biography  
- Born: 1974  
- Nationality: Austria  
- Education: Diplom and doctorate from TU Wien (1992–1998, 1998–2002)  
- Known for: Research in computational logic, answer set programming, and nonmonotonic reasoning  
- Employer(s):  
  - University of Klagenfurt (Professor, since 2018)  
  - University of Calabria (Associate Professor, 2006–2018)  
  - University of Huddersfield (various roles, 2013–2018)  
  - TU Wien (various roles, 1999–2006)  
- Field(s): Computer Science, Artificial Intelligence, Logic Programming  

## Contributions  
Wolfgang Faber has made significant contributions to computational logic and knowledge representation, particularly in the area of answer set programming (ASP). His research focuses on nonmonotonic reasoning, which allows logical systems to draw plausible conclusions in the presence of incomplete information. He co-authored influential papers such as *“Semantics and complexity results for logic programs with aggregates”* (2004), which advanced the theoretical foundations of ASP. Faber also contributed to the DLV system, a widely used tool for disjunctive logic programming. His work has been cited thousands of times and has shaped modern approaches to declarative problem-solving in AI. Additionally, he has served on program committees for top-tier conferences in logic programming and artificial intelligence.

## FAQs  
### Q: What is Wolfgang Faber's main area of research?  
A: Wolfgang Faber specializes in computational logic, nonmonotonic reasoning, and answer set programming within artificial intelligence.

### Q: Where does Wolfgang Faber work currently?  
A: He is currently a professor at the University of Klagenfurt in Austria, having joined in April 2018.

### Q: What are some key publications by Wolfgang Faber?  
A: Key works include *“Semantics and complexity results for logic programs with aggregates”* (2004) and contributions to the DLV system for disjunctive logic programming.

## Why They Matter  
Wolfgang Faber’s research has had a profound impact on the field of computational logic and artificial intelligence. By advancing the theory and practice of answer set programming, he helped establish it as a robust paradigm for knowledge representation and automated reasoning. His work enables more expressive and efficient modeling of complex problems in areas like planning, diagnosis, and configuration. Through tools like DLV and foundational papers, Faber has influenced both academic research and practical applications in AI. His efforts continue to shape how machines reason with incomplete or uncertain information, making him a pivotal figure in modern logic-based computing.

## Notable For  
- Co-authoring foundational papers in answer set programming and logic programming with aggregates  
- Contributions to the DLV system, a major implementation of disjunctive logic programming  
- Academic appointments across multiple European institutions including TU Wien, University of Calabria, and University of Klagenfurt  
- Extensive citation record and editorial/program committee involvement in leading AI and logic programming venues  

## Body  

### Academic Career  
Wolfgang Faber began his academic journey at TU Wien, where he earned both his Diplom (1998) and doctorate (2002). From 1999 to 2006, he worked at TU Wien before moving to the University of Calabria, where he served as associate professor until 2018. In August 2013, he joined the University of Huddersfield, rising to the rank of reader by September 2013, and remained there until March 2018. Since April 2018, he has been a full professor at the University of Klagenfurt in Austria.

### Research Focus  
His primary research lies in computational logic, specifically in nonmonotonic reasoning and answer set programming (ASP). These frameworks allow for declarative problem solving and have wide application in artificial intelligence. Faber’s work often bridges theory and implementation, contributing to both formal semantics and practical tools.

### Publications and Impact  
One of his most influential papers, *“Semantics and complexity results for logic programs with aggregates”*, co-authored in 2004, clarified the theoretical underpinnings of integrating aggregation constructs into logic programs. This work remains highly cited and informs current developments in ASP solvers. He also played a key role in developing the DLV system, which supports disjunctive logic programming and has been instrumental in deploying ASP in real-world scenarios.

### Tools and Systems  
Beyond theoretical contributions, Faber has actively participated in building systems that implement logic-based computation. The DLV system, which he supported through design and optimization, exemplifies his commitment to translating formal logic into usable technology.

### Professional Engagement  
He has served on numerous program committees for premier conferences in artificial intelligence and logic programming, including ICLP, LPNMR, and AAAI. His involvement underscores his standing in the global research community and reflects ongoing contributions to scholarly discourse.

## References

1. IdRef
2. [ORCID Public Data File 2021](https://pub.orcid.org/v3.0/0000-0002-0330-5868/education/15354349)
3. [ORCID Public Data File 2021](https://pub.orcid.org/v3.0/0000-0002-0330-5868/education/15354388)
4. Integrated Authority File
5. [ORCID Public Data File 2021](https://pub.orcid.org/v3.0/0000-0002-0330-5868/employment/5640678)
6. [ORCID Public Data File 2021](https://pub.orcid.org/v3.0/0000-0002-0330-5868/employment/968063)
7. [ORCID Public Data File 2021](https://pub.orcid.org/v3.0/0000-0002-0330-5868/employment/968058)
8. [ORCID Public Data File 2021](https://pub.orcid.org/v3.0/0000-0002-0330-5868/employment/968062)
9. [ORCID Public Data File 2021](https://pub.orcid.org/v3.0/0000-0002-0330-5868/employment/968066)
10. Czech National Authority Database
11. [ORCID Public Data File 2020](https://pub.orcid.org/v3.0_rc1/0000-0002-0330-5868/external-identifiers/7901)
12. Virtual International Authority File