Full name Familienname, Vorname
Faber, Wolfgang
 

Results 1-12 of 12 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Woltran, Stefan ; Eiter, Thomas ; Moser, Bernhard ; Dorffner, Georg ; Faber, Wolfgang ; Klambauer, Günther ; Legenstein, Robert ; Nessler, Bernhard ; Polleres, Axel Österreichische AI Strategie aus Sicht der WissenschaftArtikel Article2020
2Faber, Wolfgang ; Morak, Michael ; Woltran, Stefan Strong Equivalence for Epistemic Logic Programs Made EasyKonferenzbeitrag Inproceedings 2019
3Faber, Wolfgang ; Truszczynski, Miroslaw ; Woltran, Stefan Abstract Preference Frameworks - a Unifying Perspective on Separability and Strong EquivalenceKonferenzbeitrag Inproceedings 2013
4Faber, Wolfgang ; Truszczynski, Miroslaw ; Woltran, Stefan ; Brewka, Gerd ; Eiter, Thomas ; McIlraith, Sheila Strong Equivalence of Qualitative Optimization ProblemsKonferenzbeitrag Inproceedings 2012
5Alviano, Mario ; Faber, Wolfgang ; Woltran, Stefan Complexity of Super-Coherence Problems in ASPPräsentation Presentation2011
6Faber, Wolfgang ; Woltran, Stefan ; Balduccini, Marcello ; Son, Tran Cao Manifold Answer-Set Programs and Their ApplicationsBuchbeitrag Book Contribution2011
7Faber, Wolfgang ; Woltran, Stefan ; De Vos, Marina ; Schaub, Torsten A Framework for Programming with Module ConsequencesKonferenzbeitrag Inproceedings 2009
8Faber, Wolfgang ; Woltran, Stefan ; Erdem, Esra ; Lin, Fangzhen ; Schaub, Torsten Manifold Answer-Set Programs for Meta-reasoningKonferenzbeitrag Inproceedings 2009
9Faber, Wolfgang ; Woltran, Stefan ; Herzig, Andreas ; Johnston, Benjamin Manifold Answer-Set Programs for Meta-ReasoningKonferenzbeitrag Inproceedings2009
10Faber, Wolfgang ; Tompits, Hans ; Woltran, Stefan ; Brewka, Gerd ; Lang, Jérôme Notions of Strong Equivalence for Logic Programs with Ordered DisjunctionKonferenzbeitrag Inproceedings 2008
11Faber, Wolfgang ; Tompits, Hans ; Woltran, Stefan Characterizing Notions of Strong Equivalence for Logic Programs with Ordered DisjunctionsKonferenzbeitrag Inproceedings 2007
12Eiter, Thomas ; Faber, Wolfgang ; Fink, Michael ; Woltran, Stefan Complexity results for answer set programming with bounded predicate arities and implicationsArtikel Article2007

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

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