Declarative Semantics for Pruning Operators in Logic Programming

Highlights

Privacy Risks Video

The project ENFORCE supported the creation of a video showing the threats for sensitive information while using social and dating applications. The...
The new Privacy Observatory magazine is out!

www.privacyobservatory.org
New ICDM Workshop: PINSODA.

One of the most fascinating challenges of our time is understanding the complexity of the global interconnected society we inhabit. Today we have the...
2nd MODAP-MOVE Summer School on Privacy-aware Social Mining

A great opportunity to learn the most important and novel research on mobility data analysis and its implications on trustiness, privacy, ethics and...
Paper accepted at UrbComp (KDD 2012 Workshop).

Title: Efficient distributed computation of human mobility aggregates through User Mobility Profiles. Authors: Mirco Nanni, Roberto Trasarti, Giulio...

Title	Declarative Semantics for Pruning Operators in Logic Programming
Publication Type	Conference Paper
Year of Publication	1990
Authors	Giannotti, F, Pedreschi D
Conference Name	LPNMR