Francesco Buccafurri

Available identifiers

Publication	Date of Publication	Type
An authorization model and its formal semantics	2022-03-07	Paper
The expressive power of unique total stable model semantics	2018-07-04	Paper
Discovering missing \texttt{me} edges across social networks	2018-05-17	Paper
A probabilistic framework for estimating the accuracy of aggregate range queries evaluated over histograms	2012-10-02	Paper
Implementing disposable credit card numbers by mobile phones	2011-12-13	Paper
Logic programming with social features	2008-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q3515518	2008-07-29	Paper
Logic Programming and Nonmonotonic Reasoning	2006-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4473283	2004-08-04	Paper
Disjunctive logic programs with inheritance	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4411731	2003-07-09	Paper
https://portal.mardi4nfdi.de/entity/Q4410734	2003-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q4484159	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4707751	2003-06-11	Paper
Enhancing model checking in verification by AI techniques	2002-07-24	Paper
On ACTL formulas having linear counterexamples	2001-09-09	Paper
Semantics and expressiveness of disjunctive ordered logic	2000-06-07	Paper
Stable models and their computation for logic programming with inheritance and true negation	1997-04-27	Paper

This page was built for person: Francesco Buccafurri