IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 149
Titolo Data di pubblicazione Autore(i) File
Aggregate Functions in DLV 1-gen-2003 Dell'Armi, T; Ielpa, G; Faber, Wolfgang; Leone, Nicola; Pfeifer, G.
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
Improving Query Optimization for Disjunctive Datalog 1-gen-2003 Cumbo, C.; Greco, Gianluigi; Faber, Wolfgang
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.
Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming 1-gen-2003 Thomas, Eiter; Faber, Wolfgang; Leone, Nicola; Gerald, Pfeifer
Answer Set Planning under Action Costs 1-gen-2003 Eiter, T; Faber, Wolfgang; Leone, Nicola; Pfeifer, G; Polleres, A.
Plan Reversals for Recovery in Execution Monitoring 1-gen-2004 Thomas, Eiter; Esra, Erdem; Faber, Wolfgang
KR 2004 --- Konferenzbericht 1-gen-2004 Faber, Wolfgang; Stefan, Woltran
Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming 1-gen-2004 Thomas, Eiter; Faber, Wolfgang; Michael, Fink; Gerald, Pfeifer; Stefan, Woltran
Efficient Evaluation of Disjunctive Datalog Queries with Aggregate Functions 1-gen-2004 Citrigno, M.; Faber, Wolfgang; Greco, Gianluigi; Leone, Nicola
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity 1-gen-2004 Faber, Wolfgang; Leone, Nicola; G., Pfeifer
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity 1-gen-2004 T., Eiter; Faber, Wolfgang; Leone, Nicola; G., Pfeifer; A., Polleres
Enhancing the Magic-Set Method for Disjunctive Datalog Programs 1-gen-2004 Chiara, Cumbo; Faber, Wolfgang; Gianluigi, Greco; Leone, Nicola
New DLV Features for Data Integration 1-gen-2004 Calimeri, F; Citrigno, Manuela; Cumbo, Chiara; Faber, W; Leone, N; Perri, S; Pfeifer, G
System Description: DLV with Aggregates 1-gen-2004 Dell'Armi, T.; Faber, Wolfgang; Ielpa, G.; Leone, Nicola; Perri, Simona; Pfeifer, G.
Magic Sets and their Application to Data Integration 1-gen-2005 Faber, Wolfgang; Greco, Gianluigi; Leone, Nicola
Declarative Planning and Knowledge Representation in an Action Language 1-gen-2005 Thomas, Eiter; Faber, Wolfgang; Gerald, Pfeifer; Axel, Polleres
Boosting Information Integration: The INFOMIX System 1-gen-2005 Leone, Nicola; Thomas, Eiter; Faber, Wolfgang; Michael, Fink; Georg, Gottlob; Gianluigi, Greco; Edyta, Kalka; Ianni, Giovambattista; Domenico, Lembo; Vincenzino, Lio; Bartosz, Nowicki; Riccardo, Rosati; Marco, Ruzzi; Witold, Staniszkis; Terracina, Giorgio
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
Mostrati risultati da 21 a 40 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