海量图书期刊资源,随时随地畅享阅读乐趣
Value minimization in circumscriptionChina Baral; Alfredo Gabaldon; Alessandro Provetti · 1998
Formalizing narratives using nested circumscriptionChitta Baral; Alfredo Gabaldon; Alessandro Provetti · 1998
Representing actions: Laws, observations and hypothesesChitta Baral; Michael Gelfond; Alessandro Provetti · 1997
Normal forms for answer sets programmingCOSTANTINI, STEFANIA; PROVETTI, ALESSANDRO · Theory and Practice of Logic Programming · 2005
Adaptive search over sorted setsBonasera, Biagio; Ferrara, Emilio; Fiumara, Giacomo; Pagano, Francesco; Provetti, Alessandro · Journal of Discrete Algorithms · 2015
On Facebook, most ties are weakDe Meo, Pasquale; Ferrara, Emilio; Fiumara, Giacomo; Provetti, Alessandro · Communications of the ACM · 2014
Trust Networks: Topology, Dynamics, and MeasurementsAgreste, Santa; De Meo, Pasquale; Ferrara, Emilio; Piccolo, Sebastiano; Provetti, Alessandro · IEEE Internet Computing · 2015
Enhancing community detection using a network weighting strategyDe Meo, Pasquale; Ferrara, Emilio; Fiumara, Giacomo; Provetti, Alessandro · Information Sciences · 2013
Dear colleaguesV. M. Nesterov · Reliable Computing · 1995
Parallel accurate linear algebra subroutinesJürgen Wolff von Gudenberg · Reliable Computing · 1995
Addresses of the editorial board membersReliable Computing · 1995
Towards the future of interval computationsV. Kreinovich; G. Mayer · Reliable Computing · 1995
Ockham's razor in interval identificationBo. H. Friesen; Vladik Kreinovich · Reliable Computing · 1995
A parallel complex zero finderMark J. Schaefer; Tilmann Bubeck · Reliable Computing · 1995
Call for papersReliable Computing · 1995
Addresses of the Editorial Board MembersReliable Computing · 1995