| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Francesco Buccafurri Francesco Buccafurri, Gianluca Lax : Pre-computing Approximate Hierarchical Range Queries in a Tree-Like Histogram. DaWaK 2003 : 350-359 Francesco Buccafurri, Gianluca Lax : L'Istogramma nLT: una Codifica Approssimata di Range Query Gerarchiche. SEBD 2003 : 81-92 Francesco Buccafurri, Filippo Furfaro , Domenico Saccà , Cristina Sirangelo : A Quad-Tree Based Multiresolution Approach for Two-dimensional Summary Data. SSDBM 2003 : 127- Francesco Buccafurri, Georg Gottlob : Multiagent Compromises, Joint Fixpoints, and Stable Models. Computational Logic: Logic Programming and Beyond 2002 : 561-585 Francesco Buccafurri, Gianluca Lax , Domenico Rosaci , Domenico Ursino : A User Behavior-Based Agent for Improving Web Usage. CoopIS/DOA/ODBASE 2002 : 1168-1185 Francesco Buccafurri, Filippo Furfaro , Gianluca Lax , Domenico Saccà : Binary-Tree Histograms with Tree Indices. DEXA 2002 : 861-870 Francesco Buccafurri, Domenico Rosaci , Giuseppe M. L. Sarnè , Domenico Ursino : An Agent-Based Hierarchical Clustering Approach for E-commerce Environments. EC-Web 2002 : 109-118 Francesco Buccafurri, Domenico Rosaci , Luigi Pontieri , Domenico Saccà : Improving Range Query Estimation on Histograms. ICDE 2002 : 628-638 Francesco Buccafurri, Gianluca Lax , Domenico Rosaci , Domenico Ursino : Modellazione del comportamento degli utenti per supportarne l'accesso a sorgenti informative eterogenee. SEBD 2002 : 145-152 Francesco Buccafurri, Wolfgang Faber , Nicola Leone : Disjunctive Logic Programs with Inheritance. TPLP 2 (3): 293-321 (2002) Francesco Buccafurri, Filippo Furfaro , Domenico Saccà : Estimating Range Queries Using Aggregate Data with Integrity Constraints: A Probabilistic Approach. ICDT 2001 : 390-404 Francesco Buccafurri, Thomas Eiter , Georg Gottlob , Nicola Leone : On ACTL Formulas Having Linear Counterexamples. J. Comput. Syst. Sci. 62 (3): 463-515 (2001) Francesco Buccafurri, Filippo Furfaro , Domenico Rosaci , Domenico Saccà : Estimating range queries using aggregate data. SEBD 2000 : 7-20 Francesco Buccafurri, Nicola Leone , Pasquale Rullo : Enhancing Disjunctive Datalog by Constraints. IEEE Trans. Knowl. Data Eng. 12 (5): 845-860 (2000) Elisa Bertino , Francesco Buccafurri, Elena Ferrari , Pasquale Rullo : A Logic-Based Approach for Enforcing Access Control. Journal of Computer Security 8 (2/3): (2000) Elisa Bertino , Elena Ferrari , Francesco Buccafurri, Pasquale Rullo : A Logical Framework for Reasoning on Data Access Control Policies. CSFW 1999 : 175-189 Francesco Buccafurri, Domenico Rosaci , Domenico Saccà : Compressed Datacubes for fast OLAP Applications. DaWaK 1999 : 65-77 Francesco Buccafurri, Wolfgang Faber , Nicola Leone : Disjunctive Logic Programs with Inheritance. ICLP 1999 : 79-93 Francesco Buccafurri, Nicola Leone , Pasquale Rullo : Semantics and Expressiveness of Disjunctive Ordered Logic. Ann. Math. Artif. Intell. 25 (3-4): 311-337 (1999) Francesco Buccafurri, Thomas Eiter , Georg Gottlob , Nicola Leone : Enhancing Model Checking in Verification by AI Techniques. Artif. Intell. 112 (1-2): 57-104 (1999) Elisa Bertino , Francesco Buccafurri, Elena Ferrari , Pasquale Rullo : An Authorization Model and Its Formal Semantics. ESORICS 1998 : 127-142 Francesco Buccafurri, Nicola Leone , Pasquale Rullo : Disjunctive Ordered Logic: Semantics and Expressiveness. KR 1998 : 418-431 Francesco Buccafurri, Sergio Greco , Domenico Saccà : The Expressive Power of Unique Total Stable Model Semantics. ICALP 1997 : 849-859 Francesco Buccafurri, Nicola Leone , Pasquale Rullo : Strong and Weak Constraints in Disjunctive Datalog. LPNMR 1997 : 2-17 Francesco Buccafurri, Nicola Leone , Francesco Scarcello : On the Expressive Power of Ordered Logic. AI Commun. 9 (1): 4-13 (1996) Francesco Buccafurri, Nicola Leone , Pasquale Rullo : Stable Models and Their Computation for Logic Programming with Inheritance and True Negation. J. Log. Program. 27 (1): 5-43 (1996) Francesco Buccafurri, Nicola Leone , Luigi Palopoli , Pasquale Rullo : Disjunctive Ordered Logic DEXA 1995 : 303-312 Francesco Buccafurri, Sergio Greco , Eugenio Spadafora : Implementazione di Interrogazioni Semplici Concatenate. SEBD 1994 : 187-205 1 [ 8 ] [ 13 ] [ 14 ] 2 [ 9 ] [ 17 ] 3 [ 11 ] [ 19 ] 4 [ 8 ] [ 13 ] [ 14 ] 5 [ 16 ] [ 18 ] [ 23 ] [ 26 ] 6 [ 9 ] [ 17 ] [ 25 ] 7 [ 1 ] [ 6 ] 8 [ 20 ] [ 23 ] [ 24 ] [ 27 ] [ 28 ] 9 [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 7 ] [ 9 ] [ 10 ] [ 11 ] [ 15 ] [ 17 ] [ 19 ] 10 [ 2 ] 11 [ 21 ] 12 [ 12 ] [ 16 ] [ 20 ] [ 21 ] [ 22 ] [ 24 ] 13 [ 2 ] [ 3 ] [ 5 ] [ 7 ] [ 8 ] [ 10 ] [ 13 ] [ 14 ] [ 15 ] 14 [ 6 ] [ 12 ] [ 16 ] [ 18 ] [ 21 ] [ 23 ] [ 26 ] 15 [ 22 ] 16 [ 4 ] 17 [ 26 ] 18 [ 1 ] 19 [ 20 ] [ 22 ] [ 24 ]  ©2004 Association for Computing Machinery |
