Sfoglia per Autore FABER, WOLFGANG
Disjunctive Logic Programs with Inheritance
1999-01-01 Buccafurri, F.; Leone, Nicola; Faber, Wolfgang
The Diagnosis Front-End of the DLV System
1999-01-01 Eiter, T; Faber, Wolfgang; Leone, Nicola; Pfeifer, G.
Pushing Goal Derivation in DLP Computations
1999-01-01 Faber, Wolfgang; Leone, Nicola; Pfeifer, G.
Declarative Problem-Solving Using the DLV System
2000-01-01 Thomas, Eiter; Faber, Wolfgang; Leone, Nicola; Gerald, Pfeifer
Planning Under Incomplete Knowledge
2000-01-01 Eiter, T.; Faber, Wolfgang; Leone, Nicola; Pfeifer, G.; Polleres, A.
Logic Programming and Nonmonotonic Reasoning --- 6th International Conference, LPNMR'01, Vienna, Austria, September 2001, Proceedings
2001-01-01 Thomas, Eiter; Faber, Wolfgang; Miroslaw, Truszczynski
DLV - Declarative Problem Solving Using Answer Set Programming
2001-01-01 Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona; Pfeifer, G.
A Comparison of Heuristics for Answer Set Programming
2001-01-01 Faber, Wolfgang; Leone, Nicola; Gerald, Pfeifer
The DLVk Planning System
2001-01-01 Eiter, T.; Faber, Wolfgang; Leone, Nicola; Pfeifer, G.; Polleres, A.
Computing Preferred and Weakly Preferred Answer Sets by Meta-Interpretation in Answer Set Programming
2001-01-01 Thomas, Eiter; Faber, Wolfgang; Leone, Nicola; Gerald, Pfeifer
Experimenting with Heuristics for Answer Set Programming
2001-01-01 Faber, Wolfgang; Leone, Nicola; Pfeifer, G.
System Description: DLV
2001-01-01 Dell'Armi, T.; Ielpa, G.; Faber, Wolfgang; Leone, Nicola; Perri, Simona; Pfeifer, G.
System description: The DLV K planning system
2001-01-01 Eiter, T.; Faber, Wolfgang; Leone, Nicola; Pfeifer, G.; Polleres, A.
Optimizing the Computation of Heuristics for Answer Set Programming Systems
2001-01-01 Faber, Wolfgang; Leone, Nicola; Pfeifer, G.
Pruning Operators for Answer Set Programming Systems
2002-01-01 Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Pfeifer, G.
Disjunctive Logic Programs with Inheritance
2002-01-01 Buccafurri, F; Leone, Nicola; Faber, Wolfgang
The DLV System
2002-01-01 Leone, Nicola; Pfeifer, G; Faber, Wolfgang; Calimeri, Francesco; Dell'Armi, Tina; Eiter, T; Gottlob, G; Ianni, Giovambattista; Ielpa, Giuseppe; Koch, C; Perri, Simona; Polleres, A.
The DLVk Planning System: Progress Report
2002-01-01 Eiter, T; Faber, Wolfgang; Leone, Nicola; Pfeifer, G; Polleres, A.
Answer Set Planning under Action Costs
2002-01-01 Eiter, T; Faber, Wolfgang; Leone, Nicola; Pfeifer, G; Polleres, A.
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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Disjunctive Logic Programs with Inheritance | 1-gen-1999 | Buccafurri, F.; Leone, Nicola; Faber, Wolfgang | |
| The Diagnosis Front-End of the DLV System | 1-gen-1999 | Eiter, T; Faber, Wolfgang; Leone, Nicola; Pfeifer, G. | |
| Pushing Goal Derivation in DLP Computations | 1-gen-1999 | Faber, Wolfgang; Leone, Nicola; Pfeifer, G. | |
| Declarative Problem-Solving Using the DLV System | 1-gen-2000 | Thomas, Eiter; Faber, Wolfgang; Leone, Nicola; Gerald, Pfeifer | |
| Planning Under Incomplete Knowledge | 1-gen-2000 | Eiter, T.; Faber, Wolfgang; Leone, Nicola; Pfeifer, G.; Polleres, A. | |
| Logic Programming and Nonmonotonic Reasoning --- 6th International Conference, LPNMR'01, Vienna, Austria, September 2001, Proceedings | 1-gen-2001 | Thomas, Eiter; Faber, Wolfgang; Miroslaw, Truszczynski | |
| DLV - Declarative Problem Solving Using Answer Set Programming | 1-gen-2001 | Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona; Pfeifer, G. | |
| A Comparison of Heuristics for Answer Set Programming | 1-gen-2001 | Faber, Wolfgang; Leone, Nicola; Gerald, Pfeifer | |
| The DLVk Planning System | 1-gen-2001 | Eiter, T.; Faber, Wolfgang; Leone, Nicola; Pfeifer, G.; Polleres, A. | |
| Computing Preferred and Weakly Preferred Answer Sets by Meta-Interpretation in Answer Set Programming | 1-gen-2001 | Thomas, Eiter; Faber, Wolfgang; Leone, Nicola; Gerald, Pfeifer | |
| Experimenting with Heuristics for Answer Set Programming | 1-gen-2001 | Faber, Wolfgang; Leone, Nicola; Pfeifer, G. | |
| System Description: DLV | 1-gen-2001 | Dell'Armi, T.; Ielpa, G.; Faber, Wolfgang; Leone, Nicola; Perri, Simona; Pfeifer, G. | |
| System description: The DLV K planning system | 1-gen-2001 | Eiter, T.; Faber, Wolfgang; Leone, Nicola; Pfeifer, G.; Polleres, A. | |
| Optimizing the Computation of Heuristics for Answer Set Programming Systems | 1-gen-2001 | Faber, Wolfgang; Leone, Nicola; Pfeifer, G. | |
| Pruning Operators for Answer Set Programming Systems | 1-gen-2002 | Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Pfeifer, G. | |
| Disjunctive Logic Programs with Inheritance | 1-gen-2002 | Buccafurri, F; Leone, Nicola; Faber, Wolfgang | |
| The DLV System | 1-gen-2002 | Leone, Nicola; Pfeifer, G; Faber, Wolfgang; Calimeri, Francesco; Dell'Armi, Tina; Eiter, T; Gottlob, G; Ianni, Giovambattista; Ielpa, Giuseppe; Koch, C; Perri, Simona; Polleres, A. | |
| The DLVk Planning System: Progress Report | 1-gen-2002 | 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. | |
| 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 |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile