Buccafurri, Francesco; Lax, Gianluca; Nocera, Antonino; Ursino, Domenico Discovering missing me edges across social networks. (English) Zbl 1390.91261 Inf. Sci. 319, 18-37 (2015). MSC: 91D30 05C82 PDFBibTeX XMLCite \textit{F. Buccafurri} et al., Inf. Sci. 319, 18--37 (2015; Zbl 1390.91261) Full Text: DOI
Buccafurri, Francesco; Furfaro, Filippo; Saccà, Domenico A probabilistic framework for estimating the accuracy of aggregate range queries evaluated over histograms. (English) Zbl 1247.68063 Inf. Sci. 188, 121-150 (2012). MSC: 68P01 68P15 68Q87 PDFBibTeX XMLCite \textit{F. Buccafurri} et al., Inf. Sci. 188, 121--150 (2012; Zbl 1247.68063) Full Text: DOI
Buccafurri, Francesco; Lax, Gianluca Implementing disposable credit card numbers by mobile phones. (English) Zbl 1237.91183 Electron. Commer. Res. 11, No. 3, 271-296 (2011). MSC: 91B99 94A60 PDFBibTeX XMLCite \textit{F. Buccafurri} and \textit{G. Lax}, Electron. Commer. Res. 11, No. 3, 271--296 (2011; Zbl 1237.91183) Full Text: DOI
Buccafurri, Francesco; Caminiti, Gianluca Logic programming with social features. (English) Zbl 1156.68048 Theory Pract. Log. Program. 8, No. 5-6, 643-690 (2008). MSC: 68T30 68N17 68Q55 PDFBibTeX XMLCite \textit{F. Buccafurri} and \textit{G. Caminiti}, Theory Pract. Log. Program. 8, No. 5--6, 643--690 (2008; Zbl 1156.68048) Full Text: DOI
Buccafurri, Francesco; Caminiti, Gianluca; Rosaci, Domenico An ASP-based approach to dealing with agent perception failure. (English) Zbl 1147.68726 AI Commun. 21, No. 1, 49-69 (2008). MSC: 68T30 68T27 68T37 PDFBibTeX XMLCite \textit{F. Buccafurri} et al., AI Commun. 21, No. 1, 49--69 (2008; Zbl 1147.68726)
Buccafurri, Francesco; Caminiti, Gianluca A social semantics for multi-agent systems. (English) Zbl 1152.68598 Baral, Chitta (ed.) et al., Logic programming and nonmonotonic reasoning. 8th international conference, LPNMR 2005, Diamante, Italy, September 5–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28538-5/pbk). Lecture Notes in Computer Science 3662. Lecture Notes in Artificial Intelligence, 317-329 (2005). MSC: 68T27 68T35 PDFBibTeX XMLCite \textit{F. Buccafurri} and \textit{G. Caminiti}, Lect. Notes Comput. Sci. 3662, 317--329 (2005; Zbl 1152.68598) Full Text: DOI
Buccafurri, Francesco; Faber, Wolfgang; Leone, Nicola Disjunctive logic programs with inheritance. (English) Zbl 1087.68527 Theory Pract. Log. Program. 2, No. 3, 293-321 (2002). MSC: 68N17 68T30 PDFBibTeX XMLCite \textit{F. Buccafurri} et al., Theory Pract. Log. Program. 2, No. 3, 293--321 (2002; Zbl 1087.68527) Full Text: DOI Link
Buccafurri, Francesco; Lax, Gianluca; Rosaci, Domenico; Ursino, Domenico A user behavior-based agent for improving web usage. (English) Zbl 1018.68567 Meersman, Robert (ed.) et al., On the move to meaningful internet systems 2002: CoopIS, DOA, and ODBASE. Confederated international conferences CoopIS, DOA, and ODBASE 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2519, 1168-1185 (2002). MSC: 68U99 68M10 68U35 PDFBibTeX XMLCite \textit{F. Buccafurri} et al., Lect. Notes Comput. Sci. 2519, 1168--1185 (2002; Zbl 1018.68567) Full Text: Link
Buccafurri, Francesco; Furfaro, Filippo; Lax, Gianluca; Saccà, Domenico Binary-tree histograms with tree indices. (English) Zbl 1017.68601 Hameurlain, Abdelkader (ed.) et al., Database and expert systems applications. 13th international conference, DEXA 2002, Aix-en-Provence, France, September 2-6, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2453, 861-870 (2002). MSC: 68U99 68P15 PDFBibTeX XMLCite \textit{F. Buccafurri} et al., Lect. Notes Comput. Sci. 2453, 861--870 (2002; Zbl 1017.68601) Full Text: Link
Buccafurri, F.; Rosaci, D.; Sarnè, G. M. L.; Ursino, D. An agent-based hierarchical clustering approach for e-commerce environments. (English) Zbl 1020.68560 Bauknecht, Kurt (ed.) et al., E-commerce and Web technologies. Third international conference, EC-Web 2002, Aix-en-Provence, France, September, September 2-6, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2455, 109-118 (2002). MSC: 68U99 68U35 68T35 PDFBibTeX XMLCite \textit{F. Buccafurri} et al., Lect. Notes Comput. Sci. 2455, 109--118 (2002; Zbl 1020.68560) Full Text: Link
Buccafurri, Francesco; Gottlob, Georg Multiagent compromises, joint fixpoints, and stable models. (English) Zbl 1012.68191 Kakas, Antonis C. (ed.) et al., Computational logic: logic programming and beyond. Essays in honour of Robert A. Kowalski. Part 1. Berlin: Springer. Lect. Notes Comput. Sci. 2407, 561-585 (2002). MSC: 68T27 68N17 PDFBibTeX XMLCite \textit{F. Buccafurri} and \textit{G. Gottlob}, Lect. Notes Comput. Sci. 2407, 561--585 (2002; Zbl 1012.68191) Full Text: Link
Buccafurri, Francesco; Furfaro, Filippo; Saccà, Domenico Estimating range queries using aggregate data with integrity constraints: A probabilistic approach. (English) Zbl 1047.68565 Van den Bussche, Jan (ed.) et al., Database theory - ICDT 2001. 8th international conference, London, GB, January 4–6, 2001. Proceedings. Berlin: Springer (ISBN 3-540-41456-8). Lect. Notes Comput. Sci. 1973, 390-404 (2001). MSC: 68P15 PDFBibTeX XMLCite \textit{F. Buccafurri} et al., Lect. Notes Comput. Sci. 1973, 390--404 (2001; Zbl 1047.68565) Full Text: Link
Buccafurri, Francesco; Eiter, Thomas; Gottlob, Georg; Leone, Nicola On ACTL formulas having linear counterexamples. (English) Zbl 0990.68102 J. Comput. Syst. Sci. 62, No. 3, 463-515 (2001). MSC: 68R10 PDFBibTeX XMLCite \textit{F. Buccafurri} et al., J. Comput. Syst. Sci. 62, No. 3, 463--515 (2001; Zbl 0990.68102) Full Text: DOI Link
Buccafurri, Francesco; Eiter, Thomas; Gottlob, Georg; Leone, Nicola Enhancing model checking in verification by AI techniques. (English) Zbl 0996.68104 Artif. Intell. 112, No. 1-2, 57-104 (1999). MSC: 68Q60 68T27 68Q55 03B70 PDFBibTeX XMLCite \textit{F. Buccafurri} et al., Artif. Intell. 112, No. 1--2, 57--104 (1999; Zbl 0996.68104) Full Text: DOI
Buccafurri, Francesco; Leone, Nicola; Rullo, Pasquale Semantics and expressiveness of disjunctive ordered logic. (English) Zbl 0940.68135 Ann. Math. Artif. Intell. 25, No. 3-4, 311-337 (1999). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{F. Buccafurri} et al., Ann. Math. Artif. Intell. 25, No. 3--4, 311--337 (1999; Zbl 0940.68135) Full Text: DOI
Bertino, Elisa; Buccafurri, Francesco; Ferrari, Elena; Rullo, Pasquale An authorization model and its formal semantics. (English) Zbl 1487.68054 Quisquater, Jean-Jacques (ed.) et al., Computer security – ESORICS 98. 5th European symposium on research in computer security, Louvain-la-Neuve, Belgium, September 16–18, 1998 Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1485, 127-142 (1998). MSC: 68M25 03B70 PDFBibTeX XMLCite \textit{E. Bertino} et al., Lect. Notes Comput. Sci. 1485, 127--142 (1998; Zbl 1487.68054) Full Text: DOI
Buccafurri, Francesco; Greco, Sergio; Saccà, Domenico The expressive power of unique total stable model semantics. (English) Zbl 1401.68027 Degano, Pierpaolo (ed.) et al., Automata, languages and programming. 24th international colloquium, ICALP ’97, Bologna, Italy, July 7–11, 1997. Proceedings. Berlin: Springer-Verlag (ISBN 978-3-540-63165-1/pbk; 978-3-540-69194-5/ebook). Lecture Notes in Computer Science 1256, 849-859 (1997). MSC: 68N17 68P15 68Q55 PDFBibTeX XMLCite \textit{F. Buccafurri} et al., Lect. Notes Comput. Sci. 1256, 849--859 (1997; Zbl 1401.68027) Full Text: DOI
Buccafurri, F.; Leone, N.; Rullo, P. Stable models and their computation for logic programming with inheritance and true negation. (English) Zbl 0874.68048 J. Log. Program. 27, No. 1, 5-43 (1996). MSC: 68N17 PDFBibTeX XMLCite \textit{F. Buccafurri} et al., J. Log. Program. 27, No. 1, 5--43 (1996; Zbl 0874.68048) Full Text: DOI