Enrico  Pontelli
Titolo
Citata da
Citata da
Anno
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
2622001
Planning with preferences using logic programming
TC Son, E Pontelli
Theory and Practice of Logic Programming 6 (5), 559-607, 2006
1432006
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
1242000
{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 ASP
TC Son, E Pontelli
arXiv preprint cs/0601051, 2006
1162006
A constraint-based approach for specification and verification of real-time systems
G Gupta, E Pontelli
Proceedings Real-Time Systems Symposium, 230-239, 1997
981997
Distributed constraint optimization problems and applications: A survey
F Fioretto, E Pontelli, W Yeoh
Journal of Artificial Intelligence Research 61, 623-698, 2018
902018
flogg: A logic programming language with finite sets
A Dovier, EG Omodeo, E Pontelli, G Rossi
Proc. 8th Int. Conf. on Logic Programming, 1991
801991
Gasp: Answer set programming with lazy grounding
A Dal Pal¨, A Dovier, E Pontelli, G Rossi
Fundamenta Informaticae 96 (3), 297-322, 2009
762009
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
752009
Identification of α-helices from low resolution protein density maps
A Dal Palu, J He, E Pontelli, Y Lu
Computational Systems Bioinformatics, 89-98, 2006
742006
&ACE: a high-performance parallel Prolog system
E Pontelli, G Gupta, M Hermenegildo
Proceedings of 9th International Parallel Processing Symposium, 564-571, 1995
661995
Embedding extensional finite sets in CLP.
A Dovier, G Rossi
ILPS, 540-556, 1993
651993
Solving distributed constraint optimization problems using logic programming
T Le, TC Son, E Pontelli, W Yeoh
arXiv preprint arXiv:1705.03916, 2017
57*2017
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
562005
A multiagent system approach to scheduling devices in smart homes
F Fioretto, W Yeoh, E Pontelli
31st AAAI Conference on Artificial Intelligence, AAAI 2017, 240-246, 2017
522017
Logic programs with abstract constraint atoms: The role of computations
L Liu, E Pontelli, TC Son, M Truszczyński
Artificial Intelligence 174 (3-4), 295-315, 2010
522010
Answer sets for logic programs with arbitrary abstract constraint atoms
TC Son, E Pontelli, PH Tu
Journal of Artificial Intelligence Research 29, 353-389, 2007
502007
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
502002
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems
A Dovier, A Formisano, E Pontelli
Journal of Experimental & Theoretical Artificial Intelligence 21 (2), 79-121, 2009
482009
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20