Name Card

Full name Familienname, Vorname
Faber, Wolfgang
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 48 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Moser, Bernhard ; Dorffner, Georg ; Eiter, Thomas ; Faber, Wolfgang ; Klambauer, Günther ; Legenstein, Robert ; Nessler, Bernhard ; Polleres, Axel ; Woltran, Stefan Österreichische AI Strategie aus Sicht der WissenschaftArtikel Article2020
2FABER, WOLFGANG ; MORAK, MICHAEL ; WOLTRAN, STEFAN On Uniform Equivalence of Epistemic Logic ProgramsArtikel Article 2019
3Faber, Wolfgang ; Morak, Michael ; Woltran, Stefan Strong Equivalence for Epistemic Logic Programs Made EasyKonferenzbeitrag Inproceedings 2019
4ALVIANO, MARIO ; FABER, WOLFGANG ; WOLTRAN, STEFAN Complexity of super-coherence problems in ASPArtikel Article 2014
5Faber, Wolfgang ; Truszczynski, Miroslaw ; Woltran, Stefan Abstract Preference Frameworks - a Unifying Perspective on Separability and Strong EquivalenceKonferenzbeitrag Inproceedings 2013
6Faber, W. ; Truszczyński, M. ; Woltran, S. Strong Equivalence of Qualitative Optimization ProblemsArtikel Article 2013
7Faber, Wolfgang ; Truszczynski, Miroslaw ; Woltran, Stefan Strong Equivalence of Qualitative Optimization ProblemsKonferenzbeitrag Inproceedings 2012
8Alviano, Mario ; Faber, Wolfgang ; Woltran, Stefan Complexity of Super-Coherence Problems in ASPPräsentation Presentation2011
9Faber, Wolfgang ; Woltran, Stefan Manifold Answer-Set Programs and Their ApplicationsBuchbeitrag Book Contribution2011
10Eiter, Thomas ; Mushthofa, Mushthofa ; Faber, Wolfgang Space Efficient Evaluation of ASP Programs with Bounded Predicate AritiesKonferenzbeitrag Inproceedings 2010
11Faber, Wolfgang ; Woltran, Stefan Manifold Answer-Set Programs for Meta-ReasoningKonferenzbeitrag Inproceedings2009
12Faber, Wolfgang ; Woltran, Stefan A Framework for Programming with Module ConsequencesKonferenzbeitrag Inproceedings 2009
13Faber, Wolfgang ; Woltran, Stefan Manifold Answer-Set Programs for Meta-reasoningKonferenzbeitrag Inproceedings 2009
14Faber, Wolfgang ; Tompits, Hans ; Woltran, Stefan Notions of Strong Equivalence for Logic Programs with Ordered DisjunctionKonferenzbeitrag Inproceedings 2008
15Eiter, Thomas ; Erdem, Esra ; Faber, Wolfgang On Reversing Actions: Algorithms and ComplexityKonferenzbeitrag Inproceedings 2007
16Brain, Martin ; Faber, Wolfgang ; Maratea, Marco ; Polleres, Axel Florian ; Schaub, Torsten ; Schindlauer, Roman What should an ASP Solver output?Konferenzbeitrag Inproceedings 2007
17Eiter, Thomas ; Erdem, Esra ; Faber, Wolfgang ; Senko, Jan A Logic-Based Approach to Finding Explanations for Discrepencies in Optimistic Plan ExecutionArtikel Article2007
18Faber, Wolfgang ; Tompits, Hans ; Woltran, Stefan Characterizing Notions of Strong Equivalence for Logic Programs with Ordered DisjunctionsKonferenzbeitrag Inproceedings 2007
19Eiter, Thomas ; Faber, Wolfgang ; Fink, Michael ; Woltran, Stefan Complexity results for answer set programming with bounded predicate arities and implicationsArtikel Article 2007
20Leone, Nicola ; Pfeifer, Gerald ; Faber, Wolfgang ; Eiter, Thomas ; Gottlob, Georg ; Perri, Simona ; Scarcello, Francesco The DLV System for knowledge representation and reasoningArtikel Article2006

Contributing Publications Mitbeteiligte Publikationen

Results 1-9 of 9 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fichte, Johannes ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan Counting Answer Sets via Dynamic ProgrammingKonferenzbeitrag Inproceedings2016
2Bliem, Bernhard ; Ordyniak, Sebastian ; Woltran, Stefan Clique-Width and Directed Width Measures for Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2016
3Bienvenu, Meghyn ; Ortiz, Magdalena Ontology-Mediated Query Answering with Data-Tractable Description LogicsKonferenzbeitrag Inproceedings2015
4Wang, Yisong ; You, Jia-Huai ; Yuan, Li Yan ; Shen, Yi-Dong ; Eiter, Thomas Eliminating Nonmonotonic DL-Atoms in Description Logic ProgramsKonferenzbeitrag Inproceedings 2013
5Eiter, Thomas ; Fink, Michael ; Schüller, Peter Approximations for Explanations of Inconsistency in Partially Known Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
6Fink, Michael ; Ghionna, Lucantonio ; Weinzierl, Antonius Relational Information Exchange and Aggregation in Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
7Drescher, Christian ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Walsh, Toby Symmetry Breaking for Distributed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
8Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schüller, Peter Pushing Efficient Evaluation of HEX Programs by Modular DecompositionKonferenzbeitrag Inproceedings 2011
9Egly, Uwe ; Gaggl, Sarah Alice ; Woltran, Stefan Answer-Set Programming Encodings for Argumentation FrameworksKonferenzbeitrag Inproceedings 2008