The following pages link to Francesco Buccafurri (Q202111):
Displaying 18 items.
- A probabilistic framework for estimating the accuracy of aggregate range queries evaluated over histograms (Q454941) (← links)
- Implementing disposable credit card numbers by mobile phones (Q651361) (← links)
- Enhancing model checking in verification by AI techniques (Q1606310) (← links)
- Discovering missing \texttt{me} edges across social networks (Q1749945) (← links)
- Semantics and expressiveness of disjunctive ordered logic (Q1978010) (← links)
- Stable models and their computation for logic programming with inheritance and true negation (Q3129493) (← links)
- (Q3515518) (← links)
- Logic programming with social features (Q3546040) (← links)
- (Q4410734) (← links)
- (Q4411731) (← links)
- Disjunctive logic programs with inheritance (Q4452618) (← links)
- (Q4473283) (← links)
- (Q4484159) (← links)
- The expressive power of unique total stable model semantics (Q4572012) (← links)
- (Q4707751) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5473984) (← links)
- An authorization model and its formal semantics (Q5862296) (← links)
- On ACTL formulas having linear counterexamples (Q5943101) (← links)