Proving Termination of General Prolog Programs

Highlights

Monday, June 3rd, 2013 - Symposium on Multiple Network Modeling, Analysis and Mining associated to the NetSci Conference, Copenhagen

Some researchers of the KDDLab have participated to the organization of the Symposium on Multiple Network Modeling, Analysis and Mining associated to...
Udine, 5 giugno 2013 - BIG DATA - Una sfida ricca di opportunità

Giornata di studio - Aula 1, Polo Economico e Giuridico,via Tomadini 30/a, Università di Udine - IL CONTRIBUTO DELL’INFORMATICA E DELLA STATISTICA...
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...

Title	Proving Termination of General Prolog Programs
Publication Type	Conference Paper
Year of Publication	1991
Authors	Apt, KR, Pedreschi D
Conference Name	TACS