Welcome to DiSC 2002
SIGMOD 2001
PODS 2001
SIGMOD RECORD 2001
CIKM 2001
CoopIS 2001
DASFAA 2001
DASFAA 2000
DBPL 2001
Data Engineering Bul
DEXA_EC-WEB 2001
DMKD 2001
DPDJ 2001
HYPERTEXT 2001
ICDE 2001
ICDM 2001
ICDT 2001
JCDL 2001
KDD 2001
KDD_EXPLORATIONS 20
KRDB 2001
MDM 2001
MIR 2001
MIS 2001
RIDE 2001
SBBD 2001
SIGIR 2001
SIGIR FORUM 2001
SSDBM 2001
SSTD 2001
TODS 2001
TIME 2001
VLDB 2001
VLDBJ 2001
About DiSC 2002
Editorial Board
Acknowledgements
DiSC 2002 Production
ADVIS
DiSC'02 Feedback
DiSC'02 Sitemap
Search DiSC'02
<<<Author Index>>>
Copyright Notice

Francesco Buccafurri

Papers on DiSC'02


Estimating Range Queries Using Aggregate Data with Integrity Constraints: A Probabilistic Approach

Publications


Note: Links lead to the DBLP on the Web.

Francesco Buccafurri

21 Francesco Buccafurri, Georg Gottlob : Multiagent Compromises, Joint Fixpoints, and Stable Models. Computational Logic: Logic Programming and Beyond 2002 : 561-585

20 Francesco Buccafurri, Luigi Pontieri , Domenico Rosaci , Domenico Saccà : Improving Range Query Estimation on Histograms. ICDE 2002

19 Francesco Buccafurri, Wolfgang Faber , Nicola Leone : Disjunctive Logic Programs with Inheritance. TPLP 2 (3): 293-321 (2002)

18 Francesco Buccafurri, Filippo Furfaro , Domenico Saccà : Estimating Range Queries Using Aggregate Data with Integrity Constraints: A Probabilistic Approach. ICDT 2001 : 390-404

17 Francesco Buccafurri, Thomas Eiter , Georg Gottlob , Nicola Leone : On ACTL Formulas Having Linear Counterexamples. JCSS 62 (3): 463-515 (2001)

16 Francesco Buccafurri, Filippo Furfaro , Domenico Rosaci , Domenico Saccà : Estimating range queries using aggregate data. SEBD 2000 : 7-20

15 Elisa Bertino , Francesco Buccafurri, Elena Ferrari , Pasquale Rullo : A Logic-Based Approach for Enforcing Access Control. Journal of Computer Security 8 (2/3): (2000)

14 Francesco Buccafurri, Nicola Leone , Pasquale Rullo : Enhancing Disjunctive Datalog by Constraints. TKDE 12 (5): 845-860 (2000)

13 Elisa Bertino , Elena Ferrari , Francesco Buccafurri, Pasquale Rullo : A Logical Framework for Reasoning on Data Access Control Policies. CSFW 1999 : 175-189

12 Francesco Buccafurri, Domenico Rosaci , Domenico Saccà : Compressed Datacubes for fast OLAP Applications. DaWaK 1999 : 65-77

11 Francesco Buccafurri, Wolfgang Faber , Nicola Leone : Disjunctive Logic Programs with Inheritance. ICLP 1999 : 79-93

10 Francesco Buccafurri, Nicola Leone , Pasquale Rullo : Semantics and Expressiveness of Disjunctive Ordered Logic. Annals of Mathematics and Artificial Intelligence 25 (3-4): 311-337 (1999)

9 Francesco Buccafurri, Thomas Eiter , Georg Gottlob , Nicola Leone : Enhancing Model Checking in Verification by AI Techniques. Artificial Intelligence 112 (1-2): 57-104 (1999)

8 Elisa Bertino , Francesco Buccafurri, Elena Ferrari , Pasquale Rullo : An Authorization Model and Its Formal Semantics. ESORICS 1998 : 127-142

7 Francesco Buccafurri, Nicola Leone , Pasquale Rullo : Disjunctive Ordered Logic: Semantics and Expressiveness. KR 1998 : 418-431

6 Francesco Buccafurri, Sergio Greco , Domenico Saccà : The Expressive Power of Unique Total Stable Model Semantics. ICALP 1997 : 849-859

5 Francesco Buccafurri, Nicola Leone , Pasquale Rullo : Strong and Weak Constraints in Disjunctive Datalog. LPNMR 1997 : 2-17

4 Francesco Buccafurri, Nicola Leone , Francesco Scarcello : On the Expressive Power of Ordered Logic. AI Communications 9 (1): 4-13 (1996)

3 Francesco Buccafurri, Nicola Leone , Pasquale Rullo : Stable Models and Their Computation for Logic Programming with Inheritance and True Negation. JLP 27 (1): 5-43 (1996)

2 Francesco Buccafurri, Nicola Leone , Luigi Palopoli , Pasquale Rullo : Disjunctive Ordered Logic. DEXA 1995 : 303-312

1 Francesco Buccafurri, Sergio Greco , Eugenio Spadafora : Implementazione di Interrogazioni Semplici Concatenate. SEBD 1994 : 187-205




DiSC'02 © 2003 Association for Computing Machinery