| 2009 |
|---|
| 152 | EE | 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 |
| 151 | EE | Inna Pivkina,
Enrico Pontelli,
Rachel Jensen,
Jessica Haebe:
Young women in computing: lessons learned from an educational & outreach program.
SIGCSE 2009: 509-513 |
| 150 | EE | Enrico Pontelli,
Tran Cao Son,
Omar El-Khatib:
Justifications for logic programs under answer set semantics.
TPLP 9(1): 1-56 (2009) |
| 2008 |
|---|
| 149 | EE | Maria Garcia de la Banda,
Enrico Pontelli:
Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings
Springer 2008 |
| 148 | | Piero A. Bonatti,
Enrico Pontelli,
Tran Cao Son:
Credulous Resolution for Answer Set Programming.
AAAI 2008: 418-423 |
| 147 | EE | Tran Cao Son,
Enrico Pontelli:
Some Results on the Completeness of Approximation Based Reasoning.
PRICAI 2008: 358-369 |
| 146 | EE | Enrico Pontelli,
Tran Cao Son,
Omar El-Khatib:
Justifications for Logic Programs under Answer Set Semantics
CoRR abs/0812.0790: (2008) |
| 2007 |
|---|
| 145 | | 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 |
| 144 | | Agostino Dovier,
Andrea Formisano,
Enrico Pontelli:
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming.
AAAI 2007: 1622-1625 |
| 143 | EE | Enrico Pontelli:
ASP-PROLOG: Composition and Interoperation of Rules.
ALPSWS 2007 |
| 142 | EE | Agostino Dovier,
Andrea Formisano,
Enrico Pontelli:
Multivalued Action Languages with Constraints in CLP(FD).
ICLP 2007: 255-270 |
| 141 | EE | Lengning Liu,
Enrico Pontelli,
Tran Cao Son,
Miroslaw Truszczynski:
Logic Programs with Abstract Constraint Atoms: The Role of Computations.
ICLP 2007: 286-301 |
| 140 | EE | Phan Huy Tu,
Tran Cao Son,
Enrico Pontelli:
CPP: A Constraint Logic Programming Based Planner with Preferences.
LPNMR 2007: 290-296 |
| 139 | EE | Chongbing Liu,
Enrico Pontelli:
Inductive Logic Programming by Instance Patterns.
PADL 2007: 230-244 |
| 138 | EE | Chongbing Liu,
Enrico Pontelli:
Nonmonotonic inductive logic programming by instance patterns.
PPDP 2007: 187-196 |
| 137 | EE | Hung Viet Le,
Enrico Pontelli:
Dynamic scheduling in parallel answer set programming solvers.
SpringSim (2) 2007: 367-374 |
| 136 | EE | Emad Saad,
Enrico Pontelli:
A new approach to hybrid probabilistic logic programs.
Ann. Math. Artif. Intell. 50(3-4): 417-418 (2007) |
| 135 | EE | 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) |
| 134 | EE | 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) |
| 133 | EE | 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) |
| 132 | EE | Tran Cao Son,
Enrico Pontelli:
A Constructive semantic characterization of aggregates in answer set programming.
TPLP 7(3): 355-375 (2007) |
| 131 | EE | 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 |
|---|
| 130 | | Tran Cao Son,
Enrico Pontelli,
Phan Huy Tu:
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms.
AAAI 2006 |
| 129 | EE | Enrico Pontelli,
Tran Cao Son:
Justifications for Logic Programs Under Answer Set Semantics.
ICLP 2006: 196-210 |
| 128 | EE | Enrico Pontelli,
Tran Cao Son,
Chitta Baral:
A Framework for Composition and Inter-operation of Rules in the Semantic Web.
RuleML 2006: 39-50 |
| 127 | EE | 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 |
| 126 | EE | Emad Saad,
Enrico Pontelli:
A new approach to hybrid probabilistic logic programs.
Ann. Math. Artif. Intell. 48(3-4): 187-243 (2006) |
| 125 | EE | Enrico Pontelli,
Andrew Sears:
Computers and accessibility.
Behaviour & IT 25(4): 283-284 (2006) |
| 124 | EE | Tran Cao Son,
Enrico Pontelli:
A Constructive Semantic Characterization of Aggregates in ASP
CoRR abs/cs/0601051: (2006) |
| 123 | EE | Tran Cao Son,
Enrico Pontelli,
Islam Elkabani:
An Unfolding-Based Semantics for Logic Programming with Aggregates
CoRR abs/cs/0605038: (2006) |
| 122 | EE | Enrico Pontelli,
Karen Villaverde,
Hai-Feng Guo,
Gopal Gupta:
PALS: Efficient Or-Parallelism on Beowulf Clusters
CoRR abs/cs/0607040: (2006) |
| 121 | EE | 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) |
| 120 | EE | Tran Cao Son,
Enrico Pontelli:
Planning with preferences using logic programming.
TPLP 6(5): 559-607 (2006) |
| 119 | EE | Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
Set unification.
TPLP 6(6): 645-701 (2006) |
| 118 | EE | 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 |
|---|
| 117 | | 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 |
| 116 | EE | Omar El-Khatib,
Enrico Pontelli,
Tran Cao Son:
Justification and debugging of answer set programs in ASP.
AADEBUG 2005: 49-58 |
| 115 | EE | Hung Viet Le,
Enrico Pontelli:
An Investigation of Sharing Strategies for Answer Set Solvers and SAT Solvers.
Euro-Par 2005: 750-760 |
| 114 | EE | Emad Saad,
Enrico Pontelli:
Hybrid Probabilistic Logic Programs with Non-monotonic Negation.
ICLP 2005: 204-220 |
| 113 | EE | Agostino Dovier,
Andrea Formisano,
Enrico Pontelli:
A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems.
ICLP 2005: 67-82 |
| 112 | EE | 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 |
| 111 | EE | 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 |
| 110 | EE | Omar El-Khatib,
Enrico Pontelli,
Tran Cao Son:
Integrating an Answer Set Solver into Prolog: ASP-PROLOG.
LPNMR 2005: 399-404 |
| 109 | EE | Islam Elkabani,
Enrico Pontelli,
Tran Cao Son:
SmodelsA - A System for Computing Answer Sets of Logic Programs with Aggregates.
LPNMR 2005: 427-431 |
| 108 | EE | Emad Saad,
Enrico Pontelli:
Towards a More Practical Hybrid Probabilistic Logic Programming Framework.
PADL 2005: 67-82 |
| 107 | EE | Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli:
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD).
PPDP 2005: 230-241 |
| 106 | EE | Tran Cao Son,
Enrico Pontelli:
Planning with Preferences using Logic Programming
CoRR abs/cs/0508132: (2005) |
| 105 | EE | 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) |
| 104 | EE | 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 |
|---|
| 103 | EE | 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 |
| 102 | EE | Inna Pivkina,
Enrico Pontelli,
Tran Cao Son:
Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences.
CLIMA IV 2004: 134-158 |
| 101 | EE | 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 |
| 100 | EE | Enrico Pontelli,
Ravikumar Reddy Kotthuru:
Discovering Structure of Web Pages for Non-visual Navigation: Binding Text to Forms.
ICCHP 2004: 361-368 |
| 99 | EE | Enrico Pontelli,
B. Palmer:
Translating between Formats for Mathematics: Current Approach and an Agenda for Future Developments.
ICCHP 2004: 620-625 |
| 98 | EE | Dominique Archambault,
Donal Fitzpatrick,
Gopal Gupta,
Arthur I. Karshmer,
Klaus Miesenberger,
Enrico Pontelli:
Towards a Universal Maths Conversion Library.
ICCHP 2004: 664-669 |
| 97 | EE | 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 |
| 96 | | Karen Villaverde,
Enrico Pontelli:
An Investigation of Scheduling in Distributed Constraint Logic Programming.
ISCA PDCS 2004: 98-103 |
| 95 | EE | 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 |
| 94 | EE | Tran Cao Son,
Enrico Pontelli:
Planning with Preferences Using Logic Programming.
LPNMR 2004: 247-260 |
| 93 | EE | Enrico Pontelli,
Tran Cao Son,
Islam Elkabani:
Smodels with CLP?A Treatment of Aggregates in ASP.
LPNMR 2004: 356-360 |
| 92 | EE | Omar El-Khatib,
Enrico Pontelli,
Tran Cao Son:
ASP-PROLOG: a system for reasoning about answer set programs in prolog.
NMR 2004: 155-163 |
| 91 | EE | Omar El-Khatib,
Enrico Pontelli,
Tran Cao Son:
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog.
PADL 2004: 148-162 |
| 90 | EE | Agostino Dovier,
Carla Piazza,
Enrico Pontelli:
Disunification in ACI1 Theories.
Constraints 9(1): 35-91 (2004) |
| 89 | EE | 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 | EE | 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 | EE | 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 | EE | Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
Intensional Sets in CLP.
ICLP 2003: 284-299 |
| 84 | EE | Yao Wu,
Enrico Pontelli,
Desh Ranjan:
On the Complexity of Dependent And-Parallelism in Logic Programming.
ICLP 2003: 361-376 |
| 83 | EE | Tran Cao Son,
Enrico Pontelli:
Adding Preferences to Answer Set Planning.
ICLP 2003: 513-514 |
| 82 | EE | 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 | EE | Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
Integrating finite domain constraints and CLP with sets.
PPDP 2003: 219-229 |
| 79 | EE | 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 | EE | Desh Ranjan,
Enrico Pontelli:
The Level-Ancestor problem on Pure Pointer Machines.
Inf. Process. Lett. 85(5): 275-283 (2003) |
| 2002 |
|---|
| 77 | EE | 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 | EE | Enrico Pontelli,
Tran Cao Son:
Planning, reasoning, and agents for non-visual navigation of tables and frames.
ASSETS 2002: 73-80 |
| 75 | EE | Enrico Pontelli,
Desh Ranjan,
Brook Milligan,
Gopal Gupta:
F-LOG: A Domain Specific Language for Solving Phylogenetic Inference Problems.
CSB 2002: 9-20 |
| 74 | EE | 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 | EE | Tran Cao Son,
Enrico Pontelli:
Reasoning about Actions in Prioritized Default Theory.
JELIA 2002: 369-381 |
| 70 | EE | Enrico Pontelli,
Desh Ranjan:
Ancestor Problems on Pure Pointer Machines.
LATIN 2002: 263-277 |
| 69 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Karen Villaverde,
Enrico Pontelli,
Hai-Feng Guo,
Gopal Gupta:
PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures.
ICLP 2001: 27-42 |
| 62 | EE | 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 | EE | Juan Raymundo Iglesias,
Gopal Gupta,
Enrico Pontelli,
Desh Ranjan,
Brook Milligan:
Interoperability between Bioinformatics Tools: A Logic Programming Approach.
PADL 2001: 153-168 |
| 59 | EE | Enrico Pontelli,
Omar El-Khatib:
Construction and Optimization of a Parallel Engine for Answer Set Programming.
PADL 2001: 288-303 |
| 58 | EE | 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 | EE | Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
Set Unification
CoRR cs.LO/0110023: (2001) |
| 56 | EE | 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 | EE | 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 | EE | Enrico Pontelli:
Concurrent Web-Programming in CLP(WEB).
HICSS 2000 |
| 50 | EE | Agostino Dovier,
Carla Piazza,
Enrico Pontelli,
Gianfranco Rossi:
Sets and constraint logic programming.
ACM Trans. Program. Lang. Syst. 22(5): 861-931 (2000) |
| 49 | EE | Desh Ranjan,
Enrico Pontelli,
Gopal Gupta:
Data structures for order-sensitive predicates in parallel nondeterministic systems.
Acta Inf. 37(1): 21-43 (2000) |
| 48 | EE | Desh Ranjan,
Enrico Pontelli,
Gopal Gupta,
Luc Longpré:
The Temporal Precedence Problem.
Algorithmica 28(3): 288-306 (2000) |
| 47 | EE | 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 | EE | Gopal Gupta,
Enrico Pontelli:
Efficient Techniques for Distributed Implementation of Search-Based AI Systems.
ICPP 1999: 319- |
| 40 | EE | 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 | EE | Enrico Pontelli,
Gopal Gupta:
Efficient Backtracking in And-Parallel Implementations of Non-deterministic Languages.
ICPP 1998: 338-345 |
| 34 | EE | 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 | EE | Enrico Pontelli,
Desh Ranjan,
Gopal Gupta:
The Complexity of Late-Binding in Dynamic Object-Oriented Languages.
PLILP/ALP 1998: 213-229 |
| 30 | EE | 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 | EE | 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 | EE | Enrico Pontelli,
Gopal Gupta:
W-ACE: A Logic Language for Intelligent Internet Programming.
ICTAI 1997: 2-10 |
| 21 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |
