| 2026 | KR | Extracting Verified Action Theories from Informal Specifications via Explanation-Guided Refinement. | Stylianos Loukas Vasileiou, Minh Nguyen, Tran Cao Son, Huiping Cao, Enrico Pontelli |
| 2024 | CP | CP for Bin Packing with Multi-Core and GPUs. | Fabio Tardivo, Laurent Michel, Enrico Pontelli |
| 2024 | FIE | WIP: DEPICT for Out-of-School Time (DEPICT4OST): Guiding Undergraduates in the Development and Implementation of Computational-Infused Writing Activities. | Ruth C. Torres Castillo, Sarah T. Hug, Adan Delval, Wendy Chi, Enrico Pontelli |
| 2024 | PRIMA | ℋ-Efp: Bridging Efficiency in Multi-agent Epistemic Planning with Heuristics. | Francesco Fabiano, Theoderic Platt, Tran Cao Son, Enrico Pontelli |
| 2024 | SIGCSE | Learning with the Rashomon Augmented Reality Cube (RARc). | Candy Arce, Angie Hernandez, Ruth C. Torres Castillo, Tomas Valdez, Raena Cota, Enrico Pontelli |
| 2024 | SIGCSE | Using Computational Thinking to Learn Creative Writing and Performance Arts: Summer Experiences of Story Creation Projects. | Ruth C. Torres Castillo, Tomas Valdez, Enrico Pontelli, Horacio Gonzalez, Erick Nevarez, Raena Cota |
| 2023 | CPAIOR | Constraint Propagation on GPU: A Case Study for the Cumulative Constraint. | Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli |
| 2023 | SAC | Reasoning about Non-Deterministic Observability and Hypothetical Action Occurrences in Multi-Agent Domains. | Loc Pham, Tran Cao Son, Enrico Pontelli |
| 2022 | EPIA | A Robust State Transition Function for Multi-agent Epistemic Systems. | Yusuf Izmirlioglu, Loc Pham, Tran Cao Son, Enrico Pontelli |
| 2022 | LPNMR | State Transition in Multi-agent Epistemic Domains Using Answer Set Programming. | Yusuf Izmirlioglu, Loc Pham, Tran Cao Son, Enrico Pontelli |
| 2022 | PADL | Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs. | Fabio Tardivo, Enrico Pontelli |
| 2022 | PRIMA | A New Semantics for Action Language m | Loc Pham, Yusuf Izmirlioglu, Tran Cao Son, Enrico Pontelli |
| 2022 | SAC | Update models for lying and misleading announcements. | Loc Pham, Tran Cao Son, Enrico Pontelli |
| 2022 | SIGCSE | Culturally Responsive Pedagogy in Computer Science (CR in CS)- K-12 Teacher Professional Development- Needs and Challenges. | Raena Cota, Enrico Pontelli, Paige Prescott, Lauren Curry, Lisa Hufstedler, Francis Vigil, Yolanda Lozano, David Rutledge |
| 2021 | PADL | A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States. | Fabio Tardivo, Loc Pham, Tran Cao Son, Enrico Pontelli |
| 2021 | PRICAI | Multi-agent Epistemic Planning with Inconsistent Beliefs, Trust and Lies. | Francesco Fabiano, Alessandro Burigana, Agostino Dovier, Enrico Pontelli, Tran Cao Son |
| 2020 | HCI | Design of a Tangible Programming Tool for Students with Visual Impairments and Low Vision. | Emmanuel Utreras, Enrico Pontelli |
| 2020 | ICCHP | Accessibility of Block-Based Introductory Programming Languages and a Tangible Programming Tool Prototype. | Emmanuel Utreras, Enrico Pontelli |
| 2020 | KR | An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements. | Marcello Balduccini, Michael Gelfond, Enrico Pontelli, Tran Cao Son |
| 2020 | PADL | On Repairing Web Services Workflows. | Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son |
| 2019 | AAAI | Multi-Context System for Optimization Problems. | Tiep Le, Tran Cao Son, Enrico Pontelli |
| 2019 | PADL | Natural Language Generation from Ontologies. | Van Nguyen, Tran Cao Son, Enrico Pontelli |
| 2018 | CP | A Large Neighboring Search Schema for Multi-agent Optimization. | Khoi D. Hoang, Ferdinando Fioretto, William Yeoh, Enrico Pontelli, Roie Zivan |
| 2018 | FlAIRS | Reasoning with Doxastic Attitudes in Multi-Agent Domains. | Ben Wright, Enrico Pontelli |
| 2018 | ICCHP | Exploring a Novel Inexpensive Tangible Interface for Non-visual Math and Science. | R. Stanton, Enrico Pontelli, Phoebe O. Toups Dugas, Muhanad S. Manshad |
| 2018 | ICLP | MASP-Reduce: A Proposal for Distributed Computation of Stable Models. | Federico Igne, Agostino Dovier, Enrico Pontelli |
| 2018 | ICLP | Explanations Generation For Web Service Workflow. | Van Duc Nguyen, Tran Cao Son, Enrico Pontelli |
| 2018 | PADL | Automatic Web Services Composition for Phylotastic. | Thanh Hai Nguyen, Tran Cao Son, Enrico Pontelli |
| 2017 | AAAI | A Multiagent System Approach to Scheduling Devices in Smart Homes. | Ferdinando Fioretto, William Yeoh, Enrico Pontelli |
| 2017 | IJCAI | A generic approach to planning in the presence of incomplete information: Theory and implementation (Extended Abstract). | Son Thanh To, Tran Cao Son, Enrico Pontelli |
| 2017 | SIGCSE | Learning and Identity in YWIC: An Analysis of Program Implementation and Design as Promoting Agency in Computing (Abstract Only). | Sarah Hug, Enrico Pontelli, Raena Cota, Suzanne Eyerman |
| 2016 | AAAI | Multi-Variable Agents Decomposition for DCOPs. | Ferdinando Fioretto, William Yeoh, Enrico Pontelli |
| 2016 | CP | A Dynamic Programming-Based MCMC Framework for Solving DCOPs with GPUs. | Ferdinando Fioretto, William Yeoh, Enrico Pontelli |
| 2016 | HCI | On the Effectiveness of a Collaborative Virtual Pair-Programming Environment. | Ahmad Al-Jarrah, Enrico Pontelli |
| 2016 | ICLP | An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. | Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini |
| 2016 | KR | Reasoning about Truthfulness of Agents Using Answer Set Programming. | Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini |
| 2016 | PADL | A GPU Implementation of the ASP Computation. | Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella |
| 2015 | AAAI | Solving Distributed Constraint Optimization Problems Using Logic Programming. | Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh |
| 2015 | AAAI | Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence. | Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond |
| 2015 | CP | Exploiting GPUs in Solving (Distributed) Constraint Optimization Problems with Dynamic Programming. | Ferdinando Fioretto, Tiep Le, Enrico Pontelli, William Yeoh, Tran Cao Son |
| 2015 | FIE | DISSECT: Analysis of pedagogical techniques to integrate computational thinking into K-12 curricula. | Taylor Burgett, R. Folk, James Fulton, Amanda Peel, Enrico Pontelli, Victor Szczepanski |
| 2015 | FIE | GK-12 DISSECT: Incorporating computational thinking with K-12 science without computer access. | R. Folk, G. Lee, Ashley Michalenko, Amanda Peel, Enrico Pontelli |
| 2015 | FIE | Young Women in Computing: Creating a successful and sustainable pipeline. | Natasha Nesiba, J. Dana-Farley, N. Muhyi, J. Chen, N. Ray, Enrico Pontelli |
| 2015 | FIE | DISSECT: Exploring the relationship between computational thinking and English literature in K-12 curricula. | Natasha Nesiba, Enrico Pontelli, Timothy Staley |
| 2015 | FIE | DISSECT: An experiment in infusing computational thinking in a sixth grade classroom. | Amanda Peel, James Fulton, Enrico Pontelli |
| 2015 | ICLP | Parallel Execution of the ASP Computation - an Investigation on GPUs. | Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella |
| 2015 | ICTAI | Exploring the Use of BDDs in Conformant Planning. | Stefano Tognazzi, Agostino Dovier, Enrico Pontelli, Tran Cao Son |
| 2015 | PRIMA | Multi-Context Systems with Preferences. | Tiep Le, Tran Cao Son, Enrico Pontelli |
| 2014 | CP | Improving DPOP with Branch Consistency for Solving Distributed Constraint Optimization Problems. | Ferdinando Fioretto, Tiep Le, William Yeoh, Enrico Pontelli, Tran Cao Son |
| 2014 | ECAI | A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems. | Federico Campeotto, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli |
| 2014 | FIE | "AliCe-ViLlagE" Alice as a Collaborative Virtual Learning Environment. | Ahmad Al-Jarrah, Enrico Pontelli |
| 2014 | FIE | A multi-layer universally designed workspace for tracking students skills and mastery transition in mathematics manipulation in inclusive education. | Nancy Alajarmeh, Enrico Pontelli, Taylor Burgett |
| 2014 | FIE | DISSECT: An experiment in infusing computational thinking in K-12 science curricula. | Kenza S. Arraki, Kasha Blair, Taylor Burgett, J. Greenling, Jessica Haebe, George Lee, Amanda Peel, Victor Szczepanski, Enrico Pontelli, Sarah Hug |
| 2014 | JELIA | Finitary S5-Theories. | Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond |
| 2014 | PADL | Exploring the Use of GPUs in Constraint Solving. | Federico Campeotto, Alessandro Dal Pal, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli |
| 2014 | PADL | Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems. | Tran Cao Son, Enrico Pontelli, Tiep Le |
| 2013 | CHI | Exploring tangible collaborative distance learning environments for the blind and visually impaired. | Muhanad S. Manshad, Enrico Pontelli, Shakir J. Manshad |
| 2013 | ICPP | Protein Structure Prediction on GPU: A Declarative Approach in a Multi-agent Framework. | Federico Campeotto, Agostino Dovier, Enrico Pontelli |
| 2013 | SIGCSE | DISSECT: integrating computational thinking in the traditional K-12 curricula through collaborative teaching (abstract only). | Sarah Hug, Josh Sandry, Ryan Vordermann, Enrico Pontelli, Ben Wright |
| 2012 | ASSETS | E-Arithmetic: non-visual arithmetic manipulation for students with impaired vision. | Nancy Alajarmeh, Enrico Pontelli |
| 2012 | CP | A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints. | Federico Campeotto, Alessandro Dal Pal, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli |
| 2012 | ICCHP | A Non-visual Electronic Workspace for Learning Algebra. | Nancy Alajarmeh, Enrico Pontelli |
| 2012 | ICCHP | Trackable Interactive Multimodal Manipulatives: Towards a Tangible User Environment for the Blind. | Muhanad S. Manshad, Enrico Pontelli, Shakir J. Manshad |
| 2012 | ICLP | ASP at Work: An ASP Implementation of PhyloWS. | Tiep Le, Hieu Nguyen, Enrico Pontelli, Tran Cao Son |
| 2011 | AAAI | On Improving Conformant Planners by Analyzing Domain-Structures. | Hoang-Khoi Nguyen, Dang-Vien Tran, Tran Cao Son, Enrico Pontelli |
| 2011 | AAAI | Conjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF Formula. | Son Thanh To, Tran Cao Son, Enrico Pontelli |
| 2011 | AAAI | On the Effectiveness of Belief State Representation in Contingent Planning. | Son Thanh To, Tran Cao Son, Enrico Pontelli |
| 2011 | ASSETS | MICOO (multimodal interactive cubes for object orientation): a tangible user interface for the blind and visually impaired. | Muhanad S. Manshad, Enrico Pontelli, Shakir J. Manshad |
| 2011 | HCI | From "Reading" Math to "Doing" Math: A New Direction in Non-visual Math Accessibility. | Nancy Alajarmeh, Enrico Pontelli, Tran Cao Son |
| 2011 | ICLP | CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services. | Brandon Chisham, Enrico Pontelli, Tran Cao Son, Ben Wright |
| 2011 | ICLP | BAAC: A Prolog System for Action Description and Agents Coordination. | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
| 2011 | IJCAI | Exploring Protein Fragment Assembly Using CLP. | Alessandro Dal Pal, Agostino Dovier, Federico Fogolari, Enrico Pontelli |
| 2011 | IJCAI | A Logical Formulation for Negotiation among Dishonest Agents. | Chiaki Sakama, Tran Cao Son, Enrico Pontelli |
| 2011 | IJCAI | On the Effectiveness of CNF and DNF Representations in Contingent Planning. | Son Thanh To, Enrico Pontelli, Tran Cao Son |
| 2011 | LPNMR | ASP-Prolog for Negotiation among Dishonest Agents. | Ngoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli, Chiaki Sakama |
| 2010 | AAAI | On the Use of Prime Implicates in Conformant Planning. | Son Thanh To, Tran Cao Son, Enrico Pontelli |
| 2010 | DAS | Detecting and recognizing tables in spreadsheets. | Iyad Abu Doush, Enrico Pontelli |
| 2010 | ICCHP | Non-visual Navigation of Spreadsheet Tables. | Iyad Abu Doush, Enrico Pontelli |
| 2010 | ICCHP | Integrating Semantic Web and Folksonomies to Improve E-Learning Accessibility. | Iyad Abu Doush, Enrico Pontelli |
| 2010 | PADL | Answer Set Programming in 2010: A Personal Perspective. | Enrico Pontelli |
| 2009 | ASSETS | Making Microsoft Excel | Iyad Abu Doush, Enrico Pontelli, Dominic Simon, Tran Cao Son, Ou Ma |
| 2009 | HCI | Building a Programmable Architecture for Non-visual Navigation of Mathematics: Using Rules for Guiding Presentation and Switching between Modalities. | Iyad Abu Doush, Enrico Pontelli |
| 2009 | ICLP | Answer Set Programming with Constraints Using Lazy Grounding. | Alessandro Dal Pal, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
| 2009 | ICLP | Logic Programming for Multiagent Planning with Negotiation. | Tran Cao Son, Enrico Pontelli, Chiaki Sakama |
| 2009 | LPNMR | Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using . | Chitta Baral, Tran Cao Son, Enrico Pontelli |
| 2009 | LPNMR | Representing Multi-agent Planning in CLP. | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
| 2009 | LPNMR | Present and Future Challenges for ASP Systems. | Agostino Dovier, Enrico Pontelli |
| 2009 | LPNMR | Logic Programming Techniques in Protein Structure Determination: Methodologies and Results. | Alessandro Dal Pal, Agostino Dovier, Enrico Pontelli |
| 2009 | PADL | Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications. | Dang-Vien Tran, Hoang-Khoi Nguyen, Enrico Pontelli, Tran Cao Son |
| 2009 | SIGCSE | Untitled record | Inna Pivkina, Enrico Pontelli, Rachel Jensen, Jessica Haebe |
| 2008 | AAAI | Credulous Resolution for Answer Set Programming. | Piero A. Bonatti, Enrico Pontelli, Tran Cao Son |
| 2008 | PRICAI | Some Results on the Completeness of Approximation Based Reasoning. | Tran Cao Son, Enrico Pontelli |
| 2007 | AAAI | An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
| 2007 | ICLP | Multivalued Action Languages with Constraints in CLP(FD). | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
| 2007 | ICLP | Logic Programs with Abstract Constraint Atoms: The Role of Computations. | Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski |
| 2007 | ICLP | ASP-PROLOG: Composition and Interoperation of Rules. | Enrico Pontelli |
| 2007 | LPNMR | CPP: A Constraint Logic Programming Based Planner with Preferences. | Phan Huy Tu, Tran Cao Son, Enrico Pontelli |
| 2007 | PADL | Inductive Logic Programming by Instance Patterns. | Chongbing Liu, Enrico Pontelli |
| 2007 | PPDP | Nonmonotonic inductive logic programming by instance patterns. | Chongbing Liu, Enrico Pontelli |
| 2006 | AAAI | Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. | Tran Cao Son, Enrico Pontelli, Phan Huy Tu |
| 2006 | ICLP | Untitled record | Enrico Pontelli, Tran Cao Son |
| 2006 | ISAIM | Non-monotonic Negation in Hybrid Probabilistic Logic Programs. | Emad Saad, Enrico Pontelli |
| 2006 | SAC | A constraint logic programming approach to 3D structure determination of large protein complexes. | Alessandro Dal Pal, Enrico Pontelli, Jing He, Yonggang Lu |
| 2005 | EuroPar | An Investigation of Sharing Strategies for Answer Set Solvers and SAT Solvers. | Hung Viet Le, Enrico Pontelli |
| 2005 | ICLP | A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems. | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
| 2005 | ICLP | Hybrid Probabilistic Logic Programs with Non-monotonic Negation. | Emad Saad, Enrico Pontelli |
| 2005 | LPAR | A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem. | Alessandro Dal Pal, Agostino Dovier, Enrico Pontelli |
| 2005 | LPAR | Computational Issues in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees. | Yao Wu, Enrico Pontelli, Desh Ranjan |
| 2005 | LPNMR | Smodels | Islam Elkabani, Enrico Pontelli, Tran Cao Son |
| 2005 | LPNMR | Integrating an Answer Set Solver into Prolog: ASP-PROLOG. | Omar El-Khatib, Enrico Pontelli, Tran Cao Son |
| 2005 | PADL | Towards a More Practical Hybrid Probabilistic Logic Programming Framework. | Emad Saad, Enrico Pontelli |
| 2005 | PPDP | Heuristics, optimizations, and parallelism for protein structure prediction in CLP( | Alessandro Dal Pal, Agostino Dovier, Enrico Pontelli |
| 2004 | ASSETS | UMA: a system for universal mathematics accessibility. | Arthur I. Karshmer, Gopal Gupta, Enrico Pontelli, Klaus Miesenberger, N. Ammalai, Deepa Gopal, Mario Batusic, Bernhard Stger, Brian Palmer, Hai-Feng Guo |
| 2004 | ICCHP | Towards a Universal Maths Conversion Library. | Dominique Archambault, Donal Fitzpatrick, Gopal Gupta, Arthur I. Karshmer, Klaus Miesenberger, Enrico Pontelli |
| 2004 | ICCHP | Translating between Formats for Mathematics: Current Approach and an Agenda for Future Developments. | Enrico Pontelli, Brian Palmer |
| 2004 | ICCHP | Discovering Structure of Web Pages for Non-visual Navigation: Binding Text to Forms. | Enrico Pontelli, Ravikumar Reddy Kotthuru |
| 2004 | ICLP | Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP. | Islam Elkabani, Enrico Pontelli, Tran Cao Son |
| 2004 | ISPA | A Parallel Algorithm for Helix Mapping Between 3D and 1D Protein Structure Using the Length Constraints. | Jing He, Yonggang Lu, Enrico Pontelli |
| 2004 | LPNMR | Smodels with CLP?A Treatment of Aggregates in ASP. | Enrico Pontelli, Tran Cao Son, Islam Elkabani |
| 2004 | LPNMR | Planning with Preferences Using Logic Programming. | Tran Cao Son, Enrico Pontelli |
| 2004 | PADL | ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. | Omar El-Khatib, Enrico Pontelli, Tran Cao Son |
| 2003 | EuroPar | A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms. | Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta |
| 2003 | HCI | Experiments in Translating and Navigating Digital Formats for Mathematics (A Progress Report). | Brian Palmer, Enrico Pontelli |
| 2003 | ICLP | Intensional Sets in CLP. | Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
| 2003 | ICLP | Adding Preferences to Answer Set Planning. | Tran Cao Son, Enrico Pontelli |
| 2003 | ICLP | On the Complexity of Dependent And-Parallelism in Logic Programming. | Yao Wu, Enrico Pontelli, Desh Ranjan |
| 2003 | PADL | Non-monotonic Reasoning on Beowulf Platforms. | Enrico Pontelli, Marcello Balduccini, F. Bermudez |
| 2003 | PDPTA | Developing Agents for Bioinformatics Applications: A Preliminary Design. | Enrico Pontelli, Tran Cao Son, Yu Pan, T. Phan |
| 2003 | PPDP | Integrating finite domain constraints and CLP with sets. | Alessandro Dal Pal, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
| 2002 | ASSETS | Navigation of HTML tables, frames, and XML fragments. | Enrico Pontelli, Douglas J. Gillan, W. Xiong, Emad Saad, Gopal Gupta, Arthur I. Karshmer |
| 2002 | ASSETS | Planning, reasoning, and agents for non-visual navigation of tables and frames. | Enrico Pontelli, Tran Cao Son |
| 2002 | JELIA | Reasoning about Actions in Prioritized Default Theory. | Tran Cao Son, Enrico Pontelli |
| 2002 | LATIN | Ancestor Problems on Pure Pointer Machines. | Enrico Pontelli, Desh Ranjan |
| 2002 | PADL | Semantics-Based Filtering: Logic Programming's Killer App? | 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 |
| 2001 | HCI | The development of a tool to enhance communications between blind and sighted mathematicians, students and teachers: a global translation appliance. | Arthur I. Karshmer, Gopal Gupta, Klaus Miesenberger, Enrico Pontelli, Hai-Feng Guo |
| 2001 | ICLP | PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. | Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta |
| 2001 | ICPP | Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-Based AI Systems. | Karen Villaverde, Hai-Feng Guo, Enrico Pontelli, Gopal Gupta |
| 2001 | PADL | Interoperability between Bioinformatics Tools: A Logic Programming Approach. | Juan Raymundo Iglesias, Gopal Gupta, Enrico Pontelli, Desh Ranjan, Brook Milligan |
| 2001 | PADL | Construction and Optimization of a Parallel Engine for Answer Set Programming. | Enrico Pontelli, Omar El-Khatib |
| 2000 | ASSETS | A domain specific language framework for non-visual browsing of complex HTML structures. | Enrico Pontelli, W. Xiong, Gopal Gupta, Arthur I. Karshmer |
| 1999 | HCI | Software technology and computer interfaces for the disabled: non-visual WWW browsing. | Arthur I. Karshmer, Enrico Pontelli, Gopal Gupta |
| 1999 | ICLP | ACI1 Constraints. | Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi |
| 1999 | ICLP | Stack-splitting: Or-/And-parallelism on Distributed Memory Machines. | Gopal Gupta, Enrico Pontelli |
| 1999 | ICPP | Efficient Techniques for Distributed Implementation of Search-Based AI Systems. | Gopal Gupta, Enrico Pontelli |
| 1998 | AAAI | Natural Language Multiprocessing: A Case Study. | Enrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell |
| 1998 | ICLP | On the Representation and Management of Finite Sets in CLP Languages. | Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli |
| 1998 | ICLP | Natural Language Multiprocessing: A Case Study. | Enrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell |
| 1998 | ICPP | Automatic Generation of Provably Correct Parallelizing Compilers. | Gopal Gupta, Enrico Pontelli, Amado Lara-Rodrguez, Roberto Felix-Cardenas |
| 1998 | ICPP | Efficient Backtracking in And-Parallel Implementations of Non-deterministic Languages. | Enrico Pontelli, Gopal Gupta |
| 1997 | ICLP | Implementation Mechanisms for Dependent And-Parallelism. | Enrico Pontelli, Gopal Gupta |
| 1997 | ICLP | Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism. | Enrico Pontelli, Gopal Gupta, Francesco Pulvirenti, Alfredo Ferro |
| 1997 | ICLP | Visualization of And/Or-Parallel Execution of Logic Programs. | Rick Vaupel, Enrico Pontelli, Gopal Gupta |
| 1997 | ICTAI | W-ACE: A Logic Language for Intelligent Internet Programming. | Enrico Pontelli, Gopal Gupta |
| 1997 | RTSS | A constraint-based approach for specification and verification of real-time systems. | Gopal Gupta, Enrico Pontelli |
| 1996 | ICLP | Dependent And-Parallelism Revisited (Poster Abstract). | Enrico Pontelli, Gopal Gupta |
| 1995 | EuroPar | On the Duality Between Or-parallelism and And-parallelism in Logic Programming. | Enrico Pontelli, Gopal Gupta |
| 1995 | ICLP | Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming. | Gopal Gupta, Vtor Santos Costa, Enrico Pontelli |
| 1995 | ICLP | Determinacy Driven Optimizations of And-Parallel Prolog Implementations. | Enrico Pontelli, Gopal Gupta, Dongxing Tang |
| 1994 | ICLP | Compiling Intensional Sets in CLP. | Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
| 1994 | ICLP | ACE: And/Or-parallel Copying-based Execution of Logic Programs. | Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Vtor Santos Costa |
| 1994 | ICLP | &ACE: the And-parallel Component of ACE (A Progress Report on ACE). | Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo |
| 1994 | ICLP | Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. | Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro |
| 1993 | ICLP | Extensional and Intensional Sets in CLP with Intensional Negation. | Paola Bruscoli, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli |
| 1991 | ICLP | {log}: A Logic Programming Language with Finite Sets. | Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi |