Skip to main content
Home
Highlights
Events
Hosted Events
Job & Study Opportunities
Press
Contacts
Research
Publications
Projects
People
Resources
Dataset
Software
Blog
Search form
Search
You are here
Home
Rinzivillo, S.
,
F. Turini
,
V. Bogorny
,
C. Körner
,
B. Kuijpers
, and
M. May
,
"
Knowledge Discovery from Geographical Data
"
,
Mobility, Data Mining and Privacy
, pp. 243-265, 2008.
Nanni, M.
, and
D. Pedreschi
,
"
Time-focused clustering of trajectories of moving objects
"
,
J. Intell. Inf. Syst.
, vol. 27, no. 3, pp. 267-289, 2006.
Alfonsi, C.
,
N. Scarabottolo
,
D. Pedreschi
, and
M. Simi
,
"
IT4PS: information technology for problem solving
"
,
ITiCSE
, pp. 241, 2004.
Pedreschi, D.
,
S. Ruggieri
, and
J-G. Smaus
,
"
Characterisations of Termination in Logic Programming
"
,
Program Development in Computational Logic
, pp. 376-431, 2004.
Pedreschi, D.
, and
S. Ruggieri
,
"
Bounded Nondeterminism of Logic Programs
"
,
Ann. Math. Artif. Intell.
, vol. 42, no. 4, pp. 313-343, 2004.
Pedreschi, D.
, and
S. Ruggieri
,
"
On logic programs that always succeed
"
,
Sci. Comput. Program.
, vol. 48, no. 2-3, pp. 163-196, 2003.
Mancarella, P.
,
D. Pedreschi
, and
S. Ruggieri
,
"
Negation as Failure through Abduction: Reasoning about Termination
"
,
Computational Logic: Logic Programming and Beyond
, pp. 240-272, 2002.
Mascellani, P.
, and
D. Pedreschi
,
"
The Declarative Side of Magic
"
,
Computational Logic: Logic Programming and Beyond
, pp. 83-108, 2002.
Pedreschi, D.
,
S. Ruggieri
, and
J-G. Smaus
,
"
Classes of terminating logic programs
"
,
TPLP
, vol. 2, no. 3, pp. 369-418, 2002.
Pedreschi, D.
,
S. Ruggieri
, and
J-G. Smaus
,
"
Classes of Terminating Logic Programs
"
,
CoRR
, vol. cs.LO/0106, 2001.
Copyright © 2014 - KDD Lab