Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Enrico Pontelli
2010 – today
- 2013
[j60]Arlin Stoltzfus, Hilmar Lapp, Naim Matasci, Helena F. Deus, Brian Sidlauskas, Christian M. Zmasek, Gaurav Vaidya, Enrico Pontelli, Karen Cranston, Rutger A. Vos, Campbell O. Webb, Luke J. Harmon, Megan Pirrung, Brian O'Meara, Matthew W. Pennell, Siavash Mirarab, Michael S. Rosenberg, James P. Balhoff, Holly M. Bik, Tracy A. Heath, Peter E. Midford, Joseph W. Brown, Emily Jane McTavish, Jeet Sukumaran, Mark Westneat, Michael E. Alfaro, Aaron Steele, Greg Jordan: Phylotastic! Making tree-of-life knowledge accessible, reusable and convenient. BMC Bioinformatics 14: 158 (2013)- [j59]Vien Tran, Khoi Nguyen, Tran Cao Son, Enrico Pontelli: A conformant planner based on approximation: CpA(H). ACM TIST 4(2): 36 (2013)
- [j58]Agostino Dovier, Andrea Formisano, Enrico Pontelli: Autonomous agents coordination: Action languages meet CLP() and Linda. TPLP 13(2): 149-173 (2013)
- [j57]Iyad Abu Doush, Enrico Pontelli: Non-visual navigation of spreadsheets - Enhancing accessibility of Microsoft Excel™. Universal Access in the Information Society 12(2): 143-159 (2013)
- [c152]Muhanad S. Manshad, Enrico Pontelli, Shakir J. Manshad: Exploring tangible collaborative distance learning environments for the blind and visually impaired. CHI Extended Abstracts 2013: 55-60
- [c151]Sarah Hug, Josh Sandry, Ryan Vordermann, Enrico Pontelli, Ben Wright: DISSECT: integrating computational thinking in the traditional K-12 curricula through collaborative teaching (abstract only). SIGCSE 2013: 742
- 2012
- [c150]Hoang-Khoi Nguyen, Dang-Vien Tran, Tran Cao Son, Enrico Pontelli: On Computing Conformant Plans Using Classical Planners: A Generate-And-Complete Approach. ICAPS 2012
- [c149]Nancy Alajarmeh, Enrico Pontelli: E-Arithmetic: non-visual arithmetic manipulation for students with impaired vision. ASSETS 2012: 269-270
- [c148]Enrico Pontelli, Tran Cao Son, Chitta Baral, Gregory Gelfond: Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains. Correct Reasoning 2012: 509-526
- [c147]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli: Exploiting Unexploited Computing Resources for Computational Logics. CILC 2012: 74-88
- [c146]Ben Wright, Enrico Pontelli, Tran Cao Son: Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning. CLIMA 2012: 163-180
- [c145]Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli: A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints. CP 2012: 850-866
- [c144]Nancy Alajarmeh, Enrico Pontelli: A Non-visual Electronic Workspace for Learning Algebra. ICCHP (1) 2012: 158-165
- [c143]Muhanad S. Manshad, Enrico Pontelli, Shakir J. Manshad: Trackable Interactive Multimodal Manipulatives: Towards a Tangible User Environment for the Blind. ICCHP (2) 2012: 664-671
- [c142]Tiep Le, Hieu Nguyen, Enrico Pontelli, Tran Cao Son: ASP at Work: An ASP Implementation of PhyloWS. ICLP (Technical Communications) 2012: 359-369
- 2011
- [j56]Brandon Chisham, Ben Wright, Trung Le, Tran Cao Son, Enrico Pontelli: CDAO-Store: Ontology-driven Data Integration for Phylogenetic Analysis. BMC Bioinformatics 12: 98 (2011)
- [j55]Maria Garcia de la Banda, Enrico Pontelli: Introduction to the 24th international conference on logic programming special issue. TPLP 11(2-3): 131-133 (2011)
- [c141]Hoang-Khoi Nguyen, Dang-Vien Tran, Tran Cao Son, Enrico Pontelli: On Improving Conformant Planners by Analyzing Domain-Structures. AAAI 2011
- [c140]Son Thanh To, Tran Cao Son, Enrico Pontelli: Conjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF Formula. AAAI 2011
- [c139]Son Thanh To, Tran Cao Son, Enrico Pontelli: On the Effectiveness of Belief State Representation in Contingent Planning. AAAI 2011
- [c138]Tran Cao Son, Enrico Pontelli, Chiaki Sakama: An Experiment in Formalizing Commitments Using Action Languages. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011
- [c137]Son Thanh To, Tran Cao Son, Enrico Pontelli: Contingent Planning as AND/OR Forward Search with Disjunctive Representation. ICAPS 2011
- [c136]Muhanad S. Manshad, Enrico Pontelli, Shakir J. Manshad: MICOO (multimodal interactive cubes for object orientation): a tangible user interface for the blind and visually impaired. ASSETS 2011: 261-262
- [c135]Agostino Dovier, Andrea Formisano, Enrico Pontelli: Perspectives on Logic-Based Approaches for Reasoning about Actions and Change. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 259-279
- [c134]Tran Cao Son, Enrico Pontelli, Chiaki Sakama: Formalizing Commitments Using Action Languages. DALT 2011: 67-83
- [c133]Nancy Alajarmeh, Enrico Pontelli, Tran Cao Son: From "Reading" Math to "Doing" Math: A New Direction in Non-visual Math Accessibility. HCI (8) 2011: 501-510
- [c132]Agostino Dovier, Andrea Formisano, Enrico Pontelli: BAAC: A Prolog System for Action Description and Agents Coordination. ICLP (Technical Communications) 2011: 187-197
- [c131]Brandon Chisham, Enrico Pontelli, Tran Cao Son, Ben Wright: CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services. ICLP (Technical Communications) 2011: 209-219
- [c130]Chiaki Sakama, Tran Cao Son, Enrico Pontelli: A Logical Formulation for Negotiation among Dishonest Agents. IJCAI 2011: 1069-1074
- [c129]Son Thanh To, Enrico Pontelli, Tran Cao Son: On the Effectiveness of CNF and DNF Representations in Contingent Planning. IJCAI 2011: 2033-2038
- [c128]Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli: Exploring Protein Fragment Assembly Using CLP. IJCAI 2011: 2590-2595
- [c127]Ngoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli, Chiaki Sakama: ASP-Prolog for Negotiation among Dishonest Agents. LPNMR 2011: 331-344
- [i12]Agostino Dovier, Andrea Formisano, Enrico Pontelli: Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda. CoRR abs/1110.0624 (2011)
- [i11]Enrico Pontelli, Tran Cao Son, Phan Huy Tu: Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. CoRR abs/1110.2205 (2011)
- [i10]
- 2010
- [j54]Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski: Logic programs with abstract constraint atoms: The role of computations. Artif. Intell. 174(3-4): 295-315 (2010)
- [j53]Enrico Pontelli, Hung Viet Le, Tran Cao Son: An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling. Computer Languages, Systems & Structures 36(2): 158-202 (2010)
- [j52]Agostino Dovier, Andrea Formisano, Enrico Pontelli: An Investigation of Multi-Agent Planning in CLP. Fundam. Inform. 105(1-2): 79-103 (2010)
- [j51]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli: Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal lattices. IJDMB 4(1): 1-20 (2010)
- [j50]Iyad Abu Doush, Enrico Pontelli, Tran Cao Son, Dominic Simon, Ou Ma: Multimodal Presentation of Two-Dimensional Charts: An Investigation Using Open Office XML and Microsoft Excel. TACCESS 3(2): 8 (2010)
- [j49]Agostino Dovier, Andrea Formisano, Enrico Pontelli: Multivalued action languages with constraints in CLP(FD). TPLP 10(2): 167-235 (2010)
- [j48]Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son: Logic programming for finding models in the logics of knowledge and its applications: A case study. TPLP 10(4-6): 675-690 (2010)
- [j47]Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli: CLP-based protein fragment assembly. TPLP 10(4-6): 709-724 (2010)
- [c126]Son Thanh To, Tran Cao Son, Enrico Pontelli: On the Use of Prime Implicates in Conformant Planning. AAAI 2010
- [c125]Son Thanh To, Tran Cao Son, Enrico Pontelli: A New Approach to Conformant Planning Using CNF*. ICAPS 2010: 169-176
- [c124]Chitta Baral, Gregory Gelfond, Tran Cao Son, Enrico Pontelli: Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge. AAMAS 2010: 259-266
- [c123]Agostino Dovier, Andrea Formisano, Enrico Pontelli: Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda. CILC 2010
- [c122]Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli: CLP-based Protein Fragment Assembly. CILC 2010
- [c121]Iyad Abu Doush, Enrico Pontelli: Detecting and recognizing tables in spreadsheets. Document Analysis Systems 2010: 471-478
- [c120]Iyad Abu Doush, Enrico Pontelli: Non-visual Navigation of Spreadsheet Tables. ICCHP (1) 2010: 108-115
- [c119]Iyad Abu Doush, Enrico Pontelli: Integrating Semantic Web and Folksonomies to Improve E-Learning Accessibility. ICCHP (1) 2010: 376-383
- [c118]
- [p1]Yu Pan, Enrico Pontelli, Tran Cao Son: BSIS: An Experiment in Automating Bioinformatics Tasks Through Intelligent Workflow Construction. Semantic e-Science 2010: 189-238
- [e6]Agostino Dovier, Enrico Pontelli (Eds.): A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP. Lecture Notes in Computer Science 6125, Springer 2010, ISBN 978-3-642-14308-3
- [e5]Leaf Petersen, Enrico Pontelli (Eds.): Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, DAMP 2010, Madrid, Spain, January 19, 2010. ACM 2010, ISBN 978-1-60558-859-9
- [i9]Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son: Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study. CoRR abs/1007.3700 (2010)
- [i8]Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli: CLP-based protein fragment assembly. CoRR abs/1007.5180 (2010)
2000 – 2009
- 2009
- [j46]Phan Huy Tu, Enrico Pontelli, Tran Cao Son, Son Thanh To: Applications of parallel processing technologies in heuristic search planning: methodologies and experiments. Concurrency and Computation: Practice and Experience 21(15): 1928-1960 (2009)
- [j45]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: GASP: Answer Set Programming with Lazy Grounding. Fundam. Inform. 96(3): 297-322 (2009)
- [j44]Agostino Dovier, Andrea Formisano, Enrico Pontelli: An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems. J. Exp. Theor. Artif. Intell. 21(2): 79-121 (2009)
- [j43]Giuliano Grossi, Massimo Marchi, Enrico Pontelli, Alessandro Provetti: Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures. J. Log. Comput. 19(4): 697-715 (2009)
- [j42]Enrico Pontelli, Tran Cao Son, Omar El-Khatib: Justifications for logic programs under answer set semantics. TPLP 9(1): 1-56 (2009)
- [c117]Son Thanh To, Enrico Pontelli, Tran Cao Son: A Conformant Planner with Explicit Disjunctive Representation of Belief States. ICAPS 2009
- [c116]Iyad Abu Doush, Enrico Pontelli, Dominic Simon, Tran Cao Son, Ou Ma: Making Microsoft ExcelTM: multimodal presentation of charts. ASSETS 2009: 147-154
- [c115]Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen: Planning for Multiagent Using ASP-Prolog. CLIMA 2009: 1-21
- [c114]Chitta Baral, Tran Cao Son, Enrico Pontelli: Reasoning about Multi-agent Domains Using Action Language C\mathcal{C}: A Preliminary Study. CLIMA 2009: 46-63
- [c113]Iyad Abu Doush, Enrico Pontelli: Building a Programmable Architecture for Non-visual Navigation of Mathematics: Using Rules for Guiding Presentation and Switching between Modalities. HCI (7) 2009: 3-13
- [c112]Tran Cao Son, Enrico Pontelli, Chiaki Sakama: Logic Programming for Multiagent Planning with Negotiation. ICLP 2009: 99-114
- [c111]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: Answer Set Programming with Constraints Using Lazy Grounding. ICLP 2009: 115-129
- [c110]Chitta Baral, Tran Cao Son, Enrico Pontelli: Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using . LPNMR 2009: 409-415
- [c109]Agostino Dovier, Andrea Formisano, Enrico Pontelli: Representing Multi-agent Planning in CLP. LPNMR 2009: 423-429
- [c108]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli: Logic Programming Techniques in Protein Structure Determination: Methodologies and Results. LPNMR 2009: 560-566
- [c107]Agostino Dovier, Enrico Pontelli: Present and Future Challenges for ASP Systems. LPNMR 2009: 622-624
- [c106]Dang-Vien Tran, Hoang-Khoi Nguyen, Enrico Pontelli, Tran Cao Son: Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications. PADL 2009: 239-253
- [c105]Inna Pivkina, Enrico Pontelli, Rachel Jensen, Jessica Haebe: Young women in computing: lessons learned from an educational & outreach program. SIGCSE 2009: 509-513
- [i7]Agostino Dovier, Andrea Formisano, Enrico Pontelli: Multi-valued Action Languages in CLP(FD). CoRR abs/0912.2846 (2009)
- 2008
- [c104]Piero A. Bonatti, Enrico Pontelli, Tran Cao Son: Credulous Resolution for Answer Set Programming. AAAI 2008: 418-423
- [c103]Tran Cao Son, Enrico Pontelli, Son Thanh To: Some Results on the Completeness of Approximation Based Reasoning. AAAI Spring Symposium: Emotion, Personality, and Social Behavior 2008: 61-66
- [c102]Tran Cao Son, Enrico Pontelli: Some Results on the Completeness of Approximation Based Reasoning. PRICAI 2008: 358-369
- [e4]Maria Garcia de la Banda, Enrico Pontelli (Eds.): Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings. Lecture Notes in Computer Science 5366, Springer 2008, ISBN 978-3-540-89981-5
- [i6]Enrico Pontelli, Tran Cao Son, Omar El-Khatib: Justifications for Logic Programs under Answer Set Semantics. CoRR abs/0812.0790 (2008)
- 2007
- [j41]Emad Saad, Enrico Pontelli: A new approach to hybrid probabilistic logic programs. Ann. Math. Artif. Intell. 50(3-4): 417-418 (2007)
- [j40]Alessandro Dal Palù, Enrico Pontelli, Jing He, Yonggang Lu: A Constraint Logic Programming approach to associate 1D and 3D structural components for large protein complexes. IJDMB 1(4): 352-371 (2007)
- [j39]Tran Cao Son, Enrico Pontelli, Phan Huy Tu: Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. J. Artif. Intell. Res. (JAIR) 29: 353-389 (2007)
- [j38]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli: A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction. Softw., Pract. Exper. 37(13): 1405-1449 (2007)
- [j37]Tran Cao Son, Enrico Pontelli: A Constructive semantic characterization of aggregates in answer set programming. TPLP 7(3): 355-375 (2007)
- [j36]Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta: PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters. TPLP 7(6): 633-695 (2007)
- [c101]Agostino Dovier, Andrea Formisano, Enrico Pontelli: An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. AAAI 2007: 1622-1625
- [c100]Agostino Dovier, Andrea Formisano, Enrico Pontelli: Multivalued Action Languages with Constraints in CLP(FD). ICLP 2007: 255-270
- [c99]Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski: Logic Programs with Abstract Constraint Atoms: The Role of Computations. ICLP 2007: 286-301
- [c98]
- [c97]Phan Huy Tu, Tran Cao Son, Enrico Pontelli: CPP: A Constraint Logic Programming Based Planner with Preferences. LPNMR 2007: 290-296
- [c96]Chongbing Liu, Enrico Pontelli: Inductive Logic Programming by Instance Patterns. PADL 2007: 230-244
- [c95]Chongbing Liu, Enrico Pontelli: Nonmonotonic inductive logic programming by instance patterns. PPDP 2007: 187-196
- [c94]Hung Viet Le, Enrico Pontelli: Dynamic scheduling in parallel answer set programming solvers. SpringSim (2) 2007: 367-374
- [e3]Enrico Pontelli, Shari Trewin (Eds.): Proceedings of the 9th International ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2007, Tempe, Arizona, USA, October 15-17, 2007. ACM 2007, ISBN 978-1-59593-573-1
- 2006
- [j35]Emad Saad, Enrico Pontelli: A new approach to hybrid probabilistic logic programs. Ann. Math. Artif. Intell. 48(3-4): 187-243 (2006)
- [j34]
- [j33]Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta: Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms. J. Parallel Distrib. Comput. 66(10): 1267-1293 (2006)
- [j32]Alessandro Dal Palù, Enrico Pontelli, Desh Ranjan: Sequential and parallel algorithms for the NCA problem on pure pointer machines. Theor. Comput. Sci. 352(1-3): 108-135 (2006)
- [j31]Tran Cao Son, Enrico Pontelli: Planning with preferences using logic programming. TPLP 6(5): 559-607 (2006)
- [j30]
- [c93]Tran Cao Son, Enrico Pontelli, Phan Huy Tu: Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. AAAI 2006: 129-134
- [c92]Omar El-Khatib, Enrico Pontelli, Tran Cao Son: A Tool for Knowledge Base Integration and Querying. AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering 2006: 16-21
- [c91]Enrico Pontelli, Tran Cao Son: Justifications for Logic Programs Under Answer Set Semantics. ICLP 2006: 196-210
- [c90]Emad Saad, Enrico Pontelli: Non-monotonic Negation in Hybrid Probabilistic Logic Programs. ISAIM 2006
- [c89]Enrico Pontelli, Tran Cao Son, Chitta Baral: A Framework for Composition and Inter-operation of Rules in the Semantic Web. RuleML 2006: 39-50
- [c88]Alessandro Dal Palù, Enrico Pontelli, Jing He, Yonggang Lu: A constraint logic programming approach to 3D structure determination of large protein complexes. SAC 2006: 131-136
- [i5]Tran Cao Son, Enrico Pontelli: A Constructive Semantic Characterization of Aggregates in ASP. CoRR abs/cs/0601051 (2006)
- [i4]Tran Cao Son, Enrico Pontelli, Islam Elkabani: An Unfolding-Based Semantics for Logic Programming with Aggregates. CoRR abs/cs/0605038 (2006)
- [i3]Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta: PALS: Efficient Or-Parallelism on Beowulf Clusters. CoRR abs/cs/0607040 (2006)
- 2005
- [j29]Enrico Pontelli, Desh Ranjan: A Simple Optimal Solution for the Temporal Precedence Problem on Pure Pointer Machines. Theory Comput. Syst. 38(1): 115-130 (2005)
- [j28]Marcello Balduccini, Enrico Pontelli, Omar El-Khatib, Hung Le: Issues in parallel execution of non-monotonic reasoning systems. Parallel Computing 31(6): 608-647 (2005)
- [c87]Omar El-Khatib, Enrico Pontelli, Tran Cao Son: Justification and debugging of answer set programs in ASP. AADEBUG 2005: 49-58
- [c86]Hung Viet Le, Enrico Pontelli: An Investigation of Sharing Strategies for Answer Set Solvers and SAT Solvers. Euro-Par 2005: 750-760
- [c85]Agostino Dovier, Andrea Formisano, Enrico Pontelli: A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems. ICLP 2005: 67-82
- [c84]
- [c83]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli: A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem. LPAR 2005: 48-63
- [c82]Yao Wu, Enrico Pontelli, Desh Ranjan: Computational Issues in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees. LPAR 2005: 79-94
- [c81]Omar El-Khatib, Enrico Pontelli, Tran Cao Son: Integrating an Answer Set Solver into Prolog: ASP-PROLOG. LPNMR 2005: 399-404
- [c80]Islam Elkabani, Enrico Pontelli, Tran Cao Son: SmodelsA - A System for Computing Answer Sets of Logic Programs with Aggregates. LPNMR 2005: 427-431
- [c79]
- [c78]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli: Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD). PPDP 2005: 230-241
- [e2]Andrew Sears, Enrico Pontelli (Eds.): Proceedings of the ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2005, Baltimore, MD, USA, October 9-12, 2005. ACM 2005, ISBN 1-59593-159-7
- [i2]Tran Cao Son, Enrico Pontelli: Planning with Preferences using Logic Programming. CoRR abs/cs/0508132 (2005)
- 2004
- [j27]Tran Cao Son, Enrico Pontelli: Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory. Computational Intelligence 20(2): 358-404 (2004)
- [j26]Agostino Dovier, Carla Piazza, Enrico Pontelli: Disunification in ACI1 Theories. Constraints 9(1): 35-91 (2004)
- [j25]Enrico Pontelli, Tran Cao Son, Keshav Reddy Kottapally, Co Thai Ngo, Ravikumar Reddy Kotthuru, Douglas J. Gillan: A system for automatic structure discovery and reasoning-based navigation of the web. Interacting with Computers 16(3): 451-475 (2004)
- [c77]Karen Villaverde, Enrico Pontelli: An Investigation of Scheduling in Distributed Constraint Logic Programming. ISCA PDCS 2004: 98-103
- [c76]Arthur I. Karshmer, Gopal Gupta, Enrico Pontelli, Klaus Miesenberger, N. Ammalai, Deepa Gopal, Mario Batusic, Bernhard Stöger, B. Palmer, Hai-Feng Guo: UMA: a system for universal mathematics accessibility. ASSETS 2004: 55-62
- [c75]Inna Pivkina, Enrico Pontelli, Tran Cao Son: Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences. CLIMA 2004: 134-158
- [c74]Yu Pan, Phan Huy Tu, Enrico Pontelli, Tran Cao Son: Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report. DALT 2004: 92-111
- [c73]Enrico Pontelli, Ravikumar Reddy Kotthuru: Discovering Structure of Web Pages for Non-visual Navigation: Binding Text to Forms. ICCHP 2004: 361-368
- [c72]Enrico Pontelli, B. Palmer: Translating between Formats for Mathematics: Current Approach and an Agenda for Future Developments. ICCHP 2004: 620-625
- [c71]Dominique Archambault, Donal Fitzpatrick, Gopal Gupta, Arthur I. Karshmer, Klaus Miesenberger, Enrico Pontelli: Towards a Universal Maths Conversion Library. ICCHP 2004: 664-669
- [c70]Islam Elkabani, Enrico Pontelli, Tran Cao Son: Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP. ICLP 2004: 73-89
- [c69]Jing He, Yonggang Lu, Enrico Pontelli: A Parallel Algorithm for Helix Mapping Between 3D and 1D Protein Structure Using the Length Constraints. ISPA 2004: 746-756
- [c68]Tran Cao Son, Enrico Pontelli: Planning with Preferences Using Logic Programming. LPNMR 2004: 247-260
- [c67]Enrico Pontelli, Tran Cao Son, Islam Elkabani: Smodels with CLP?A Treatment of Aggregates in ASP. LPNMR 2004: 356-360
- [c66]Omar El-Khatib, Enrico Pontelli, Tran Cao Son: ASP-PROLOG: a system for reasoning about answer set programs in prolog. NMR 2004: 155-163
- [c65]Omar El-Khatib, Enrico Pontelli, Tran Cao Son: ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. PADL 2004: 148-162
- 2003
- [j24]Enrico Pontelli, Tran Cao Son: Designing intelligent agents to support universal accessibility of E-commerce services. Electronic Commerce Research and Applications 2(2): 147-161 (2003)
- [j23]Desh Ranjan, Enrico Pontelli: The Level-Ancestor problem on Pure Pointer Machines. Inf. Process. Lett. 85(5): 275-283 (2003)
- [c64]Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: Intensional Sets in CLP. APPIA-GULP-PRODE 2003: 36-49
- [c63]Tran Cao Son, Enrico Pontelli, Desh Ranjan, Brook Milligan, Gopal Gupta: An Agent-based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology. DALT 2003: 76-96
- [c62]Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta: A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms. Euro-Par 2003: 694-703
- [c61]
- [c60]Yao Wu, Enrico Pontelli, Desh Ranjan: On the Complexity of Dependent And-Parallelism in Logic Programming. ICLP 2003: 361-376
- [c59]
- [c58]Enrico Pontelli, Marcello Balduccini, F. Bermudez: Non-monotonic Reasoning on Beowulf Platforms. PADL 2003: 37-57
- [c57]Enrico Pontelli, Tran Cao Son, Yu Pan, T. Phan: Developing Agents for Bioinformatics Applications: A Preliminary Design. PDPTA 2003: 1005-1011
- [c56]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: Integrating finite domain constraints and CLP with sets. PPDP 2003: 219-229
- 2002
- [j22]Enrico Pontelli, Desh Ranjan, Alessandro Dal Palù: An optimal data structure to handle dynamic environments in non-deterministic computations. Comput. Lang. 28(2): 181-201 (2002)
- [j21]Enrico Pontelli, Douglas J. Gillan, Gopal Gupta, Arthur I. Karshmer, Emad Saad, W. Xiong: Intelligent non-visual navigation of complex HTML structures. Universal Access in the Information Society 2(1): 56-69 (2002)
- [c55]Enrico Pontelli, Douglas J. Gillan, W. Xiong, Emad Saad, Gopal Gupta, Arthur I. Karshmer: Navigation of HTML tables, frames, and XML fragments. ASSETS 2002: 25-32
- [c54]Enrico Pontelli, Tran Cao Son: Planning, reasoning, and agents for non-visual navigation of tables and frames. ASSETS 2002: 73-80
- [c53]Gopal Gupta, Enrico Pontelli: Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach. Computational Logic: Logic Programming and Beyond 2002: 211-239
- [c52]Enrico Pontelli, Desh Ranjan, Brook Milligan, Gopal Gupta: F-LOG: A Domain Specific Language for Solving Phylogenetic Inference Problems. CSB 2002: 9-20
- [c51]Enrico Pontelli, Tran Cao Son: Designing Intelligent Agents to Support Universal Accessibility. International Conference on Internet Computing 2002: 726-732
- [c50]Alessandro Dal Palù, Enrico Pontelli, Desh Ranjan: An Efficient Parallel Pointer Machine Algorithm for the NCA Problem. IFIP TCS 2002: 157-168
- [c49]Tran Cao Son, Enrico Pontelli: Reasoning about Actions in Prioritized Default Theory. JELIA 2002: 369-381
- [c48]
- [c47]Gopal Gupta, Hai-Feng Guo, Arthur I. Karshmer, Enrico Pontelli, Juan Raymundo Iglesias, Desh Ranjan, Brook Milligan, Nayana Datta, Omar El-Khatib, Mohammed Noamany, Xinhong Zhou: Semantics-Based Filtering: Logic Programming's Killer App? PADL 2002: 82-100
- [c46]Alessandro Dal Palù, Enrico Pontelli, Desh Ranjan: An Optimal Algorithm for Finding NCA on Pure Pointer Machines. SWAT 2002: 428-438
- 2001
- [j20]Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: Constructive Negation and Constraint Logic Programming with Sets. New Generation Comput. 19(3): 209-256 (2001)
- [j19]Gopal Gupta, Enrico Pontelli: Optimization schemas for parallel implementation of non-deterministic languages and systems. Softw., Pract. Exper. 31(12): 1143-1181 (2001)
- [j18]Gopal Gupta, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, Manuel V. Hermenegildo: Parallel execution of prolog programs: a survey. ACM Trans. Program. Lang. Syst. 23(4): 472-602 (2001)
- [j17]Enrico Pontelli, Gopal Gupta: Backtracking in Independent And-Parallel Implementations of Logic Programming Languages. IEEE Trans. Parallel Distrib. Syst. 12(11): 1169-1189 (2001)
- [c45]Enrico Pontelli, Omar El-Khatib: Exploiting Vertical Parallelism from Answer Set Programs. Answer Set Programming 2001
- [c44]Arthur I. Karshmer, Gopal Gupta, Klaus Miesenberger, Enrico Pontelli, Hai-Feng Guo: The development of a tool to enhance communications between blind and sighted mathematicians, students and teachers: a global translation appliance. HCI 2001: 929-933
- [c43]Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta: PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. ICLP 2001: 27-42
- [c42]Karen Villaverde, Hai-Feng Guo, Enrico Pontelli, Gopal Gupta: Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-Based AI Systems. ICPP 2001: 287-294
- [c41]
- [c40]Juan Raymundo Iglesias, Gopal Gupta, Enrico Pontelli, Desh Ranjan, Brook Milligan: Interoperability between Bioinformatics Tools: A Logic Programming Approach. PADL 2001: 153-168
- [c39]Enrico Pontelli, Omar El-Khatib: Construction and Optimization of a Parallel Engine for Answer Set Programming. PADL 2001: 288-303
- [i1]
- 2000
- [j16]Desh Ranjan, Enrico Pontelli, Gopal Gupta: Data structures for order-sensitive predicates in parallel nondeterministic systems. Acta Inf. 37(1): 21-43 (2000)
- [j15]Desh Ranjan, Enrico Pontelli, Gopal Gupta, Luc Longpré: The Temporal Precedence Problem. Algorithmica 28(3): 288-306 (2000)
- [j14]Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: A necessary condition for Constructive Negation in Constraint Logic Programming. Inf. Process. Lett. 74(3-4): 147-156 (2000)
- [j13]Enrico Pontelli, Vítor Santos Costa: PADL '00: Workshop on Practical Aspects of Declarative Languages. SIGPLAN Notices 35(3): 16-17 (2000)
- [j12]Enrico Pontelli: Parallel and distributed execution of constraint programs. ACM SIGSOFT Software Engineering Notes 25(1): 71-72 (2000)
- [j11]Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi: Sets and constraint logic programming. ACM Trans. Program. Lang. Syst. 22(5): 861-931 (2000)
- [c38]Enrico Pontelli, W. Xiong, Gopal Gupta, Arthur I. Karshmer: A domain specific language framework for non-visual browsing of complex HTML structures. ASSETS 2000: 180-187
- [c37]
- [e1]Enrico Pontelli, Vítor Santos Costa (Eds.): Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings. Lecture Notes in Computer Science 1753, Springer 2000, ISBN 3-540-66992-2
1990 – 1999
- 1999
- [j10]Enrico Pontelli, Gopal Gupta: Extended Dynamic Dependent And-Parallelism in ACE. Journal of Functional and Logic Programming 1999(Special Issue 1) (1999)
- [j9]Enrico Pontelli, Desh Ranjan, Gopal Gupta: Complexity Analysis of Late Binding in Dynamic Object-Oriented Languages. Journal of Functional and Logic Programming 1999(Special Issue 2) (1999)
- [j8]Desh Ranjan, Enrico Pontelli, Gopal Gupta: On the Complexity of Or-Parallelism. New Generation Comput. 17(3): 285-307 (1999)
- [j7]Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk: Preface. Electr. Notes Theor. Comput. Sci. 30(3): 1-2 (1999)
- [c36]Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi: ACI1 constraints. APPIA-GULP-PRODE 1999: 305-320
- [c35]Arthur I. Karshmer, Enrico Pontelli, Gopal Gupta: Software technology and computer interfaces for the disabled: non-visual WWW browsing. HCI (2) 1999: 792-796
- [c34]Gopal Gupta, Enrico Pontelli: Stack-splitting: Or-/And-parallelism on Distributed Memory Machines. ICLP 1999: 290-304
- [c33]Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi: ACI1 Constraints. ICLP 1999: 573-587
- [c32]Gopal Gupta, Enrico Pontelli: Efficient Techniques for Distributed Implementation of Search-Based AI Systems. ICPP 1999: 319-
- 1998
- [j6]Desh Ranjan, Enrico Pontelli, Gopal Gupta: Efficient Algorithms for the Temporal Precedence Problem. Inf. Process. Lett. 68(2): 71-81 (1998)
- [j5]Enrico Pontelli: Parallelism and Implementation Technology for (Constraint) Logic Programming. SIGPLAN Notices 33(2): 15-17 (1998)
- [j4]Enrico Pontelli: Programming with {SETS} - An International Forum of Discussion. SIGPLAN Notices 33(8): 16 (1998)
- [c31]Enrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell: Natural Language Multiprocessing: A Case Study. AAAI/IAAI 1998: 76-82
- [c30]Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli: On the Representation and Management of Finite Sets in CLP Languages. IJCSLP 1998: 40-54
- [c29]Enrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell: Natural Language Multiprocessing: A Case Study. Implementation Technology for Programming Languages based on Logic 1998: 101-112
- [c28]Enrico Pontelli, Gopal Gupta: Efficient Backtracking in And-Parallel Implementations of Non-deterministic Languages. ICPP 1998: 338-345
- [c27]Gopal Gupta, Enrico Pontelli, Amado Lara-Rodríguez, Roberto Felix-Cardenas: Automatic Generation of Provably Correct Parallelizing Compilers. ICPP 1998: 579-586
- [c26]Enrico Pontelli, Desh Ranjan, Gopal Gupta: The Complexity of Late-Binding in Dynamic Object-Oriented Languages. PLILP/ALP 1998: 213-229
- 1997
- [j3]Enrico Pontelli, Gopal Gupta: Parallel Symbolic Computation in ACE. Ann. Math. Artif. Intell. 21(2-4): 359-395 (1997)
- [c25]Gopal Gupta, Enrico Pontelli: High Performance Parallel Logic Programming: The ACE Parallel Prolog System. APPIA-GULP-PRODE 1997: 25-32
- [c24]
- [c23]Enrico Pontelli, Desh Ranjan, Gopal Gupta: On the Complexity of Parallel Implementation of Logic Programs. FSTTCS 1997: 123-137
- [c22]Enrico Pontelli, Gopal Gupta, Francesco Pulvirenti, Alfredo Ferro: Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism. ICLP 1997: 108-122
- [c21]Enrico Pontelli, Gopal Gupta: Implementation Mechanisms for Dependent And-Parallelism. ICLP 1997: 123-137
- [c20]Rick Vaupel, Enrico Pontelli, Gopal Gupta: Visualization of And/Or-Parallel Execution of Logic Programs. ICLP 1997: 271-285
- [c19]Enrico Pontelli, Gopal Gupta: W-ACE: A Logic Language for Intelligent Internet Programming. ICTAI 1997: 2-10
- [c18]Gopal Gupta, Enrico Pontelli: Optimization Schemas for Parallel Implementation of Nondeterministic Languages and Systems. IPPS 1997: 428-435
- [c17]Rick Vaupel, Enrico Pontelli, Gopal Gupta: VACE: A Tool for Visualization of And-Or Parallel Execution. LPE 1997: 51-54
- [c16]Gopal Gupta, Enrico Pontelli: A constraint-based approach for specification and verification of real-time systems. RTSS 1997: 230-239
- 1996
- [j2]Enrico Pontelli, Gopal Gupta, Dongxing Tang, Manuel Carro, Manuel V. Hermenegildo: Improving the Efficiency of Nondeterministic Independent and-Parallel Systems. Comput. Lang. 22(2/3): 115-142 (1996)
- [j1]Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi: A Language for Programming in Logic with Finite Sets. J. Log. Program. 28(1): 1-44 (1996)
- [c15]Enrico Pontelli, Gopal Gupta: Dependent And-Parallelism Revisited (Poster Abstract). JICSLP 1996: 542
- [c14]
- 1995
- [c13]Enrico Pontelli, Gopal Gupta: On the Duality Between Or-parallelism and And-parallelism in Logic Programming. Euro-Par 1995: 43-54
- [c12]Enrico Pontelli, Gopal Gupta, Dongxing Tang: Determinacy Driven Optimizations of And-Parallel Prolog Implementations. ICLP 1995: 615-629
- [c11]Gopal Gupta, Vítor Santos Costa, Enrico Pontelli: Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming. ICLP 1995: 824
- [c10]Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo: &ACE: a high-performance parallel Prolog system. IPPS 1995: 564-571
- 1994
- [c9]Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo: &ACE: the And-parallel Component of ACE (A Progress Report on ACE). ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs 1994: 65-78
- [c8]Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Vítor Santos Costa: ACE: And/Or-parallel Copying-based Execution of Logic Programs. ICLP 1994: 93-109
- [c7]Tang Dong Xing, Enrico Pontelli, Gopal Gupta, Manuel Carro: Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs 1994: 93-106
- [c6]Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: Compiling Intensional Sets in CLP. ICLP 1994: 647-661
- [c5]Enrico Pontelli, Gopal Gupta, Dongxing Tang: Determinancy Driven Optimization of Parallel Prolog Implementations. Workshop on Design and Impl. of Parallel Logic Programming Systems 1994: 54-71
- [c4]Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro: Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. SLP 1994: 683-684
- 1993
- [c3]Agostino Dovier, Enrico Pontelli: A WAM-Based Implementation of a Logical Language with Sets. PLILP 1993: 275-290
- 1992
- [c2]Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi: Embedding Finite Sets in a Logic Programming Language. ELP 1992: 150-167
- 1991
- [c1]Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi: {log}: A Logic Programming Language with Finite Sets. ICLP 1991: 111-124
Coauthor Index
[j36] [j33] [i3] [c76] [c71] [c63] [c62] [j21] [c55] [c53] [c52] [c47] [j19] [j18] [j17] [c44] [c43] [c42] [c40] [j16] [j15] [c38] [j10] [j9] [j8] [j7] [c35] [c34] [c32] [j6] [c31] [c29] [c28] [c27] [c26] [j3] [c25] [c24] [c23] [c22] [c21] [c20] [c19] [c18] [c17] [c16] [j2] [c15] [c14] [c13] [c12] [c11] [c10] [c9] [c8] [c7] [c5] [c4]
[j59] [c150] [c148] [c146] [c142] [j56] [c141] [c140] [c139] [c138] [c137] [c134] [c133] [c131] [c130] [c129] [c127] [i11] [j54] [j53] [j50] [j48] [c126] [c125] [c124] [p1] [i9] [j46] [j42] [c117] [c116] [c115] [c114] [c112] [c110] [c106] [c104] [c103] [c102] [i6] [j39] [j37] [c99] [c97] [j31] [c93] [c92] [c91] [c89] [i5] [i4] [c87] [c81] [c80] [i2] [j27] [j25] [c75] [c74] [c70] [c68] [c67] [c66] [c65] [j24] [c63] [c59] [c57] [c54] [c51] [c49]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-28 21:40 CEST by the dblp team