Enrico  Pontelli
TitoloCitata daAnno
Light scattering and surface plasmons on small spherical particles
X Fan, W Zheng, DJ Singh
Light: Science & Applications 3 (6), e179, 2014
627*2014
How successful are plant species reintroductions?
S Godefroid, C Piazza, G Rossi, S Buord, AD Stevens, R Aguraiuja, ...
Biological Conservation 144 (2), 672-682, 2011
4462011
Parallel execution of prolog programs: a survey
G Gupta, E Pontelli, KAM Ali, M Carlsson, MV Hermenegildo
ACM Transactions on Programming Languages and Systems (TOPLAS) 23 (4), 472-602, 2001
2582001
An efficient algorithm for computing bisimulation equivalence
A Dovier, C Piazza, A Policriti
Theoretical Computer Science 311 (1-3), 221-256, 2004
1742004
Evidence for association of a common variant of the endothelial nitric oxide synthase gene (Glu298→ Asp polymorphism) to the presence, extent, and severity of coronary arteryá…
MG Colombo, MG Andreassi, U Paradossi, N Botto, S Manfredi, S Masetti, ...
Heart 87 (6), 525-528, 2002
1562002
Planning with preferences using logic programming
TC Son, E Pontelli
Theory and Practice of Logic Programming 6 (5), 559-607, 2006
1412006
Sets and constraint logic programming
A Dovier, C Piazza, E Pontelli, G Rossi
ACM Transactions on Programming Languages and Systems (TOPLAS) 22 (5), 861-931, 2000
1212000
{log}: A language for programming in logic with finite sets
A Dovier, EG Omodeo, E Pontelli, G Rossi
The Journal of logic programming 28 (1), 1-44, 1996
1171996
A constructive semantic characterization of aggregates in answer set programming
TC Son, E Pontelli
Theory and Practice of Logic Programming 7 (3), 355-375, 2007
1152007
A constraint-based approach for specification and verification of real-time systems
G Gupta, E Pontelli
Proceedings Real-Time Systems Symposium, 230-239, 1997
971997
flogg: A logic programming language with finite sets
A Dovier, EG Omodeo, E Pontelli, G Rossi
Proc. 8th Int. Conf. on Logic Programming, 1991
821991
Identification of α-helices from low resolution protein density maps
A Dal Palu, J He, E Pontelli, Y Lu
Computational Systems Bioinformatics, 89-98, 2006
722006
Justifications for logic programs under answer set semantics
E Pontelli, TC Son, O Elkhatib
Theory and Practice of Logic Programming 9 (1), 1-56, 2009
692009
Gasp: Answer set programming with lazy grounding
A Dal Pal¨, A Dovier, E Pontelli, G Rossi
Fundamenta Informaticae 96 (3), 297-322, 2009
662009
Distributed constraint optimization problems and applications: A survey
F Fioretto, E Pontelli, W Yeoh
Journal of Artificial Intelligence Research 61, 623-698, 2018
652018
Embedding extensional finite sets in CLP.
A Dovier, G Rossi
ILPS, 540-556, 1993
651993
&ACE: a high-performance parallel Prolog system
E Pontelli, G Gupta, M Hermenegildo
Proceedings of 9th International Parallel Processing Symposium, 564-571, 1995
631995
A comparison of CLP (FD) and ASP solutions to NP-complete problems
A Dovier, A Formisano, E Pontelli
International Conference on Logic Programming, 67-82, 2005
532005
Navigation of HTML tables, frames, and XML fragments
E Pontelli, D Gillan, W Xiong, E Saad, G Gupta, AI Karshmer
Proceedings of the fifth international ACM conference on Assistiveá…, 2002
512002
Solving distributed constraint optimization problems using logic programming*
T Le, TC Son, E Pontelli, W Yeoh
Theory and Practice of Logic Programming 17 (4), 634-683, 2017
50*2017
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20