IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 149
Titolo Data di pubblicazione Autore(i) File
The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data 1-gen-2005 Leone, Nicola; Georg, Gottlob; Riccardo, Rosati; Thomas, Eiter; Faber, Wolfgang; Michael, Fink; Gianluigi, Greco; Ianni, Giovambattista; Edyta, Kalka; Domenico, Lembo; Maurizio, Lenzerini; Vincenzino, Lio; Bartosz, Nowicki; Marco, Ruzzi; Witold, Staniszkis; Terracina, Giorgio
Declarative Planning and Knowledge Representation in an Action Language 1-gen-2005 Thomas, Eiter; Faber, Wolfgang; Gerald, Pfeifer; Axel, Polleres
Testing Strong Equivalence of Datalog Programs -- Implementation and Examples 1-gen-2005 Thomas, Eiter; Faber, Wolfgang; Patrick, Traxler
Report on the Dagstuhl Seminar on Nonmonotonic Reasoning, Answer Set Programming and Constraints 1-gen-2005 Faber, Wolfgang
Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks 1-gen-2005 Faber, Wolfgang; Leone, Nicola; Ricca, Francesco
A Tool for Benchmarking Command-line Systems 1-gen-2005 Faber, Wolfgang
Solving Problems on the Second Level of the Polynomial Hierarchy 1-gen-2005 Faber, Wolfgang; Leone, Nicola; Ricca, Francesco
Magic Sets and their Application to Data Integration 1-gen-2005 Faber, Wolfgang; Greco, Gianluigi; Leone, Nicola
Magic Sets and their Application to Data Integration 1-gen-2005 Faber, Wolfgang; Greco, Gianluigi; Leone, Nicola
Strong Equivalence for Logic Programs with Preferences 1-gen-2005 Faber, Wolfgang; Kathrin, Konczak
Data Integration: a Challenging ASP Application 1-gen-2005 Leone, Nicola; Gottlob, G.; Rosati, R.; Eiter, T.; Faber, Wolfgang; Fink, M.; Granata, L.; Greco, Gianluigi; Ianni, Giovambattista; Kalka, E.; Lembo, D.; Lenzerini, M.; Lio, V.; Nowicki, B.; Ruzzi, M.; Staniszkis, W.; Terracina, Giorgio
Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates 1-gen-2005 Faber, Wolfgang
Heuristics for Hard ASP Programs 1-gen-2005 Faber, Wolfgang; Leone, Nicola; Ricca, Francesco
Decomposition of Nonmonotone Aggregates in Logic Programming 1-gen-2006 Faber, Wolfgang
Pruning Operators for Disjunctive Logic Programming Systems 1-gen-2006 Calimeri, Francesco; Faber, Wolfgang; Pfeifer, Gerald; Leone, Nicola
A Backjumping Technique for Disjunctive Logic Programming 1-gen-2006 Francesco, Ricca; Faber, Wolfgang; Leone, Nicola
Evaluating Backjumping for Disjunctive Logic Programming 1-gen-2006 Faber, Wolfgang; Leone, Nicola; Maratea, M; Ricca, Francesco
Strong Order Equivalence 1-gen-2006 Faber, Wolfgang; Kathrin, Konczak
The DLV System for Knowledge Representation and Reasoning 1-gen-2006 Leone, Nicola; Pfeifer, G; Faber, Wolfgang; Eiter, T; Gottlob, G; Perri, Simona; Scarcello, Francesco
What should an ASP Solver output? A Multiple Position Paper 1-gen-2007 Martin, Brain; Faber, Wolfgang; Marco, Maratea; Axel, Polleres; Torsten, Schaub; Roman, Schindlauer
Mostrati risultati da 41 a 60 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