Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 149
Titolo Data di pubblicazione Autore(i) File
Pushing Goal Derivation in DLP Computations 1-gen-1999 Faber, Wolfgang; Leone, Nicola; Pfeifer, G.
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.
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.
DLV - Declarative Problem Solving Using Answer Set Programming 1-gen-2001 Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona; Pfeifer, G.
The DLVk Planning System 1-gen-2001 Eiter, T.; Faber, Wolfgang; Leone, Nicola; Pfeifer, G.; Polleres, A.
A Comparison of Heuristics for Answer Set Programming 1-gen-2001 Faber, Wolfgang; Leone, Nicola; Gerald, Pfeifer
Logic Programming and Nonmonotonic Reasoning --- 6th International Conference, LPNMR'01, Vienna, Austria, September 2001, Proceedings 1-gen-2001 Thomas, Eiter; Faber, Wolfgang; Miroslaw, Truszczynski
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.
Optimizing the Computation of Heuristics for Answer Set Programming Systems 1-gen-2001 Faber, Wolfgang; Leone, Nicola; Pfeifer, G.
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
System description: The DLV K planning system 1-gen-2001 Eiter, T.; Faber, Wolfgang; Leone, Nicola; Pfeifer, G.; Polleres, A.
Pruning Operators for Answer Set Programming Systems 1-gen-2002 Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Pfeifer, G.
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.
Disjunctive Logic Programs with Inheritance 1-gen-2002 Buccafurri, F; Leone, Nicola; Faber, Wolfgang
Answer Set Planning under Action Costs 1-gen-2002 Eiter, T; Faber, Wolfgang; Leone, Nicola; Pfeifer, G; Polleres, A.
The DLVk Planning System: Progress Report 1-gen-2002 Eiter, T; Faber, Wolfgang; Leone, Nicola; Pfeifer, G; Polleres, A.
Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming 1-gen-2003 Thomas, Eiter; Faber, Wolfgang; Michael, Fink; Gerald, Pfeifer; Stefan, Woltran
Mostrati risultati da 1 a 20 di 149
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