FABER, WOLFGANG

FABER, WOLFGANG  

Dipartimento di Matematica e Informatica  

Mostra records
Risultati 1 - 20 di 148 (tempo di esecuzione: 0.061 secondi).
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-2005 FABER W; NICOLA LEONE; FRANCESCO RICCA
A Backjumping Technique for Disjunctive Logic Programming 1-gen-2006 Francesco, Ricca; Faber, Wolfgang; Leone, Nicola
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.
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-2003 Eiter, T; Faber, Wolfgang; Leone, Nicola; Pfeifer, G; Polleres, A.
Answer Set Planning under Action Costs 1-gen-2002 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
The ASP System DLV: Advancements and Applications 1-gen-2018 Adrian, Weronika T.; Alviano, Mario; Calimeri, Francesco; Cuteri, Bernardo; Dodaro, Carmine; Faber, Wolfgang; Fusca', Davide; Leone, Nicola; Manna, Marco; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica