| 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 | 296 | 2001 |
| Distributed constraint optimization problems and applications: A survey F Fioretto, E Pontelli, W Yeoh Journal of Artificial Intelligence Research 61, 623-698, 2018 | 277 | 2018 |
| Planning with preferences using logic programming TC Son, E Pontelli Theory and Practice of Logic Programming 6 (5), 559-607, 2006 | 161 | 2006 |
| 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 | 156 | 2000 |
| {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 | 137 | 1996 |
| 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 | 130 | 2007 |
| ACE: And/Or-parallel copying-based execution of logic programs G Gupta, M Hermenegildo, E Pontelli, VS Costa | 116 | 1994 |
| A constraint-based approach for specification and verification of real-time systems G Gupta, E Pontelli Proceedings Real-Time Systems Symposium, 230-239, 1997 | 113 | 1997 |
| 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 | 108 | 2009 |
| GASP: answer set programming with lazy grounding A Dal Palu, A Dovier, E Pontelli, G Rossi Fundamenta Informaticae 96 (3), 297-322, 2009 | 105 | 2009 |
| A multiagent system approach to scheduling devices in smart homes F Fioretto, W Yeoh, E Pontelli Workshops at the Thirty-First AAAI Conference on Artificial Intelligence, 2017 | 97 | 2017 |
| Identification of α-helices from low resolution protein density maps A Dal Palù, J He, E Pontelli, Y Lu Computational Systems Bioinformatics, 89-98, 2006 | 84 | 2006 |
| {log}: A logic programming language with finite sets A Dovier, EG Omodeo, E Pontelli, G Rossi The MIT Press, 1991 | 84 | 1991 |
| 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 | 74 | 2015 |
| &ACE: A high-performance parallel Prolog system E Pontelli, G Gupta, M Hermenegildo Proceedings of 9th International Parallel Processing Symposium, 564-571, 1995 | 68 | 1995 |
| 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 | 65 | 2007 |
| 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 | 64 | 2010 |
| 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 | 62 | 2017 |
| 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 | 59 | 2009 |
| A comparison of CLP (FD) and ASP solutions to NP-complete problems A Dovier, A Formisano, E Pontelli Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain …, 2005 | 59 | 2005 |
Tran Cao SonProfessor of Computer Science, New Mexico State Universitynmsu.edu의 이메일 확인됨