FABER, WOLFGANG
FABER, WOLFGANG
Dipartimento di Matematica e Informatica
7th International Conference on Web Reasoning and Rule Systems, RR 2013; Mannheim; Germany; 27 July 2013 through 29 July 2013
2013-01-01 Faber, Wolfgang; Lembo, D.
A Backjumping Technique for Disjunctive Logic Programming
2006-01-01 Francesco, Ricca; Faber, Wolfgang; Leone, Nicola
A Backjumping Technique for Disjunctive Logic Programming
2005-01-01 Faber, Wolfgang; Leone, Nicola; Ricca, Francesco
A Comparison of Heuristics for Answer Set Programming
2001-01-01 Faber, Wolfgang; Leone, Nicola; Gerald, Pfeifer
A Logic Programming Approach to Knowledge-State Planning, II: the DLVK System
2003-01-01 Eiter, T; Faber, Wolfgang; Leone, Nicola; Pfeifer, G; Polleres, A.
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity
2004-01-01 T., Eiter; Faber, Wolfgang; Leone, Nicola; G., Pfeifer; A., Polleres
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
2007-01-01 Thomas, Eiter; Esra, Erdem; Faber, Wolfgang; Jan, Senko
A Polynomial Reduction from ASPDA to ASP
2012-01-01 Faber, Wolfgang
A Tool for Benchmarking Command-line Systems
2005-01-01 Faber, Wolfgang
Abstract preference frameworks – a unifying perspective on separability and strong equivalence
2013-01-01 Faber, Wolfgang; Truszczynski, M; Woltran, S.
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV
2003-01-01 Tina, Dell'Armi; Faber, Wolfgang; Ielpa, Giuseppe; Leone, Nicola; Gerald, Pfeifer
Aggregate Functions in DLV
2003-01-01 Dell'Armi, T; Ielpa, G; Faber, Wolfgang; Leone, Nicola; Pfeifer, G.
Aggregate Semantics for Propositional Answer Set Programs
2022-01-01 Alviano, M. A. R. I. O.; Faber, W.; Gebser, M.
Aggregates in Answer Set Programming
2018-01-01 Alviano, M.; Faber, W.
Algorithm Selection for Paracoherent Answer Set Computation
2019-01-01 Amendola, G.; Dodaro, C.; Faber, W.; Pulina, Luca; Ricca, F.
Answer Set Planning under Action Costs
2002-01-01 Eiter, T; Faber, Wolfgang; Leone, Nicola; Pfeifer, G; Polleres, A.
Answer Set Planning under Action Costs
2003-01-01 Eiter, T; Faber, Wolfgang; Leone, Nicola; Pfeifer, G; Polleres, A.
Answer Set Programming
2009-01-01 Faber, Wolfgang; Leone, Nicola; F., Ricca
Answer Set Programming
2013-01-01 Faber, Wolfgang
Answer set programming for qualitative spatio-temporal reasoning: Methods and experiments
2016-01-01 Christopher, Brenton; Faber, Wolfgang; Sotiris, Batsakis
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 7th International Conference on Web Reasoning and Rule Systems, RR 2013; Mannheim; Germany; 27 July 2013 through 29 July 2013 | 1-gen-2013 | Faber, Wolfgang; Lembo, D. | |
| A Backjumping Technique for Disjunctive Logic Programming | 1-gen-2006 | Francesco, Ricca; Faber, Wolfgang; Leone, Nicola | |
| A Backjumping Technique for Disjunctive Logic Programming | 1-gen-2005 | Faber, Wolfgang; Leone, Nicola; Ricca, Francesco | |
| A Comparison of Heuristics for Answer Set Programming | 1-gen-2001 | Faber, Wolfgang; Leone, Nicola; Gerald, Pfeifer | |
| A Logic Programming Approach to Knowledge-State Planning, II: the DLVK System | 1-gen-2003 | Eiter, T; Faber, Wolfgang; Leone, Nicola; Pfeifer, G; Polleres, A. | |
| A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity | 1-gen-2004 | T., Eiter; Faber, Wolfgang; Leone, Nicola; G., Pfeifer; A., Polleres | |
| A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution | 1-gen-2007 | Thomas, Eiter; Esra, Erdem; Faber, Wolfgang; Jan, Senko | |
| A Polynomial Reduction from ASPDA to ASP | 1-gen-2012 | Faber, Wolfgang | |
| A Tool for Benchmarking Command-line Systems | 1-gen-2005 | Faber, Wolfgang | |
| Abstract preference frameworks – a unifying perspective on separability and strong equivalence | 1-gen-2013 | Faber, Wolfgang; Truszczynski, M; Woltran, S. | |
| Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV | 1-gen-2003 | Tina, Dell'Armi; Faber, Wolfgang; Ielpa, Giuseppe; Leone, Nicola; Gerald, Pfeifer | |
| Aggregate Functions in DLV | 1-gen-2003 | Dell'Armi, T; Ielpa, G; Faber, Wolfgang; Leone, Nicola; Pfeifer, G. | |
| Aggregate Semantics for Propositional Answer Set Programs | 1-gen-2022 | Alviano, M. A. R. I. O.; Faber, W.; Gebser, M. | |
| Aggregates in Answer Set Programming | 1-gen-2018 | Alviano, M.; Faber, W. | |
| Algorithm Selection for Paracoherent Answer Set Computation | 1-gen-2019 | Amendola, G.; Dodaro, C.; Faber, W.; Pulina, Luca; Ricca, F. | |
| Answer Set Planning under Action Costs | 1-gen-2002 | Eiter, T; Faber, Wolfgang; Leone, Nicola; Pfeifer, G; Polleres, A. | |
| Answer Set Planning under Action Costs | 1-gen-2003 | Eiter, T; Faber, Wolfgang; Leone, Nicola; Pfeifer, G; Polleres, A. | |
| Answer Set Programming | 1-gen-2009 | Faber, Wolfgang; Leone, Nicola; F., Ricca | |
| Answer Set Programming | 1-gen-2013 | Faber, Wolfgang | |
| Answer set programming for qualitative spatio-temporal reasoning: Methods and experiments | 1-gen-2016 | Christopher, Brenton; Faber, Wolfgang; Sotiris, Batsakis |