Enrico Pontelli - Publications

Affiliations: 
New Mexico State University, Las Cruces, NM, United States 
Area:
Computer Science

96 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2020 Nguyen VD, Nguyen TH, Tayeen ASM, Laughinghouse HD, Sánchez-Reyes LL, Wiggins J, Pontelli E, Mozzherin D, O'Meara B, Stoltzfus A. Phylotastic: Improving Access to Tree-of-Life Knowledge With Flexible, on-the-Fly Delivery of Trees. Evolutionary Bioinformatics Online. 16: 1176934319899384. PMID 32372858 DOI: 10.1177/1176934319899384  0.301
2020 Al-Jarrah A, Pontelli E. The collaborative virtual affinity group model: principles, design, implementation, and evaluation International Journal of Computers and Applications. 42: 485-513. DOI: 10.1080/1206212X.2018.1486557  0.306
2019 Nguyen VD, Son TC, Pontelli E. Natural Language Generation for Non-Expert Users Electronic Proceedings in Theoretical Computer Science. 306: 280-294. DOI: 10.4204/Eptcs.306.33  0.407
2018 Fioretto F, Pontelli E, Yeoh W. Distributed Constraint Optimization Problems and Applications: A Survey Journal of Artificial Intelligence Research. 61: 623-698. DOI: 10.1613/Jair.5565  0.317
2018 FIORETTO F, PONTELLI E. Past and present (and future) of parallel and distributed computation in (constraint) logic programming Theory and Practice of Logic Programming. 18: 722-724. DOI: 10.1017/S1471068418000406  0.432
2018 HAI NGUYEN T, PONTELLI E, CAO SON T. Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming Theory and Practice of Logic Programming. 18: 656-672. DOI: 10.1017/S1471068418000236  0.391
2018 Dal Palù A, Dovier A, Formisano A, Pontelli E. ASP Applications in Bio-informatics: A Short Tour Ki - KüNstliche Intelligenz. 32: 157-164. DOI: 10.1007/S13218-018-0551-Y  0.361
2017 Anderson M, Barták R, Brownstein JS, Buckeridge DL, Eldardiry H, Geib C, Gini M, Isaksen A, Keren S, Laddaga R, Lisy V, Martin R, Martinez DR, Michalowski M, Michael L, ... ... Pontelli E, et al. Reports of the Workshops of the Thirty-First AAAI Conference on Artificial Intelligence Ai Magazine. 38: 72-82. DOI: 10.1609/Aimag.V38I3.2755  0.348
2017 Stoltzfus A, Rosenberg M, Lapp H, Budd A, Cranston K, Pontelli E, Oliver S, Vos RA. Community and Code: Nine Lessons from Nine NESCent Hackathons F1000research. 6: 786. DOI: 10.12688/F1000Research.11429.1  0.314
2017 Fioretto F, Pontelli E, Yeoh W, Dechter R. Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs Constraints. 23: 1-43. DOI: 10.1007/S10601-017-9274-1  0.348
2015 Le T, Son TC, Pontelli E. Multi-Context systems with preferences Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9387: 449-466. DOI: 10.3233/Fi-2018-1646  0.361
2015 Alajarmeh N, Pontelli E, Burgert T. A multi-layer universally designed workspace for tracking students skills and mastery transition in mathematics manipulation in inclusive education Proceedings - Frontiers in Education Conference, Fie. 2015. DOI: 10.1109/FIE.2014.7044492  0.748
2015 Al-Jarrah A, Pontelli E. AliCe-ViLlagE Alice as a Collaborative Virtual Learning Environment Proceedings - Frontiers in Education Conference, Fie. 2015. DOI: 10.1109/FIE.2014.7044089  0.314
2015 Campeotto F, Dovier A, Pontelli E. A declarative concurrent system for protein structure prediction on GPU Journal of Experimental and Theoretical Artificial Intelligence. 27: 503-541. DOI: 10.1080/0952813X.2014.993503  0.307
2015 Dal Palù A, Dovier A, Formisano A, Pontelli E. CUD@SAT: SAT solving on GPUs Journal of Experimental and Theoretical Artificial Intelligence. 27: 293-316. DOI: 10.1080/0952813X.2014.954274  0.39
2015 Le T, Son TC, Pontelli E, Yeoh W. Solving distributed constraint optimization problems using logic programming Proceedings of the National Conference On Artificial Intelligence. 2: 1174-1181. DOI: 10.1017/S147106841700014X  0.421
2015 To ST, Son TC, Pontelli E. A generic approach to planning in the presence of incomplete information: Theory and implementation Artificial Intelligence. 227: 1-51. DOI: 10.1016/J.Artint.2015.06.001  0.333
2014 Son TC, Pontelli E, Nguyen NH, Sakama C. Formalizing negotiations using logic programming Acm Transactions On Computational Logic. 15. DOI: 10.1145/2526270  0.401
2014 Liu C, Pontelli E. Techniques to enhance efficiency and effectiveness of inductive logic programming systems: The TWEETY approaches Journal of Experimental and Theoretical Artificial Intelligence. 26: 51-107. DOI: 10.1080/0952813X.2013.808801  0.503
2014 Son TC, Pontelli E, Le T. Two applications of the ASP-Prolog system: Decomposable programs and multi-context systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8324: 87-103. DOI: 10.1007/978-3-319-04132-2_7  0.325
2013 Stoltzfus A, Lapp H, Matasci N, Deus H, Sidlauskas B, Zmasek CM, Vaidya G, Pontelli E, Cranston K, Vos R, Webb CO, Harmon LJ, Pirrung M, O'Meara B, Pennell MW, et al. Phylotastic! Making tree-of-life knowledge accessible, reusable and convenient. Bmc Bioinformatics. 14: 158. PMID 23668630 DOI: 10.1186/1471-2105-14-158  0.384
2013 Campeotto F, Dal Palù A, Dovier A, Fioretto F, Pontelli E. A Constraint Solver for Flexible Protein Model Journal of Artificial Intelligence Research. 48: 953-1000. DOI: 10.1613/Jair.4193  0.307
2013 Dovier A, Formisano A, Pontelli E. Autonomous agents coordination: Action languages meet CLP(f d) and Linda Theory and Practice of Logic Programming. 13: 149-173. DOI: 10.1017/S1471068411000615  0.339
2013 Doush IA, Pontelli E. Non-visual navigation of spreadsheets: Enhancing accessibility of Microsoft Excel™ Universal Access in the Information Society. 12: 143-159. DOI: 10.1007/S10209-012-0272-1  0.315
2012 Alajarmeh N, Pontelli E. E-arithmetic: Non-visual arithmetic manipulation for students with impaired vision Assets'12 - Proceedings of the 14th International Acm Sigaccess Conference On Computers and Accessibility. 269-270. DOI: 10.1145/2384916.2384987  0.757
2012 Alajarmeh N, Pontelli E. A non-visual electronic workspace for learning algebra Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7382: 158-165. DOI: 10.1007/978-3-642-31522-0_23  0.75
2011 Alajarmeh N, Pontelli E, Son T. From "reading" math to "doing" math: A new direction in non-visual math accessibility Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6768: 501-510. DOI: 10.1007/978-3-642-21657-2_54  0.755
2011 Pontelli E, Son TC, Nguyen NH. Combining answer set programming and prolog: The ASP-PROLOG system Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6565: 452-472. DOI: 10.1007/978-3-642-20832-4_28  0.351
2011 Dovier A, Formisano A, Pontelli E. Perspectives on logic-based approaches for reasoning about actions and change Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6565: 259-279. DOI: 10.1007/978-3-642-20832-4_17  0.32
2010 Doush IA, Pontelli E, Son TC, Simon D, Ma O. Multimodal presentation of two-dimensional charts: An investigation using open office XML and microsoft excel Acm Transactions On Accessible Computing. 3. DOI: 10.1145/1857920.1857925  0.361
2010 Dal Palù A, Dovier A, Fogolari F, Pontelli E. CLP-based protein fragment assembly Theory and Practice of Logic Programming. 10: 709-724. DOI: 10.1017/S1471068410000372  0.333
2010 Baral C, Gelfond G, Pontelli E, Son T. Logic programming for finding models in the logics of knowledge and its applications: A case study Theory and Practice of Logic Programming. 10: 675-690. DOI: 10.1017/S1471068410000359  0.388
2010 Pontelli E, Le HV, Son TC. An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling Computer Languages, Systems and Structures. 36: 158-202. DOI: 10.1016/J.Cl.2009.09.001  0.443
2010 Dovier A, Pontelli E. A 25-Year Perspective on Logic Programming Lecture Notes in Computer Science. 6125. DOI: 10.1007/978-3-642-14309-0  0.375
2009 Prosdocimi F, Chisham B, Pontelli E, Thompson JD, Stoltzfus A. Initial implementation of a comparative data analysis ontology. Evolutionary Bioinformatics Online. 5: 47-66. PMID 19812726 DOI: 10.4137/Ebo.S2320  0.348
2009 Dal Palù A, Dovier A, Pontelli E, Rossi G. GASP: Answer Set Programming with Lazy Grounding Fundamenta Informaticae. 96: 297-322. DOI: 10.3233/Fi-2009-180  0.456
2009 Grossi G, Marchi M, Pontelli E, Provetti A. Experimental analysis of graph-based answer set computation over parallel and distributed architectures Journal of Logic and Computation. 19: 697-715. DOI: 10.1093/Logcom/Exn036  0.403
2009 Dovier A, Formisano A, Pontelli E. An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems Journal of Experimental and Theoretical Artificial Intelligence. 21: 79-121. DOI: 10.1080/09528130701538174  0.417
2009 Phan TH, Pontelli E, Son TC, To ST. Applications of parallel processing technologies in heuristic search planning: Methodologies and experiments Concurrency Computation Practice and Experience. 21: 1928-1960. DOI: 10.1002/Cpe.V21:15  0.394
2008 Bonatti PA, Pontelli E, Son TC. Credulous resolution for answer set programming Proceedings of the National Conference On Artificial Intelligence. 1: 418-423.  0.33
2007 Dovier A, Formisano A, Pontelli E. Multivalued action languages with constraints in CLP(FD) Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4670: 255-270. DOI: 10.1017/S1471068410000013  0.37
2007 Pontelli E, Villaverde K, Guo HF, Gupta G. PALS: Efficient or-parallel execution of prolog on Beowulf clusters Theory and Practice of Logic Programming. 7: 633-695. DOI: 10.1017/S1471068406002985  0.719
2007 Son TC, Pontelli E. A constructive semantic characterization of aggregates in answer set programming Theory and Practice of Logic Programming. 7: 355-375. DOI: 10.1017/S1471068406002936  0.398
2007 Liu L, Pontelli E, Son TC, Truszczyńki M. Logic programs with abstract constraint atoms: The role of computations Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4670: 286-301. DOI: 10.1016/J.Artint.2009.11.016  0.47
2007 Dal Palù A, Dovier A, Pontelli E. A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction Software - Practice and Experience. 37: 1405-1449. DOI: 10.1002/Spe.V37:13  0.359
2007 Tu PH, Son TC, Pontelli E. CPP: A constraint logic programming based planner with preferences Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4483: 290-296.  0.311
2007 Dovier A, Formisano A, Pontelli E. An experimental comparison of constraint logic programming and answer set programming Proceedings of the National Conference On Artificial Intelligence. 2: 1622-1625.  0.334
2006 Son TC, Pontelli E, Tu PH. Answer sets for logic programs with arbitrary abstract constraint atoms Proceedings of the National Conference On Artificial Intelligence. 1: 129-134. DOI: 10.1613/Jair.2171  0.388
2006 Pontelli E, Son TC, Baral C. A framework for composition and inter-operation of rules in the semantic web Proceedings - Ruleml 2006: 2006 Second International Conference On Rules and Rule Markup Languages For the Semantic Web. 39-48. DOI: 10.1109/RULEML.2006.1  0.323
2006 Pontelli E, Son TC. Justifications for logic programs under answer set semantics Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4079: 196-210. DOI: 10.1017/S1471068408003633  0.432
2006 Sun TC, Pontelli E. Planning with preferences using logic programming Theory and Practice of Logic Programming. 6: 559-607. DOI: 10.1017/S1471068406002717  0.404
2006 Pontelli E, Villaverde K, Guo HF, Gupta G. Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms Journal of Parallel and Distributed Computing. 66: 1267-1293. DOI: 10.1016/j.jpdc.2006.05.002  0.7
2006 Pontelli E, Villaverde K, Guo H, Gupta G. Stack splitting: a technique for efficient exploitation of search parallelism on share-nothing platforms Journal of Parallel and Distributed Computing. 66: 1267-1293. DOI: 10.1016/J.Jdpc.2006.05.002  0.715
2006 Saad E, Pontelli E. A new approach to hybrid probabilistic logic programs Annals of Mathematics and Artificial Intelligence. 48: 187-243. DOI: 10.1007/S10472-007-9048-3  0.675
2006 Elkhatib O, Pontelli E, Son TC. A tool for knowledge base integration and querying Aaai Spring Symposium - Technical Report. 16-21.  0.326
2006 Saad E, Pontelli E. Non-monotonic negation in Hybrid Probabilistic Logic programs 9th International Symposium On Artificial Intelligence and Mathematics, Isaim 2006 0.641
2005 Elkabani I, Pontelli E, Son TC. SMODELSA - A system for computing answer sets of logic programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3662: 427-431. DOI: 10.1007/11546207_40  0.773
2005 Saad E, Pontelli E. Hybrid Probabilistic Logic Programs with non-monotonic negation Lecture Notes in Computer Science. 3668: 204-220.  0.646
2005 Saad E, Pontelli E. Towards a more practical hybrid probabilistic logic programming framework Lecture Notes in Computer Science. 3350: 67-82.  0.647
2005 Ei-Khatib O, Pontelli E, Son TC. Justification and debugging of answer set programs in ASP - PROLOG Proceedings of the 6th International Symposium On Automated and Analysis-Driven Debugging, Aadebug 2005. 49-58.  0.348
2004 Dovier A, Piazza C, Pontelli E. Disunification in ACI1 Theories Constraints. 9: 35-91. DOI: 10.1023/B:Cons.0000006182.84033.6E  0.344
2004 Pontelli E, Son TC, Kottapally K, Ngo C, Reddy R, Gillan D. A system for automatic structure discovery and reasoning-based navigation of the web Interacting With Computers. 16: 451-475. DOI: 10.1016/J.Intcom.2004.04.006  0.338
2004 Pivkina I, Pontelli E, Son TC. Revising knowledge in multi-agent systems using revision programming with preferences Lecture Notes in Computer Science. 134-158. DOI: 10.1007/978-3-540-30200-1_8  0.434
2004 Pontelli E, Son TC, Elkabani I. Smodels with CLP - A treatment of aggregates in ASP Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). 2923: 356-360.  0.716
2004 Elkabani I, Pontelli E, Son TC. Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3132: 73-89.  0.787
2004 Villaverde K, Pontelli E, Guo HF, Gupta G. A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2790: 694-703.  0.698
2004 Elkhatib O, Pontelli E, Son TC. ASP – PROLOG: A system for reasoning about answer set programs in prolog Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3057: 148-162.  0.335
2004 Pivkina I, Pontelli E, Son TC. Revising knowledge in multi-agent systems using revision programming with preferences Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). 3259: 134-158.  0.348
2003 Pontelli E, Ranjan D, Gupta G, Milligan B. Design and implementation of a domain specific language for phylogenetic inference. Journal of Bioinformatics and Computational Biology. 1: 201-30. PMID 15290770 DOI: 10.1142/S0219720003000101  0.396
2003 Pontelli E, Son TC. Designing intelligent agents to support universal accessibility of E-commerce services Electronic Commerce Research and Applications. 2: 147-161. DOI: 10.1016/S1567-4223(03)00012-7  0.359
2003 Wu Y, Pontelli E, Ranjan D. On the complexity of dependent and-parallelism in logic programming Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2916: 361-376. DOI: 10.1007/978-3-540-24599-5_25  0.35
2003 Pontelli E, Balduccini M, Bermudez F. Non-monotonic reasoning on Beowulf platforms Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2562: 37-57.  0.363
2002 Pontelli E, Ranjan D, Palú AD. An optimal data structure to handle dynamic environments in non-deterministic computations Computer Languages. 28: 181-201. DOI: 10.1016/S0096-0551(02)00004-8  0.45
2002 Pontelli E, Gillan D, Gupta G, Karshmer A, Saad E, Xiong W. Universal Access in the Information Society. 2: 56-69. DOI: 10.1007/S10209-002-0036-4  0.607
2002 Gupta G, Pontelli E. Specification, implementation, and verification of Domain Specific Languages: A logic programming-based approach Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2407: 211-239.  0.333
2001 Gupta G, Pontelli E, Ali KAM, Carlsson M, Hermenegildo MV. Parallel execution of Prolog programs: A survey Acm Transactions On Programming Languages and Systems. 23: 472-602. DOI: 10.1145/504083.504085  0.474
2001 Pontelli E. Experiments in parallel execution of answer set programs Proceedings - 15th International Parallel and Distributed Processing Symposium, Ipdps 2001. DOI: 10.1109/IPDPS.2001.924954  0.364
2001 Villaverde K, Pontelli E, Guo H, Gupta G. Incremental stack-splitting mechanisms for efficient parallel implementation of search-based AI systems Proceedings of the International Conference On Parallel Processing. 2001: 287-294. DOI: 10.1109/ICPP.2001.952073  0.73
2001 Pontelli E, Gupta G. Backtracking in independent and-parallel implementations of logic programming languages Ieee Transactions On Parallel and Distributed Systems. 12: 1169-1189. DOI: 10.1109/71.969127  0.354
2001 Dovier A, Pontelli E, Rossi G. Constructive Negation and constraint logic programming with sets New Generation Computing. 19: 209-255. DOI: 10.1007/Bf03037598  0.446
2001 Gupta G, Pontelli E. Optimization schemas for parallel implementation of non-deterministic languages and systems Software - Practice and Experience. 31: 1143-1181. DOI: 10.1002/Spe.405  0.425
2001 Pontelli E, El-Khatib O. Construction and optimization of a parallel engine for answer set programming Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1990: 288-303.  0.772
2001 Villaverde K, Pontelli E, Guo H, Gupta G. PALS: An or-parallel implementation of Prolog on Beowulf architectures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2237: 27-42.  0.718
2000 Dovier A, Piazza C, Pontelli E, Rossi G. Sets and Constraint Logic Programming Acm Transactions On Programming Languages and Systems. 22: 861-931. DOI: 10.1145/365151.365169  0.43
2000 Pontelli E. Parallel and distributed execution of constraint programs Acm Sigsoft Software Engineering Notes. 25: 71-72. DOI: 10.1145/340855.340992  0.475
2000 Dovier A, Pontelli E, Rossi G. Necessary condition for Constructive Negation in Constraint Logic Programming Information Processing Letters. 74: 147-156. DOI: 10.1016/S0020-0190(00)00046-6  0.379
2000 Ranjan D, Pontelli E, Gupta G. Data structures for order-sensitive predicates in parallel nondeterministic systems Acta Informatica. 37: 21-43.  0.35
1999 Ranjan D, Pontelli E, Gupta G. On the complexity of or-parallelism New Generation Computing. 17: 285-307. DOI: 10.1007/Bf03037223  0.386
1998 Pontelli E. Parallelism and implementation technology for (constraint) logic programming Acm Sigplan Notices. 33: 15-17. DOI: 10.1145/274930.274931  0.403
1998 Pontelli E, Ranjan D, Gupta G. The complexity of late-binding in dynamic object-oriented languages Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1490: 213-229. DOI: 10.1007/Bfb0056616  0.334
1997 Pontelli E, Gupta G. Parallel symbolic computation in ACE Annals of Mathematics and Artificial Intelligence. 21: 359-395. DOI: 10.1023/A:1018929805694  0.425
1997 Pontelli E, Ranjan D, Gupta G. On the complexity of parallel implementation of logic programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1346: 123-137.  0.344
1997 Pontelli E, Gupta G. Parallel symbolic computation in ACE Annals of Mathematics and Artificial Intelligence. 21: 359-395.  0.322
1996 Pontelli E, Gupta G, Tang D, Carro M, Hermenegildo MV. Improving the efficiency of nondeterministic independent and-parallel systems Computer Languages. 22: 115-142. DOI: 10.1016/S0096-0551(96)00010-0  0.388
1996 Dovier A, Omodeo EG, Pontelli E, Rossi G. {log}: A language for programming in logic with finite sets The Journal of Logic Programming. 28: 1-44. DOI: 10.1016/0743-1066(95)00147-6  0.387
1995 Pontelli E, Gupta G. On the duality between or-parallelism and and-parallelism in logic programming Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 966: 43-54.  0.353
Show low-probability matches.