Sfoglia per Autore
A Deductive Data Model for Representing and Querying Semistructured Data
1997-01-01 Giannotti, Fosca; G., Manco; Pedreschi, Dino
Verification of Metainterpreters
1997-01-01 Pedreschi, Dino; Ruggieri, Salvatore
On the effective semantics of temporal, non monotonic, non deterministic logic databases
1998-01-01 Giannotti, Fosca; Nanni, Mirco; G., Manco; Pedreschi, Dino
Datalog with non deterministic choice computes NDB-PTIME
1998-01-01 Giannotti, Fosca; Pedreschi, Dino
Query answering in temporal, non monotonic, non deterministic logic databases
1998-01-01 Giannotti, Fosca; Nanni, Mirco; G., Manco; Pedreschi, Dino
Weakest Preconditions for Pure Prolog Programs
1998-01-01 Pedreschi, Dino; Ruggieri, Salvatore
Experiences with a logic-based knowledge discovery support environment
1999-01-01 Giannotti, Fosca; Giuseppe, Manco; Pedreschi, Dino; Turini, Franco
A Classification-based Methodology for Planning Audit Strategies in Fraud Detection
1999-01-01 Bonchi, F.; Giannotti, Fosca; Mainetto, Giovanni; Pedreschi, Dino
Bounded Nondeterminism of Logic Programs
1999-01-01 Pedreschi, Dino; Ruggieri, Salvatore
Integration of Deduction and Induction for Mining Supermarket Sales Data
1999-01-01 Giannotti, Fosca; Nanni, Mirco; Manco, G; Pedreschi, Dino; Turini, Franco
Using Data Mining Techniques in Fiscal Fraud Detection
1999-01-01 Bonchi, F.; Giannotti, Fosca; Mainetto, Giovanni; Pedreschi, Dino
Experiences with a Logic-Based Knowledge Discovery Support Environment
1999-01-01 Giannotti, F.; Manco, G.; Pedreschi, Dino; Turini, Franco
On logic programs that do not fail
1999-01-01 Pedreschi, Dino; Ruggieri, Salvatore
Verification of Logic Programs
1999-01-01 Pedreschi, Dino; Ruggieri, Salvatore
On Verification in Logic Database Languages
2000-01-01 Francesco, Bonchi; Giannotti, Fosca; Pedreschi, Dino
Foundations of distributed interaction systems
2000-01-01 Marat, Fayzullin; Nanni, Mirco; Pedreschi, Dino; V. S., Subrahmanian
Logic-Based Knowledge Discovery in Database
2000-01-01 Giannotti, Fosca; Nanni, Mirco; Pedreschi, Dino
Semantics and expressive power of non deterministic constructs for deductive databases
2001-01-01 Giannotti, Fosca; Pedreschi, Dino; Zaniolo, C.
Nondeterministic, Nonmonotonic Logic Databases
2001-01-01 Giannotti, Fosca; Manco, G.; Nanni, Mirco; Pedreschi, Dino
Web log data warehousing and mining for intelligent web caching
2001-01-01 F., Bonchi; Giannotti, Fosca; C., Gozzi; G., Manco; Nanni, Mirco; Pedreschi, Dino; C., Renso; Ruggieri, Salvatore
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Deductive Data Model for Representing and Querying Semistructured Data | 1-gen-1997 | Giannotti, Fosca; G., Manco; Pedreschi, Dino | |
Verification of Metainterpreters | 1-gen-1997 | Pedreschi, Dino; Ruggieri, Salvatore | |
On the effective semantics of temporal, non monotonic, non deterministic logic databases | 1-gen-1998 | Giannotti, Fosca; Nanni, Mirco; G., Manco; Pedreschi, Dino | |
Datalog with non deterministic choice computes NDB-PTIME | 1-gen-1998 | Giannotti, Fosca; Pedreschi, Dino | |
Query answering in temporal, non monotonic, non deterministic logic databases | 1-gen-1998 | Giannotti, Fosca; Nanni, Mirco; G., Manco; Pedreschi, Dino | |
Weakest Preconditions for Pure Prolog Programs | 1-gen-1998 | Pedreschi, Dino; Ruggieri, Salvatore | |
Experiences with a logic-based knowledge discovery support environment | 1-gen-1999 | Giannotti, Fosca; Giuseppe, Manco; Pedreschi, Dino; Turini, Franco | |
A Classification-based Methodology for Planning Audit Strategies in Fraud Detection | 1-gen-1999 | Bonchi, F.; Giannotti, Fosca; Mainetto, Giovanni; Pedreschi, Dino | |
Bounded Nondeterminism of Logic Programs | 1-gen-1999 | Pedreschi, Dino; Ruggieri, Salvatore | |
Integration of Deduction and Induction for Mining Supermarket Sales Data | 1-gen-1999 | Giannotti, Fosca; Nanni, Mirco; Manco, G; Pedreschi, Dino; Turini, Franco | |
Using Data Mining Techniques in Fiscal Fraud Detection | 1-gen-1999 | Bonchi, F.; Giannotti, Fosca; Mainetto, Giovanni; Pedreschi, Dino | |
Experiences with a Logic-Based Knowledge Discovery Support Environment | 1-gen-1999 | Giannotti, F.; Manco, G.; Pedreschi, Dino; Turini, Franco | |
On logic programs that do not fail | 1-gen-1999 | Pedreschi, Dino; Ruggieri, Salvatore | |
Verification of Logic Programs | 1-gen-1999 | Pedreschi, Dino; Ruggieri, Salvatore | |
On Verification in Logic Database Languages | 1-gen-2000 | Francesco, Bonchi; Giannotti, Fosca; Pedreschi, Dino | |
Foundations of distributed interaction systems | 1-gen-2000 | Marat, Fayzullin; Nanni, Mirco; Pedreschi, Dino; V. S., Subrahmanian | |
Logic-Based Knowledge Discovery in Database | 1-gen-2000 | Giannotti, Fosca; Nanni, Mirco; Pedreschi, Dino | |
Semantics and expressive power of non deterministic constructs for deductive databases | 1-gen-2001 | Giannotti, Fosca; Pedreschi, Dino; Zaniolo, C. | |
Nondeterministic, Nonmonotonic Logic Databases | 1-gen-2001 | Giannotti, Fosca; Manco, G.; Nanni, Mirco; Pedreschi, Dino | |
Web log data warehousing and mining for intelligent web caching | 1-gen-2001 | F., Bonchi; Giannotti, Fosca; C., Gozzi; G., Manco; Nanni, Mirco; Pedreschi, Dino; C., Renso; Ruggieri, Salvatore |
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