IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 194
Titolo Data di pubblicazione Autore(i) File
On the Expressive Power of Ordered Logic 1-gen-1996 Buccafurri, Francesco; Leone, N.; Scarcello, F.
Stable Models and their Computation for Logic Programming with Inheritance and True Negation 1-gen-1996 Buccafurri, Francesco; Leone, N.; Rullo, P.
The Expressive Power of Unique Total Stable Model Semantics 1-gen-1997 Buccafurri, Francesco; Greco, S.; Sacca', D.
Strong and Weak Constraints in Disjunctive Datalog 1-gen-1997 Buccafurri, Francesco; F., Leone; N., Rullo
Combining Abduction and Model Checking Techniques 1-gen-1998 Buccafurri, Francesco; Eiter, T.; Gottlob, G.; Leone, N.
Disjunctive Ordered Logic: Semantics and Expressiveness 1-gen-1998 Buccafurri, Francesco; Leone, N.; Rullo, P.
Disjunctive Logic Programs with Inheritance, 1-gen-1999 Buccafurri, Francesco; Faber, W.; Leone, N.
A Logic Framework for Reasoning on Data Access Control Policies 1-gen-1999 Bertino, E.; Buccafurri, Francesco; Ferrari, E.; Rullo, P.
Semantics and Espressiveness of Disjunctive Ordered Logic 1-gen-1999 Buccafurri, Francesco; Leone, N.; Rullo, P.
Enhancing Model Checking in Verification by AI Techniques 1-gen-1999 Buccafurri, Francesco; Eiter, T.; Gottlob, G.; Leone, N.
Compressed Datacubes for Fast OLAP Applications 1-gen-1999 Buccafurri, Francesco; Rosaci, D.; Sacca', D.
A Logic-Based Approach for Enforcing Access Control 1-gen-2000 Bertino, E.; Buccafurri, Francesco; Ferrari, E.; Rullo, P.
Enhancing Disjunctive Datalog by Constraints 1-gen-2000 Buccafurri, Francesco; Leone, N.; Rullo, P.
Estimating Range Queries using Aggregate Data with Integrity Constraints: a Probabilistic Approach 1-gen-2001 Buccafurri, Francesco; Furfaro, F.; Sacca', D.
Combining Abduction and Model Checking Techniques for Repair of Concurrent Programs 1-gen-2001 Buccafurri, Francesco; Eiter, T.; Gottlob, G.; Leone, N.
SPY: A Multi-Agent Model Yielding Semantic Properties 1-gen-2001 Buccafurri, Francesco; Rosaci, D.; Sarne', G.; Palopoli, L.
A System Implementing Cooperation in Multi-Agent Networks 1-gen-2001 Buccafurri, F; Palopoli, L.; Rosaci, D.; Sarne', G.
On ACTL Formulas Having Linear Counterexamples 1-gen-2001 Buccafurri, Francesco; Eiter, T.; Gottlob, G.; Leone, N.
Modellazione del comportamento degli utenti per supportarne l'accesso a sorgenti informative eterogenee 1-gen-2002 Buccafurri, F; Rosaci, Domenico; Ursino, D; Lax, Gianluca
A Histogram-Based Technique for Compressing Data 1-gen-2002 Buccafurri, Francesco; Filippo, Furfaro; Gianluca, Lax; Lax, Gianluca
Mostrati risultati da 1 a 20 di 194
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