Theo dõi
Enrico Pontelli
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
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
2902001
Distributed constraint optimization problems and applications: A survey
F Fioretto, E Pontelli, W Yeoh
Journal of Artificial Intelligence Research 61, 623-698, 2018
2882018
Planning with preferences using logic programming
TC Son, E Pontelli
Theory and Practice of Logic Programming 6 (5), 559-607, 2006
1612006
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
1582000
{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
1391996
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
1302007
A constraint-based approach for specification and verification of real-time systems
G Gupta, E Pontelli
Proceedings Real-Time Systems Symposium, 230-239, 1997
1131997
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
1112009
GASP: answer set programming with lazy grounding
A Dal Palu, A Dovier, E Pontelli, G Rossi
Fundamenta Informaticae 96 (3), 297-322, 2009
1072009
A Multiagent System Approach to Scheduling Devices in Smart Homes.
F Fioretto, W Yeoh, E Pontelli
AAMAS 17, 981-989, 2017
992017
Identification of α-helices from low resolution protein density maps
A Dal Palù, J He, E Pontelli, Y Lu
Computational Systems Bioinformatics, 89-98, 2006
862006
{log}: A logic programming language with finite sets
A Dovier, EG Omodeo, E Pontelli, G Rossi
The MIT Press, 1991
851991
Cud@ sat: Sat solving on gpus
A Dal Palù, A Dovier, A Formisano, E Pontelli
Journal of Experimental & Theoretical Artificial Intelligence 27 (3), 293-316, 2015
742015
&ACE: A high-performance parallel Prolog system
E Pontelli, G Gupta, M Hermenegildo
Proceedings of 9th International Parallel Processing Symposium, 564-571, 1995
671995
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
652010
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
652007
A distributed constraint optimization (DCOP) approach to the economic dispatch with demand response
F Fioretto, W Yeoh, E Pontelli, Y Ma, SJ Ranade
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017
632017
Mathematics and accessibility: A survey
A Karshmer, G Gupta, E Pontelli
Proc. 9th international conference on computers helping people with special …, 2007
622007
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
602009
Set unification
A Dovier, E Pontelli, G Rossi
Theory and Practice of Logic Programming 6 (6), 645-701, 2006
602006
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20