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