2010 | ||
---|---|---|
167 | Leaf Petersen, Enrico Pontelli: Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, DAMP 2010, Madrid, Spain, January 19, 2010 ACM 2010 | |
166 | Enrico Pontelli: Answer Set Programming in 2010: A Personal Perspective. PADL 2010: 1-3 | |
2009 | ||
165 | Iyad Abu Doush, Enrico Pontelli, Dominic Simon, Tran Cao Son, Ou Ma: Making Microsoft ExcelTM: multimodal presentation of charts. ASSETS 2009: 147-154 | |
164 | 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 | |
163 | Son Thanh To, Enrico Pontelli, Tran Cao Son: A Conformant Planner with Explicit Disjunctive Representation of Belief States. ICAPS 2009 | |
162 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: Answer Set Programming with Constraints Using Lazy Grounding. ICLP 2009: 115-129 | |
161 | Tran Cao Son, Enrico Pontelli, Chiaki Sakama: Logic Programming for Multiagent Planning with Negotiation. ICLP 2009: 99-114 | |
160 | Chitta Baral, Tran Cao Son, Enrico Pontelli: Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using . LPNMR 2009: 409-415 | |
159 | Agostino Dovier, Andrea Formisano, Enrico Pontelli: Representing Multi-agent Planning in CLP. LPNMR 2009: 423-429 | |
158 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli: Logic Programming Techniques in Protein Structure Determination: Methodologies and Results. LPNMR 2009: 560-566 | |
157 | Agostino Dovier, Enrico Pontelli: Present and Future Challenges for ASP Systems. LPNMR 2009: 622-624 | |
156 | 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 | |
155 | Inna Pivkina, Enrico Pontelli, Rachel Jensen, Jessica Haebe: Young women in computing: lessons learned from an educational & outreach program. SIGCSE 2009: 509-513 | |
154 | Agostino Dovier, Andrea Formisano, Enrico Pontelli: Multi-valued Action Languages in CLP(FD) CoRR abs/0912.2846: (2009) | |
153 | 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) | |
152 | 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) | |
151 | Enrico Pontelli, Tran Cao Son, Omar El-Khatib: Justifications for logic programs under answer set semantics. TPLP 9(1): 1-56 (2009) | |
2008 | ||
150 | Maria Garcia de la Banda, Enrico Pontelli: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings Springer 2008 | |
149 | Piero A. Bonatti, Enrico Pontelli, Tran Cao Son: Credulous Resolution for Answer Set Programming. AAAI 2008: 418-423 | |
148 | Tran Cao Son, Enrico Pontelli: Some Results on the Completeness of Approximation Based Reasoning. PRICAI 2008: 358-369 | |
147 | Enrico Pontelli, Tran Cao Son, Omar El-Khatib: Justifications for Logic Programs under Answer Set Semantics CoRR abs/0812.0790: (2008) | |
2007 | ||
146 | Enrico Pontelli, Shari Trewin: Proceedings of the 9th International ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2007, Tempe, Arizona, USA, October 15-17, 2007 ACM 2007 | |
145 | Agostino Dovier, Andrea Formisano, Enrico Pontelli: An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. AAAI 2007: 1622-1625 | |
144 | Enrico Pontelli: ASP-PROLOG: Composition and Interoperation of Rules. ALPSWS 2007 | |
143 | Agostino Dovier, Andrea Formisano, Enrico Pontelli: Multivalued Action Languages with Constraints in CLP(FD). ICLP 2007: 255-270 | |
142 | Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski: Logic Programs with Abstract Constraint Atoms: The Role of Computations. ICLP 2007: 286-301 | |
141 | Phan Huy Tu, Tran Cao Son, Enrico Pontelli: CPP: A Constraint Logic Programming Based Planner with Preferences. LPNMR 2007: 290-296 | |
140 | Chongbing Liu, Enrico Pontelli: Inductive Logic Programming by Instance Patterns. PADL 2007: 230-244 | |
139 | Chongbing Liu, Enrico Pontelli: Nonmonotonic inductive logic programming by instance patterns. PPDP 2007: 187-196 | |
138 | Hung Viet Le, Enrico Pontelli: Dynamic scheduling in parallel answer set programming solvers. SpringSim (2) 2007: 367-374 | |
137 | Emad Saad, Enrico Pontelli: A new approach to hybrid probabilistic logic programs. Ann. Math. Artif. Intell. 50(3-4): 417-418 (2007) | |
136 | 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) | |
135 | 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) | |
134 | 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) | |
133 | Tran Cao Son, Enrico Pontelli: A Constructive semantic characterization of aggregates in answer set programming. TPLP 7(3): 355-375 (2007) | |
132 | 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) | |
2006 | ||
131 | Tran Cao Son, Enrico Pontelli, Phan Huy Tu: Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. AAAI 2006 | |
130 | Enrico Pontelli, Tran Cao Son: Justifications for Logic Programs Under Answer Set Semantics. ICLP 2006: 196-210 | |
129 | Enrico Pontelli, Tran Cao Son, Chitta Baral: A Framework for Composition and Inter-operation of Rules in the Semantic Web. RuleML 2006: 39-50 | |
128 | 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 | |
127 | Emad Saad, Enrico Pontelli: A new approach to hybrid probabilistic logic programs. Ann. Math. Artif. Intell. 48(3-4): 187-243 (2006) | |
126 | Enrico Pontelli, Andrew Sears: Computers and accessibility. Behaviour & IT 25(4): 283-284 (2006) | |
125 | Tran Cao Son, Enrico Pontelli: A Constructive Semantic Characterization of Aggregates in ASP CoRR abs/cs/0601051: (2006) | |
124 | Tran Cao Son, Enrico Pontelli, Islam Elkabani: An Unfolding-Based Semantics for Logic Programming with Aggregates CoRR abs/cs/0605038: (2006) | |
123 | Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta: PALS: Efficient Or-Parallelism on Beowulf Clusters CoRR abs/cs/0607040: (2006) | |
122 | 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) | |
121 | Tran Cao Son, Enrico Pontelli: Planning with preferences using logic programming. TPLP 6(5): 559-607 (2006) | |
120 | Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: Set unification. TPLP 6(6): 645-701 (2006) | |
119 | 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) | |
2005 | ||
118 | Andrew Sears, Enrico Pontelli: Proceedings of the ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2005, Baltimore, MD, USA, October 9-12, 2005 ACM 2005 | |
117 | Omar El-Khatib, Enrico Pontelli, Tran Cao Son: Justification and debugging of answer set programs in ASP. AADEBUG 2005: 49-58 | |
116 | Hung Viet Le, Enrico Pontelli: An Investigation of Sharing Strategies for Answer Set Solvers and SAT Solvers. Euro-Par 2005: 750-760 | |
115 | Emad Saad, Enrico Pontelli: Hybrid Probabilistic Logic Programs with Non-monotonic Negation. ICLP 2005: 204-220 | |
114 | Agostino Dovier, Andrea Formisano, Enrico Pontelli: A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems. ICLP 2005: 67-82 | |
113 | 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 | |
112 | 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 | |
111 | Omar El-Khatib, Enrico Pontelli, Tran Cao Son: Integrating an Answer Set Solver into Prolog: ASP-PROLOG. LPNMR 2005: 399-404 | |
110 | Islam Elkabani, Enrico Pontelli, Tran Cao Son: SmodelsA - A System for Computing Answer Sets of Logic Programs with Aggregates. LPNMR 2005: 427-431 | |
109 | Emad Saad, Enrico Pontelli: Towards a More Practical Hybrid Probabilistic Logic Programming Framework. PADL 2005: 67-82 | |
108 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli: Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD). PPDP 2005: 230-241 | |
107 | Tran Cao Son, Enrico Pontelli: Planning with Preferences using Logic Programming CoRR abs/cs/0508132: (2005) | |
106 | 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) | |
105 | 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) | |
2004 | ||
104 | 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 | |
103 | Inna Pivkina, Enrico Pontelli, Tran Cao Son: Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences. CLIMA IV 2004: 134-158 | |
102 | 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 | |
101 | Enrico Pontelli, Ravikumar Reddy Kotthuru: Discovering Structure of Web Pages for Non-visual Navigation: Binding Text to Forms. ICCHP 2004: 361-368 | |
100 | Enrico Pontelli, B. Palmer: Translating between Formats for Mathematics: Current Approach and an Agenda for Future Developments. ICCHP 2004: 620-625 | |
99 | Dominique Archambault, Donal Fitzpatrick, Gopal Gupta, Arthur I. Karshmer, Klaus Miesenberger, Enrico Pontelli: Towards a Universal Maths Conversion Library. ICCHP 2004: 664-669 | |
98 | 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 | |
97 | Karen Villaverde, Enrico Pontelli: An Investigation of Scheduling in Distributed Constraint Logic Programming. ISCA PDCS 2004: 98-103 | |
96 | 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 | |
95 | Tran Cao Son, Enrico Pontelli: Planning with Preferences Using Logic Programming. LPNMR 2004: 247-260 | |
94 | Enrico Pontelli, Tran Cao Son, Islam Elkabani: Smodels with CLP?A Treatment of Aggregates in ASP. LPNMR 2004: 356-360 | |
93 | Omar El-Khatib, Enrico Pontelli, Tran Cao Son: ASP-PROLOG: a system for reasoning about answer set programs in prolog. NMR 2004: 155-163 | |
92 | Omar El-Khatib, Enrico Pontelli, Tran Cao Son: ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. PADL 2004: 148-162 | |
91 | Tran Cao Son, Enrico Pontelli: Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory. Computational Intelligence 20(2): 358-404 (2004) | |
90 | Agostino Dovier, Carla Piazza, Enrico Pontelli: Disunification in ACI1 Theories. Constraints 9(1): 35-91 (2004) | |
89 | 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) | |
2003 | ||
88 | Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: Intensional Sets in CLP. APPIA-GULP-PRODE 2003: 36-49 | |
87 | 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 | |
86 | 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 | |
85 | Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: Intensional Sets in CLP. ICLP 2003: 284-299 | |
84 | Yao Wu, Enrico Pontelli, Desh Ranjan: On the Complexity of Dependent And-Parallelism in Logic Programming. ICLP 2003: 361-376 | |
83 | Tran Cao Son, Enrico Pontelli: Adding Preferences to Answer Set Planning. ICLP 2003: 513-514 | |
82 | Enrico Pontelli, Marcello Balduccini, F. Bermudez: Non-monotonic Reasoning on Beowulf Platforms. PADL 2003: 37-57 | |
81 | Enrico Pontelli, Tran Cao Son, Yu Pan, T. Phan: Developing Agents for Bioinformatics Applications: A Preliminary Design. PDPTA 2003: 1005-1011 | |
80 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: Integrating finite domain constraints and CLP with sets. PPDP 2003: 219-229 | |
79 | 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) | |
78 | Desh Ranjan, Enrico Pontelli: The Level-Ancestor problem on Pure Pointer Machines. Inf. Process. Lett. 85(5): 275-283 (2003) | |
2002 | ||
77 | 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 | |
76 | Enrico Pontelli, Tran Cao Son: Planning, reasoning, and agents for non-visual navigation of tables and frames. ASSETS 2002: 73-80 | |
75 | Enrico Pontelli, Desh Ranjan, Brook Milligan, Gopal Gupta: F-LOG: A Domain Specific Language for Solving Phylogenetic Inference Problems. CSB 2002: 9-20 | |
74 | 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 | |
73 | Alessandro Dal Palù, Enrico Pontelli, Desh Ranjan: An Efficient Parallel Pointer Machine Algorithm for the NCA Problem. IFIP TCS 2002: 157-168 | |
72 | Enrico Pontelli, Tran Cao Son: Designing Intelligent Agents to Support Universal Accessibility. International Conference on Internet Computing 2002: 726-732 | |
71 | Tran Cao Son, Enrico Pontelli: Reasoning about Actions in Prioritized Default Theory. JELIA 2002: 369-381 | |
70 | Enrico Pontelli, Desh Ranjan: Ancestor Problems on Pure Pointer Machines. LATIN 2002: 263-277 | |
69 | 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 | |
68 | Alessandro Dal Palù, Enrico Pontelli, Desh Ranjan: An Optimal Algorithm for Finding NCA on Pure Pointer Machines. SWAT 2002: 428-438 | |
67 | 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) | |
66 | 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) | |
2001 | ||
65 | Enrico Pontelli, Omar El-Khatib: Exploiting Vertical Parallelism from Answer Set Programs. Answer Set Programming 2001 | |
64 | 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 | |
63 | Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta: PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. ICLP 2001: 27-42 | |
62 | 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 | |
61 | Enrico Pontelli: Experiments in Parallel Execution of Answer Set Programs. IPDPS 2001: 20 | |
60 | Juan Raymundo Iglesias, Gopal Gupta, Enrico Pontelli, Desh Ranjan, Brook Milligan: Interoperability between Bioinformatics Tools: A Logic Programming Approach. PADL 2001: 153-168 | |
59 | Enrico Pontelli, Omar El-Khatib: Construction and Optimization of a Parallel Engine for Answer Set Programming. PADL 2001: 288-303 | |
58 | 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) | |
57 | Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: Set Unification CoRR cs.LO/0110023: (2001) | |
56 | Enrico Pontelli, Gopal Gupta: Backtracking in Independent And-Parallel Implementations of Logic Programming Languages. IEEE Trans. Parallel Distrib. Syst. 12(11): 1169-1189 (2001) | |
55 | Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: Constructive Negation and Constraint Logic Programming with Sets. New Generation Comput. 19(3): 209-256 (2001) | |
54 | Gopal Gupta, Enrico Pontelli: Optimization schemas for parallel implementation of non-deterministic languages and systems. Softw., Pract. Exper. 31(12): 1143-1181 (2001) | |
2000 | ||
53 | Enrico Pontelli, Vítor Santos Costa: Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings Springer 2000 | |
52 | 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 | |
51 | Enrico Pontelli: Concurrent Web-Programming in CLP(WEB). HICSS 2000 | |
50 | Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi: Sets and constraint logic programming. ACM Trans. Program. Lang. Syst. 22(5): 861-931 (2000) | |
49 | Desh Ranjan, Enrico Pontelli, Gopal Gupta: Data structures for order-sensitive predicates in parallel nondeterministic systems. Acta Inf. 37(1): 21-43 (2000) | |
48 | Desh Ranjan, Enrico Pontelli, Gopal Gupta, Luc Longpré: The Temporal Precedence Problem. Algorithmica 28(3): 288-306 (2000) | |
47 | 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) | |
46 | Enrico Pontelli, Vítor Santos Costa: PADL '00: Workshop on Practical Aspects of Declarative Languages. SIGPLAN Notices 35(3): 16-17 (2000) | |
1999 | ||
45 | Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi: ACI1 constraints. APPIA-GULP-PRODE 1999: 305-320 | |
44 | Arthur I. Karshmer, Enrico Pontelli, Gopal Gupta: Software technology and computer interfaces for the disabled: non-visual WWW browsing. HCI (2) 1999: 792-796 | |
43 | Gopal Gupta, Enrico Pontelli: Stack-splitting: Or-/And-parallelism on Distributed Memory Machines. ICLP 1999: 290-304 | |
42 | Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi: ACI1 Constraints. ICLP 1999: 573-587 | |
41 | Gopal Gupta, Enrico Pontelli: Efficient Techniques for Distributed Implementation of Search-Based AI Systems. ICPP 1999: 319- | |
40 | 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): (1999) | |
39 | Enrico Pontelli, Gopal Gupta: Extended Dynamic Dependent And-Parallelism in ACE. Journal of Functional and Logic Programming 1999(Special Issue 1): (1999) | |
38 | 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) | |
37 | Desh Ranjan, Enrico Pontelli, Gopal Gupta: On the Complexity of Or-Parallelism. New Generation Comput. 17(3): 285-307 (1999) | |
1998 | ||
36 | Enrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell: Natural Language Multiprocessing: A Case Study. AAAI/IAAI 1998: 76-82 | |
35 | Enrico Pontelli, Gopal Gupta: Efficient Backtracking in And-Parallel Implementations of Non-deterministic Languages. ICPP 1998: 338-345 | |
34 | Gopal Gupta, Enrico Pontelli, Amado Lara-Rodriguez, Roberto Felix-Cardenas: Automatic Generation of Provably Correct Parallelizing Compilers. ICPP 1998: 579-586 | |
33 | Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli: On the Representation and Management of Finite Sets in CLP Languages. IJCSLP 1998: 40-54 | |
32 | 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 | |
31 | Enrico Pontelli, Desh Ranjan, Gopal Gupta: The Complexity of Late-Binding in Dynamic Object-Oriented Languages. PLILP/ALP 1998: 213-229 | |
30 | Desh Ranjan, Enrico Pontelli, Gopal Gupta: Efficient Algorithms for the Temporal Precedence Problem. Inf. Process. Lett. 68(2): 71-81 (1998) | |
29 | Enrico Pontelli: Parallelism and Implementation Technology for (Constraint) Logic Programming. SIGPLAN Notices 33(2): 15-17 (1998) | |
28 | Enrico Pontelli: Programming with {SETS} - An International Forum of Discussion. SIGPLAN Notices 33(8): 16 (1998) | |
1997 | ||
27 | Gopal Gupta, Enrico Pontelli: High Performance Parallel Logic Programming: The ACE Parallel Prolog System. APPIA-GULP-PRODE 1997: 25-32 | |
26 | Enrico Pontelli, Desh Ranjan, Gopal Gupta: On the Complexity of Parallel Implementation of Logic Programs. FSTTCS 1997: 123-137 | |
25 | Enrico Pontelli, Gopal Gupta, Francesco Pulvirenti, Alfredo Ferro: Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism. ICLP 1997: 108-122 | |
24 | Enrico Pontelli, Gopal Gupta: Implementation Mechanisms for Dependent And-Parallelism. ICLP 1997: 123-137 | |
23 | Rick Vaupel, Enrico Pontelli, Gopal Gupta: Visualization of And/Or-Parallel Execution of Logic Programs. ICLP 1997: 271-285 | |
22 | Enrico Pontelli, Gopal Gupta: W-ACE: A Logic Language for Intelligent Internet Programming. ICTAI 1997: 2-10 | |
21 | Gopal Gupta, Enrico Pontelli: A constraint-based approach for specification and verification of real-time systems. IEEE Real-Time Systems Symposium 1997: 230-239 | |
20 | Gopal Gupta, Enrico Pontelli: Optimization Schemas for Parallel Implementation of Nondeterministic Languages and Systems. IPPS 1997: 428-435 | |
19 | Rick Vaupel, Enrico Pontelli, Gopal Gupta: VACE: A Tool for Visualization of And-Or Parallel Execution. LPE 1997: 51-54 | |
18 | Enrico Pontelli, Gopal Gupta: Parallel Symbolic Computation in ACE. Ann. Math. Artif. Intell. 21(2-4): 359-395 (1997) | |
1996 | ||
17 | Enrico Pontelli, Gopal Gupta: Nested Parallel Call Optimization. IPPS 1996: 225-229 | |
16 | Enrico Pontelli, Gopal Gupta: Dependent And-Parallelism Revisited (Poster Abstract). JICSLP 1996: 542 | |
15 | 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) | |
14 | 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) | |
1995 | ||
13 | Enrico Pontelli, Gopal Gupta: On the Duality Between Or-parallelism and And-parallelism in Logic Programming. Euro-Par 1995: 43-54 | |
12 | Enrico Pontelli, Gopal Gupta, Dongxing Tang: Determinacy Driven Optimizations of And-Parallel Prolog Implementations. ICLP 1995: 615-629 | |
11 | Gopal Gupta, Vítor Santos Costa, Enrico Pontelli: Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming. ICLP 1995: 824 | |
10 | Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo: &ACE: a high-performance parallel Prolog system. IPPS 1995: 564-571 | |
1994 | ||
9 | Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: Compiling Intensional Sets in CLP. ICLP 1994: 647-661 | |
8 | 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 | |
7 | 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 | |
6 | 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 | |
5 | 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 | |
4 | 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 | |
1993 | ||
3 | Agostino Dovier, Enrico Pontelli: A WAM-Based Implementation of a Logical Language with Sets. PLILP 1993: 275-290 | |
1992 | ||
2 | Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi: Embedding Finite Sets in a Logic Programming Language. ELP 1992: 150-167 | |
1991 | ||
1 | Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi: {log}: A Logic Programming Language with Finite Sets. ICLP 1991: 111-124 |