90 citations · 102 across the 5 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2014
ChoiceGAPs: Competitive Diffusion as a Massive Multi-Player Game in Social Networks
Edoardo Serra, Francesca Spezzano, V. S. Subrahmanian
We consider the problem of modeling competitive diffusion in real world social networks via the notion of ChoiceGAPs which combine choice logic programs due to Sacca` and Zaniolo a…
cs.LO2014★ 11 cited
Checking Termination of Bottom-Up Evaluation of Logic Programs with Function Symbols
Marco Calautti, Sergio Greco, Francesca Spezzano +1
Recently, there has been an increasing interest in the bottom-up evaluation of the semantics of logic programs with complex terms. The presence of function symbols in the program m…