IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 61 a 80 di 149
Titolo Data di pubblicazione Autore(i) File
Look-Back Techniques and Heuristics in DLV: Implementation and Evaluation 1-gen-2007 Faber, Wolfgang; Leone, Nicola; Maratea, M; Ricca, Francesco
Characterizing Notions of Strong Equivalence for Logic Programs with Ordered Disjunctions 1-gen-2007 Faber, Wolfgang; Hans, Tompits; Stefan, Woltran
DLV: An Advanced System for Knowledge Representation and Reasoning 1-gen-2007 Leone, Nicola; Faber, Wolfgang; Bria, A; Calimeri, Francesco; Catalano, G; Cozza, S; Dell'Armi, T; Greco, G; Ianni, Giovambattista; Ielpa, G; Maratea, M; Panetta, C; Perri, Simona; Ricca, Francesco; Scarcello, F; Terracina, G; Pfeifer, G; Eiter, T; Gottlob, G.
Implementation and Evaluation of Look-Back Techniques and Heuristics in DLV 1-gen-2007 Faber, Wolfgang; Leone, Nicola; Maratea, V; Ricca, Francesco
Looking Back in DLV: Experiments and Comparison to QBF Solvers 1-gen-2007 Faber, Wolfgang; Leone, Nicola; M., Maratea; Ricca, Francesco
Using Unfounded Sets for Computing Answer Sets of Programs with Recursive Aggregates 1-gen-2007 M., Alviano; Faber, Wolfgang; Leone, Nicola
Experimenting with Look-Back Heuristics for Hard ASP Programs 1-gen-2007 Faber, Wolfgang; Leone, Nicola; Marco, Maratea; Francesco, Ricca
On the Complexity of Answer Set Programming with Aggregates 1-gen-2007 Faber, Wolfgang; Leone, Nicola
Magic Sets and their Application to Data Integration 1-gen-2007 Faber, Wolfgang; Greco, Gianluigi; Leone, Nicola
On Look-Ahead Heuristics in Disjunctive Logic Programming 1-gen-2007 Faber, Wolfgang; Leone, Nicola; Pfeifer, G; Ricca, Francesco
On Reversing Actions: Algorithms and Complexity 1-gen-2007 Thomas, Eiter; Esra, Erdem; Faber, Wolfgang
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution 1-gen-2007 Thomas, Eiter; Esra, Erdem; Faber, Wolfgang; Jan, Senko
Complexity Results for Answer Set Programming with Bounded Predicate Arities and Implications 1-gen-2007 Thomas, Eiter; Faber, Wolfgang; Michael, Fink; Stefan, Woltran
Normal Form Nested Programs 1-gen-2008 Bria, Annamaria; Faber, Wolfgang; Leone, Nicola
Backjumping and Look- back Heuristics for Disjunctive Logic Programming with Aggregates 1-gen-2008 Faber, Wolfgang; Leone, Nicola; Marco, Maratea; Francesco, Ricca
Look-back Techniques for ASP Programs with Aggregates 1-gen-2008 Faber, Wolfgang; Leone, Nicola; Maratea, M; Ricca, Francesco
Compiling Minimum and Maximum Aggregates into Standard ASP 1-gen-2008 Mario, Alviano; Faber, Wolfgang; Leone, Nicola
Notions of Strong Equivalence for Logic Programs with Ordered Disjunction 1-gen-2008 Faber, Wolfgang; Hans, Tompits; Stefan, Woltran
Magic Sets for Data Integration 1-gen-2008 Faber, Wolfgang; Greco, Gianluigi; Leone, Nicola
Undoing the Effects of Action Sequences 1-gen-2008 Thomas, Eiter; Esra, Erdem; Faber, Wolfgang
Mostrati risultati da 61 a 80 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