The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Enrico Pontelli: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi
    A Language for Programming in Logic with Finite Sets. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1996, v:28, n:1, pp:1-44 [Journal]
  2. Karen Villaverde, Enrico Pontelli
    An Investigation of Scheduling in Distributed Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    ISCA PDCS, 2004, pp:98-103 [Conf]
  3. Enrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell
    Natural Language Multiprocessing: A Case Study. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1998, pp:76-82 [Conf]
  4. Tran Cao Son, Enrico Pontelli, Phan Huy Tu
    Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. [Citation Graph (0, 0)][DBLP]
    AAAI, 2006, pp:- [Conf]
  5. Omar El-Khatib, Enrico Pontelli, Tran Cao Son
    Justification and debugging of answer set programs in ASP. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 2005, pp:49-58 [Conf]
  6. Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
    ACI1 constraints. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:305-320 [Conf]
  7. Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
    Intensional Sets in CLP. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 2003, pp:36-49 [Conf]
  8. Gopal Gupta, Enrico Pontelli
    High Performance Parallel Logic Programming: The ACE Parallel Prolog System. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:25-32 [Conf]
  9. Enrico Pontelli, Omar El-Khatib
    Exploiting Vertical Parallelism from Answer Set Programs. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2001, pp:- [Conf]
  10. 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. [Citation Graph (0, 0)][DBLP]
    ASSETS, 2004, pp:55-62 [Conf]
  11. Enrico Pontelli, Douglas J. Gillan, W. Xiong, Emad Saad, Gopal Gupta, Arthur I. Karshmer
    Navigation of HTML tables, frames, and XML fragments. [Citation Graph (0, 0)][DBLP]
    ASSETS, 2002, pp:25-32 [Conf]
  12. Enrico Pontelli, Tran Cao Son
    Planning, reasoning, and agents for non-visual navigation of tables and frames. [Citation Graph (0, 0)][DBLP]
    ASSETS, 2002, pp:73-80 [Conf]
  13. Enrico Pontelli, W. Xiong, Gopal Gupta, Arthur I. Karshmer
    A domain specific language framework for non-visual browsing of complex HTML structures. [Citation Graph (0, 0)][DBLP]
    ASSETS, 2000, pp:180-187 [Conf]
  14. Gopal Gupta, Enrico Pontelli
    Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:211-239 [Conf]
  15. Inna Pivkina, Enrico Pontelli, Tran Cao Son
    Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences. [Citation Graph (0, 0)][DBLP]
    CLIMA IV, 2004, pp:134-158 [Conf]
  16. Enrico Pontelli, Desh Ranjan, Brook Milligan, Gopal Gupta
    F-LOG: A Domain Specific Language for Solving Phylogenetic Inference Problems. [Citation Graph (0, 0)][DBLP]
    CSB, 2002, pp:9-20 [Conf]
  17. Yu Pan, Phan Huy Tu, Enrico Pontelli, Tran Cao Son
    Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report. [Citation Graph (0, 0)][DBLP]
    DALT, 2004, pp:92-111 [Conf]
  18. 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. [Citation Graph (0, 0)][DBLP]
    DALT, 2003, pp:76-96 [Conf]
  19. Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi
    Embedding Finite Sets in a Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:150-167 [Conf]
  20. Hung Viet Le, Enrico Pontelli
    An Investigation of Sharing Strategies for Answer Set Solvers and SAT Solvers. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2005, pp:750-760 [Conf]
  21. Enrico Pontelli, Gopal Gupta
    On the Duality Between Or-parallelism and And-parallelism in Logic Programming. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1995, pp:43-54 [Conf]
  22. Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta
    A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2003, pp:694-703 [Conf]
  23. Enrico Pontelli, Desh Ranjan, Gopal Gupta
    On the Complexity of Parallel Implementation of Logic Programs. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1997, pp:123-137 [Conf]
  24. 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. [Citation Graph (0, 0)][DBLP]
    HCI, 2001, pp:929-933 [Conf]
  25. Arthur I. Karshmer, Enrico Pontelli, Gopal Gupta
    Software technology and computer interfaces for the disabled: non-visual WWW browsing. [Citation Graph (0, 0)][DBLP]
    HCI (2), 1999, pp:792-796 [Conf]
  26. Enrico Pontelli
    Concurrent Web-Programming in CLP(WEB). [Citation Graph (0, 0)][DBLP]
    HICSS, 2000, pp:- [Conf]
  27. Enrico Pontelli, Tran Cao Son
    Designing Intelligent Agents to Support Universal Accessibility. [Citation Graph (0, 0)][DBLP]
    International Conference on Internet Computing, 2002, pp:726-732 [Conf]
  28. Dominique Archambault, Donal Fitzpatrick, Gopal Gupta, Arthur I. Karshmer, Klaus Miesenberger, Enrico Pontelli
    Towards a Universal Maths Conversion Library. [Citation Graph (0, 0)][DBLP]
    ICCHP, 2004, pp:664-669 [Conf]
  29. Enrico Pontelli, B. Palmer
    Translating between Formats for Mathematics: Current Approach and an Agenda for Future Developments. [Citation Graph (0, 0)][DBLP]
    ICCHP, 2004, pp:620-625 [Conf]
  30. Enrico Pontelli, Ravikumar Reddy Kotthuru
    Discovering Structure of Web Pages for Non-visual Navigation: Binding Text to Forms. [Citation Graph (0, 0)][DBLP]
    ICCHP, 2004, pp:361-368 [Conf]
  31. Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
    Compiling Intensional Sets in CLP. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:647-661 [Conf]
  32. Agostino Dovier, Andrea Formisano, Enrico Pontelli
    A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:67-82 [Conf]
  33. Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi
    {log}: A Logic Programming Language with Finite Sets. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:111-124 [Conf]
  34. Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
    ACI1 Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:573-587 [Conf]
  35. Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
    Intensional Sets in CLP. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:284-299 [Conf]
  36. Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli
    On the Representation and Management of Finite Sets in CLP Languages. [Citation Graph (0, 0)][DBLP]
    IJCSLP, 1998, pp:40-54 [Conf]
  37. Islam Elkabani, Enrico Pontelli, Tran Cao Son
    Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:73-89 [Conf]
  38. Gopal Gupta, Vítor Santos Costa, Enrico Pontelli
    Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:824- [Conf]
  39. Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Vítor Santos Costa
    ACE: And/Or-parallel Copying-based Execution of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:93-109 [Conf]
  40. Gopal Gupta, Enrico Pontelli
    Stack-splitting: Or-/And-parallelism on Distributed Memory Machines. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:290-304 [Conf]
  41. Enrico Pontelli, Gopal Gupta
    Dependent And-Parallelism Revisited (Poster Abstract). [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:542- [Conf]
  42. Enrico Pontelli, Gopal Gupta
    Implementation Mechanisms for Dependent And-Parallelism. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:123-137 [Conf]
  43. Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo
    &ACE: the And-parallel Component of ACE (A Progress Report on ACE). [Citation Graph (0, 0)][DBLP]
    ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs, 1994, pp:65-78 [Conf]
  44. Enrico Pontelli, Gopal Gupta, Francesco Pulvirenti, Alfredo Ferro
    Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:108-122 [Conf]
  45. Enrico Pontelli, Gopal Gupta, Dongxing Tang
    Determinacy Driven Optimizations of And-Parallel Prolog Implementations. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:615-629 [Conf]
  46. Emad Saad, Enrico Pontelli
    Hybrid Probabilistic Logic Programs with Non-monotonic Negation. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:204-220 [Conf]
  47. Enrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell
    Natural Language Multiprocessing: A Case Study. [Citation Graph (0, 0)][DBLP]
    Implementation Technology for Programming Languages based on Logic, 1998, pp:101-112 [Conf]
  48. Enrico Pontelli, Tran Cao Son
    Justifications for Logic Programs Under Answer Set Semantics. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:196-210 [Conf]
  49. Tran Cao Son, Enrico Pontelli
    Adding Preferences to Answer Set Planning. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:513-514 [Conf]
  50. Rick Vaupel, Enrico Pontelli, Gopal Gupta
    Visualization of And/Or-Parallel Execution of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:271-285 [Conf]
  51. Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta
    PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. [Citation Graph (0, 0)][DBLP]
    ICLP, 2001, pp:27-42 [Conf]
  52. Tang Dong Xing, Enrico Pontelli, Gopal Gupta, Manuel Carro
    Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. [Citation Graph (0, 0)][DBLP]
    ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs, 1994, pp:93-106 [Conf]
  53. Yao Wu, Enrico Pontelli, Desh Ranjan
    On the Complexity of Dependent And-Parallelism in Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:361-376 [Conf]
  54. Gopal Gupta, Enrico Pontelli
    Efficient Techniques for Distributed Implementation of Search-Based AI Systems. [Citation Graph (0, 0)][DBLP]
    ICPP, 1999, pp:319-0 [Conf]
  55. Gopal Gupta, Enrico Pontelli, Amado Lara-Rodriguez, Roberto Felix-Cardenas
    Automatic Generation of Provably Correct Parallelizing Compilers. [Citation Graph (0, 0)][DBLP]
    ICPP, 1998, pp:579-586 [Conf]
  56. Enrico Pontelli, Gopal Gupta
    Efficient Backtracking in And-Parallel Implementations of Non-deterministic Languages. [Citation Graph (0, 0)][DBLP]
    ICPP, 1998, pp:338-345 [Conf]
  57. Karen Villaverde, Hai-Feng Guo, Enrico Pontelli, Gopal Gupta
    Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-Based AI Systems. [Citation Graph (0, 0)][DBLP]
    ICPP, 2001, pp:287-294 [Conf]
  58. Enrico Pontelli, Gopal Gupta
    W-ACE: A Logic Language for Intelligent Internet Programming. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1997, pp:2-10 [Conf]
  59. Alessandro Dal Palù, Enrico Pontelli, Desh Ranjan
    An Efficient Parallel Pointer Machine Algorithm for the NCA Problem. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2002, pp:157-168 [Conf]
  60. Gopal Gupta, Enrico Pontelli
    Optimization Schemas for Parallel Implementation of Nondeterministic Languages and Systems. [Citation Graph (0, 0)][DBLP]
    IPPS, 1997, pp:428-435 [Conf]
  61. Enrico Pontelli, Gopal Gupta
    Nested Parallel Call Optimization. [Citation Graph (0, 0)][DBLP]
    IPPS, 1996, pp:225-229 [Conf]
  62. Enrico Pontelli
    Experiments in Parallel Execution of Answer Set Programs. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2001, pp:20- [Conf]
  63. Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo
    &ACE: a high-performance parallel Prolog system. [Citation Graph (0, 0)][DBLP]
    IPPS, 1995, pp:564-571 [Conf]
  64. Jing He, Yonggang Lu, Enrico Pontelli
    A Parallel Algorithm for Helix Mapping Between 3D and 1D Protein Structure Using the Length Constraints. [Citation Graph (0, 0)][DBLP]
    ISPA, 2004, pp:746-756 [Conf]
  65. Tran Cao Son, Enrico Pontelli
    Reasoning about Actions in Prioritized Default Theory. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:369-381 [Conf]
  66. Enrico Pontelli, Desh Ranjan
    Ancestor Problems on Pure Pointer Machines. [Citation Graph (0, 0)][DBLP]
    LATIN, 2002, pp:263-277 [Conf]
  67. Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli
    A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem. [Citation Graph (0, 0)][DBLP]
    LPAR, 2005, pp:48-63 [Conf]
  68. Yao Wu, Enrico Pontelli, Desh Ranjan
    Computational Issues in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees. [Citation Graph (0, 0)][DBLP]
    LPAR, 2005, pp:79-94 [Conf]
  69. Rick Vaupel, Enrico Pontelli, Gopal Gupta
    VACE: A Tool for Visualization of And-Or Parallel Execution. [Citation Graph (0, 0)][DBLP]
    LPE, 1997, pp:51-54 [Conf]
  70. Islam Elkabani, Enrico Pontelli, Tran Cao Son
    SmodelsA - A System for Computing Answer Sets of Logic Programs with Aggregates. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:427-431 [Conf]
  71. Omar El-Khatib, Enrico Pontelli, Tran Cao Son
    Integrating an Answer Set Solver into Prolog: ASP-PROLOG. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:399-404 [Conf]
  72. Tran Cao Son, Enrico Pontelli
    Planning with Preferences Using Logic Programming. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2004, pp:247-260 [Conf]
  73. Enrico Pontelli, Tran Cao Son, Islam Elkabani
    Smodels with CLP?A Treatment of Aggregates in ASP. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2004, pp:356-360 [Conf]
  74. Phan Huy Tu, Tran Cao Son, Enrico Pontelli
    CPP: A Constraint Logic Programming Based Planner with Preferences. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2007, pp:290-296 [Conf]
  75. Omar El-Khatib, Enrico Pontelli, Tran Cao Son
    ASP-PROLOG: a system for reasoning about answer set programs in prolog. [Citation Graph (0, 0)][DBLP]
    NMR, 2004, pp:155-163 [Conf]
  76. Emad Saad, Enrico Pontelli
    Towards a More Practical Hybrid Probabilistic Logic Programming Framework. [Citation Graph (0, 0)][DBLP]
    PADL, 2005, pp:67-82 [Conf]
  77. Juan Raymundo Iglesias, Gopal Gupta, Enrico Pontelli, Desh Ranjan, Brook Milligan
    Interoperability between Bioinformatics Tools: A Logic Programming Approach. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:153-168 [Conf]
  78. Omar El-Khatib, Enrico Pontelli, Tran Cao Son
    ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. [Citation Graph (0, 0)][DBLP]
    PADL, 2004, pp:148-162 [Conf]
  79. Enrico Pontelli, Marcello Balduccini, F. Bermudez
    Non-monotonic Reasoning on Beowulf Platforms. [Citation Graph (0, 0)][DBLP]
    PADL, 2003, pp:37-57 [Conf]
  80. Enrico Pontelli, Omar El-Khatib
    Construction and Optimization of a Parallel Engine for Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:288-303 [Conf]
  81. 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? [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:82-100 [Conf]
  82. Chongbing Liu, Enrico Pontelli
    Inductive Logic Programming by Instance Patterns. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:230-244 [Conf]
  83. Enrico Pontelli, Tran Cao Son, Yu Pan, T. Phan
    Developing Agents for Bioinformatics Applications: A Preliminary Design. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2003, pp:1005-1011 [Conf]
  84. Agostino Dovier, Enrico Pontelli
    A WAM-Based Implementation of a Logical Language with Sets. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:275-290 [Conf]
  85. Enrico Pontelli, Desh Ranjan, Gopal Gupta
    The Complexity of Late-Binding in Dynamic Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    PLILP/ALP, 1998, pp:213-229 [Conf]
  86. Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli
    Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD). [Citation Graph (0, 0)][DBLP]
    PPDP, 2005, pp:230-241 [Conf]
  87. Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
    Integrating finite domain constraints and CLP with sets. [Citation Graph (0, 0)][DBLP]
    PPDP, 2003, pp:219-229 [Conf]
  88. Gopal Gupta, Enrico Pontelli
    A constraint-based approach for specification and verification of real-time systems. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1997, pp:230-239 [Conf]
  89. Enrico Pontelli, Tran Cao Son, Chitta Baral
    A Framework for Composition and Inter-operation of Rules in the Semantic Web. [Citation Graph (0, 0)][DBLP]
    RuleML, 2006, pp:39-50 [Conf]
  90. Alessandro Dal Palù, Enrico Pontelli, Jing He, Yonggang Lu
    A constraint logic programming approach to 3D structure determination of large protein complexes. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:131-136 [Conf]
  91. Enrico Pontelli, Gopal Gupta, Dongxing Tang
    Determinancy Driven Optimization of Parallel Prolog Implementations. [Citation Graph (0, 0)][DBLP]
    Workshop on Design and Impl. of Parallel Logic Programming Systems, 1994, pp:54-71 [Conf]
  92. Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro
    Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:683-684 [Conf]
  93. Alessandro Dal Palù, Enrico Pontelli, Desh Ranjan
    An Optimal Algorithm for Finding NCA on Pure Pointer Machines. [Citation Graph (0, 0)][DBLP]
    SWAT, 2002, pp:428-438 [Conf]
  94. Desh Ranjan, Enrico Pontelli, Gopal Gupta
    Data structures for order-sensitive predicates in parallel nondeterministic systems. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2000, v:37, n:1, pp:21-43 [Journal]
  95. Desh Ranjan, Enrico Pontelli, Gopal Gupta, Luc Longpré
    The Temporal Precedence Problem. [Citation Graph (0, 0)][DBLP]
    Algorithmica, 2000, v:28, n:3, pp:288-306 [Journal]
  96. Enrico Pontelli, Gopal Gupta
    Parallel Symbolic Computation in ACE. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1997, v:21, n:2-4, pp:359-395 [Journal]
  97. Enrico Pontelli, Gopal Gupta, Dongxing Tang, Manuel Carro, Manuel V. Hermenegildo
    Improving the Efficiency of Nondeterministic Independent and-Parallel Systems. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1996, v:22, n:2/3, pp:115-142 [Journal]
  98. Enrico Pontelli, Desh Ranjan, Alessandro Dal Palù
    An optimal data structure to handle dynamic environments in non-deterministic computations. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 2002, v:28, n:2, pp:181-201 [Journal]
  99. Agostino Dovier, Carla Piazza, Enrico Pontelli
    Disunification in ACI1 Theories. [Citation Graph (0, 0)][DBLP]
    Constraints, 2004, v:9, n:1, pp:35-91 [Journal]
  100. Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
    Set Unification [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  101. Enrico Pontelli, Tran Cao Son
    Designing intelligent agents to support universal accessibility of E-commerce services. [Citation Graph (0, 0)][DBLP]
    Electronic Commerce Research and Applications, 2003, v:2, n:2, pp:147-161 [Journal]
  102. Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
    A necessary condition for Constructive Negation in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2000, v:74, n:3-4, pp:147-156 [Journal]
  103. Desh Ranjan, Enrico Pontelli
    The Level-Ancestor problem on Pure Pointer Machines. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2003, v:85, n:5, pp:275-283 [Journal]
  104. Desh Ranjan, Enrico Pontelli, Gopal Gupta
    Efficient Algorithms for the Temporal Precedence Problem. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1998, v:68, n:2, pp:71-81 [Journal]
  105. 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. [Citation Graph (0, 0)][DBLP]
    Interacting with Computers, 2004, v:16, n:3, pp:451-475 [Journal]
  106. Enrico Pontelli, Gopal Gupta
    Extended Dynamic Dependent And-Parallelism in ACE. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 1999, v:1999, n:Special Issue 1, pp:- [Journal]
  107. Enrico Pontelli, Desh Ranjan, Gopal Gupta
    Complexity Analysis of Late Binding in Dynamic Object-Oriented Languages [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 1999, v:1999, n:Special Issue 2, pp:- [Journal]
  108. Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta
    Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 2006, v:66, n:10, pp:1267-1293 [Journal]
  109. Enrico Pontelli, Desh Ranjan
    A Simple Optimal Solution for the Temporal Precedence Problem on Pure Pointer Machines. [Citation Graph (0, 0)][DBLP]
    Theory Comput. Syst., 2005, v:38, n:1, pp:115-130 [Journal]
  110. Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
    Constructive Negation and Constraint Logic Programming with Sets. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 2001, v:19, n:3, pp:209-256 [Journal]
  111. Desh Ranjan, Enrico Pontelli, Gopal Gupta
    On the Complexity of Or-Parallelism. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1999, v:17, n:3, pp:285-307 [Journal]
  112. Marcello Balduccini, Enrico Pontelli, Omar El-Khatib, Hung Le
    Issues in parallel execution of non-monotonic reasoning systems. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 2005, v:31, n:6, pp:608-647 [Journal]
  113. Enrico Pontelli
    Parallelism and Implementation Technology for (Constraint) Logic Programming. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1998, v:33, n:2, pp:15-17 [Journal]
  114. Enrico Pontelli
    Programming with {SETS} - An International Forum of Discussion. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1998, v:33, n:8, pp:16- [Journal]
  115. Enrico Pontelli, Vítor Santos Costa
    PADL '00: Workshop on Practical Aspects of Declarative Languages. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2000, v:35, n:3, pp:16-17 [Journal]
  116. Gopal Gupta, Enrico Pontelli
    Optimization schemas for parallel implementation of non-deterministic languages and systems. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2001, v:31, n:12, pp:1143-1181 [Journal]
  117. Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:3, pp:- [Journal]
  118. Alessandro Dal Palù, Enrico Pontelli, Desh Ranjan
    Sequential and parallel algorithms for the NCA problem on pure pointer machines. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:352, n:1-3, pp:108-135 [Journal]
  119. Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
    Sets and constraint logic programming. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2000, v:22, n:5, pp:861-931 [Journal]
  120. Gopal Gupta, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, Manuel V. Hermenegildo
    Parallel execution of prolog programs: a survey. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2001, v:23, n:4, pp:472-602 [Journal]
  121. Enrico Pontelli, Gopal Gupta
    Backtracking in Independent And-Parallel Implementations of Logic Programming Languages. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 2001, v:12, n:11, pp:1169-1189 [Journal]
  122. Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
    Set unification. [Citation Graph (0, 0)][DBLP]
    TPLP, 2006, v:6, n:6, pp:645-701 [Journal]
  123. Tran Cao Son, Enrico Pontelli
    Planning with preferences using logic programming. [Citation Graph (0, 0)][DBLP]
    TPLP, 2006, v:6, n:5, pp:559-607 [Journal]
  124. Enrico Pontelli, Douglas J. Gillan, Gopal Gupta, Arthur I. Karshmer, Emad Saad, W. Xiong
    Intelligent non-visual navigation of complex HTML structures. [Citation Graph (0, 0)][DBLP]
    Universal Access in the Information Society, 2002, v:2, n:1, pp:56-69 [Journal]
  125. Agostino Dovier, Andrea Formisano, Enrico Pontelli
    An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:1622-1625 [Conf]
  126. Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski
    Logic Programs with Abstract Constraint Atoms: The Role of Computations. [Citation Graph (0, 0)][DBLP]
    ICLP, 2007, pp:286-301 [Conf]
  127. Agostino Dovier, Andrea Formisano, Enrico Pontelli
    Multivalued Action Languages with Constraints in CLP(FD). [Citation Graph (0, 0)][DBLP]
    ICLP, 2007, pp:255-270 [Conf]
  128. Chongbing Liu, Enrico Pontelli
    Nonmonotonic inductive logic programming by instance patterns. [Citation Graph (0, 0)][DBLP]
    PPDP, 2007, pp:187-196 [Conf]
  129. Emad Saad, Enrico Pontelli
    A new approach to hybrid probabilistic logic programs. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2007, v:50, n:3-4, pp:417-418 [Journal]
  130. Emad Saad, Enrico Pontelli
    A new approach to hybrid probabilistic logic programs. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2006, v:48, n:3-4, pp:187-243 [Journal]
  131. Tran Cao Son, Enrico Pontelli
    A Constructive Semantic Characterization of Aggregates in ASP [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  132. Tran Cao Son, Enrico Pontelli, Islam Elkabani
    An Unfolding-Based Semantics for Logic Programming with Aggregates [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  133. Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta
    PALS: Efficient Or-Parallelism on Beowulf Clusters [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  134. Credulous Resolution for Answer Set Programming. [Citation Graph (, )][DBLP]


  135. On the Use of Prime Implicates in Conformant Planning. [Citation Graph (, )][DBLP]


  136. A Conformant Planner with Explicit Disjunctive Representation of Belief States. [Citation Graph (, )][DBLP]


  137. A New Approach to Conformant Planning Using CNF*. [Citation Graph (, )][DBLP]


  138. Making Microsoft ExcelTM: multimodal presentation of charts. [Citation Graph (, )][DBLP]


  139. Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge. [Citation Graph (, )][DBLP]


  140. Detecting and recognizing tables in spreadsheets. [Citation Graph (, )][DBLP]


  141. Building a Programmable Architecture for Non-visual Navigation of Mathematics: Using Rules for Guiding Presentation and Switching between Modalities. [Citation Graph (, )][DBLP]


  142. Non-visual Navigation of Spreadsheet Tables. [Citation Graph (, )][DBLP]


  143. Integrating Semantic Web and Folksonomies to Improve E-Learning Accessibility. [Citation Graph (, )][DBLP]


  144. ASP-PROLOG: Composition and Interoperation of Rules. [Citation Graph (, )][DBLP]


  145. Answer Set Programming with Constraints Using Lazy Grounding. [Citation Graph (, )][DBLP]


  146. Logic Programming for Multiagent Planning with Negotiation. [Citation Graph (, )][DBLP]


  147. Present and Future Challenges for ASP Systems. [Citation Graph (, )][DBLP]


  148. Representing Multi-agent Planning in CLP. [Citation Graph (, )][DBLP]


  149. Logic Programming Techniques in Protein Structure Determination: Methodologies and Results. [Citation Graph (, )][DBLP]


  150. Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using . [Citation Graph (, )][DBLP]


  151. Answer Set Programming in 2010: A Personal Perspective. [Citation Graph (, )][DBLP]


  152. Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications. [Citation Graph (, )][DBLP]


  153. Some Results on the Completeness of Approximation Based Reasoning. [Citation Graph (, )][DBLP]


  154. Young women in computing: lessons learned from an educational & outreach program. [Citation Graph (, )][DBLP]


  155. Dynamic scheduling in parallel answer set programming solvers. [Citation Graph (, )][DBLP]


  156. Logic programs with abstract constraint atoms: The role of computations. [Citation Graph (, )][DBLP]


  157. Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory. [Citation Graph (, )][DBLP]


  158. An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling. [Citation Graph (, )][DBLP]


  159. Applications of parallel processing technologies in heuristic search planning: methodologies and experiments. [Citation Graph (, )][DBLP]


  160. Planning with Preferences using Logic Programming [Citation Graph (, )][DBLP]


  161. Justifications for Logic Programs under Answer Set Semantics [Citation Graph (, )][DBLP]


  162. Multi-valued Action Languages in CLP(FD) [Citation Graph (, )][DBLP]


  163. Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study [Citation Graph (, )][DBLP]


  164. CLP-based protein fragment assembly [Citation Graph (, )][DBLP]


Search in 0.052secs, Finished in 0.056secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002