Enrico Pontelli

372 papers A* 24A 29B 52C 35Misc 7Journal 117Unranked 97
YearRankTypeTitle / Venue / Authors
2025 J jnl
Developing Strategies to Increase Capacity in AI Education.
CoRR
Noah Q. Cowit, Sri Yash Tadimalla, Stephanie T. Jones, Mary Lou Maher, Tracy Camp, Enrico Pontelli
2024 A conf
CP for Bin Packing with Multi-Core and GPUs.
CP
Fabio Tardivo, Laurent Michel, Enrico Pontelli
2024 J jnl
Constraint Propagation on GPU: A Case Study for the Bin Packing Constraint.
CoRR
Fabio Tardivo, Laurent Michel, Enrico Pontelli
2024 J jnl
Constraint propagation on GPU: a case study for the cumulative constraint.
Constraints An Int. J.
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
2024 — conf
Learning with the Rashomon Augmented Reality Cube (RARc).
SIGCSE (2)
Candy Arce, Angie Hernandez, Ruth C. Torres Castillo, Tomas Valdez, Raena Cota, Enrico Pontelli
2024 A conf
On Dealing with False Beliefs and Maintaining KD45
AAMAS
Tran Cao Son, Loc Pham, Enrico Pontelli
2024 — conf
Using Computational Thinking to Learn Creative Writing and Performance Arts: Summer Experiences of Story Creation Projects.
SIGCSE (2)
Ruth C. Torres Castillo, Tomas Valdez, Enrico Pontelli, Horacio Gonzalez, Erick Nevarez, Raena Cota
2024 C conf
WIP: DEPICT for Out-of-School Time (DEPICT4OST): Guiding Undergraduates in the Development and Implementation of Computational-Infused Writing Activities.
FIE
Ruth C. Torres Castillo, Sarah T. Hug, Adan Delval, Wendy Chi, Enrico Pontelli
2024 B conf
ℋ-Efp: Bridging Efficiency in Multi-agent Epistemic Planning with Heuristics.
PRIMA
Francesco Fabiano, Theoderic Platt, Tran Cao Son, Enrico Pontelli
2023 J jnl
Answer Set Planning: A Survey.
Theory Pract. Log. Program.
Tran Cao Son, Enrico Pontelli, Marcello Balduccini, Torsten Schaub
2023 B conf
Constraint Propagation on GPU: A Case Study for the Cumulative Constraint.
CPAIOR
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
2023 J jnl
Constraint propagation on GPU: A case study for the AllDifferent constraint.
J. Log. Comput.
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
2023 J jnl
Introduction to the 39
Theory Pract. Log. Program.
Stefania Costantini, Enrico Pontelli, Alessandra Russo, Francesca Toni
2023 J jnl
Introductory programming and young learners with visual disabilities: a review.
Univers. Access Inf. Soc.
Emmanuel Utreras, Enrico Pontelli
2023 A* conf
Planning in Multi-Agent Domains with Untruthful Announcements.
ICAPS
Loc Pham, Tran Cao Son, Enrico Pontelli
2023 B ed.
Proceedings 39th International Conference on Logic Programming, ICLP 2023, Imperial College London, UK, 9th July 2023 - 15th July 2023.
ICLP
Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Alice Gaggl, Roberta Calegari, Artur S. d'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni
2023 — ch.
Prolog Meets Biology.
Prolog: The Next 50 Years
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
2023 Misc conf
Reasoning about Non-Deterministic Observability and Hypothetical Action Occurrences in Multi-Agent Domains.
SAC
Loc Pham, Tran Cao Son, Enrico Pontelli
2023 J jnl
The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II.
Theory Pract. Log. Program.
Thomas Eiter, Michael J. Maher, Enrico Pontelli, Luc De Raedt, Miroslaw Truszczynski
2022 B conf
A New Semantics for Action Language m
PRIMA
Loc Pham, Yusuf Izmirlioglu, Tran Cao Son, Enrico Pontelli
2022 — conf
A Review of the Muddy Children Problem.
AI*IA
Yusuf Izmirlioglu, Loc Pham, Tran Cao Son, Enrico Pontelli
2022 Misc conf
A Robust State Transition Function for Multi-agent Epistemic Systems.
EPIA
Yusuf Izmirlioglu, Loc Pham, Tran Cao Son, Enrico Pontelli
2022 J jnl
An action language for multi-agent domains.
Artif. Intell.
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
2022 J jnl
Answer Set Planning: A Survey.
CoRR
Tran Cao Son, Enrico Pontelli, Marcello Balduccini, Torsten Schaub
2022 — conf
Constraints propagation on GPU: A case study for AllDifferent.
CILC
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
2022 — conf
Culturally Responsive Pedagogy in Computer Science (CR in CS)- K-12 Teacher Professional Development- Needs and Challenges.
SIGCSE (2)
Raena Cota, Enrico Pontelli, Paige Prescott, Lauren Curry, Lisa Hufstedler, Francis Vigil, Yolanda Lozano, David Rutledge
2022 J jnl
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP.
Theory Pract. Log. Program.
Thomas Eiter, Michael J. Maher, Enrico Pontelli, Luc De Raedt, Miroslaw Truszczynski
2022 C conf
Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs.
PADL
Fabio Tardivo, Enrico Pontelli
2022 J jnl
Parallel Logic Programming: A Sequel.
Theory Pract. Log. Program.
Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
2022 B conf
State Transition in Multi-agent Epistemic Domains Using Answer Set Programming.
LPNMR
Yusuf Izmirlioglu, Loc Pham, Tran Cao Son, Enrico Pontelli
2022 Misc conf
Update models for lying and misleading announcements.
SAC
Loc Pham, Tran Cao Son, Enrico Pontelli
2021 C conf
A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States.
PADL
Fabio Tardivo, Loc Pham, Tran Cao Son, Enrico Pontelli
2021 — conf
Culturally Sustaining Pedagogies in CS: Modern K12 Outreach and its Adaptability in a Global Crisis.
RESPECT
Jazmin Collins, Kami Otero De Owens, Vensan Cabardo, Sarah Hug, Raena Cota, Enrico Pontelli
2021 J jnl
Generating explanations for answer set programming applications.
CoRR
Ly Ly T. Trieu, Tran Cao Son, Enrico Pontelli, Marcello Balduccini
2021 — conf
Multi-agent Epistemic Planning with Inconsistent Beliefs, Trust and Lies.
PRICAI (1)
Francesco Fabiano, Alessandro Burigana, Agostino Dovier, Enrico Pontelli, Tran Cao Son
2021 J jnl
Parallel Logic Programming: A Sequel.
CoRR
Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
2020 — conf
Accessibility of Block-Based Introductory Programming Languages and a Tangible Programming Tool Prototype.
ICCHP (1)
Emmanuel Utreras, Enrico Pontelli
2020 A* conf
An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements.
KR
Marcello Balduccini, Michael Gelfond, Enrico Pontelli, Tran Cao Son
2020 J jnl
Design and Implementation of Phylotastic, a Service Architecture for Evolutionary Biology.
Int. J. Softw. Eng. Knowl. Eng.
Abu Saleh Md Tayeen, Thanh Hai Nguyen, Van Duc Nguyen, Enrico Pontelli
2020 — conf
Design of a Tangible Programming Tool for Students with Visual Impairments and Low Vision.
HCI (9)
Emmanuel Utreras, Enrico Pontelli
2020 A* conf
EFP 2.0: A Multi-Agent Epistemic Solver with Multiple E-State Representations.
ICAPS
Francesco Fabiano, Alessandro Burigana, Agostino Dovier, Enrico Pontelli
2020 J jnl
Modelling Multi-Agent Epistemic Planning in ASP.
CoRR
Alessandro Burigana, Francesco Fabiano, Agostino Dovier, Enrico Pontelli
2020 J jnl
Modelling Multi-Agent Epistemic Planning in ASP.
Theory Pract. Log. Program.
Alessandro Burigana, Francesco Fabiano, Agostino Dovier, Enrico Pontelli
2020 C conf
On Repairing Web Services Workflows.
PADL
Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son
2019 — conf
Multi-Agent Epistemic Planning.
CILC
Enrico Pontelli
2019 A* conf
Multi-Context System for Optimization Problems.
AAAI
Tiep Le, Tran Cao Son, Enrico Pontelli
2019 — conf
Natural Language Generation for Non-Expert Users.
ICLP Technical Communications
Van Duc Nguyen, Tran Cao Son, Enrico Pontelli
2019 C conf
Natural Language Generation from Ontologies.
PADL
Van Nguyen, Tran Cao Son, Enrico Pontelli
2019 — conf
Non-Well-Founded Set Based Multi-Agent Epistemic Action Language.
CILC
Francesco Fabiano, Idriss Riouak, Agostino Dovier, Enrico Pontelli
2019 — conf
Towards Distributed Computation of Answer Sets.
CILC
Marco De Bortoli, Federico Igne, Fabio Tardivo, Pietro Totis, Agostino Dovier, Enrico Pontelli
2018 A conf
A Large Neighboring Search Schema for Multi-agent Optimization.
CP
Khoi D. Hoang, Ferdinando Fioretto, William Yeoh, Enrico Pontelli, Roie Zivan
2018 J jnl
ASP Applications in Bio-informatics: A Short Tour.
Künstliche Intell.
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
2018 J jnl
Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs.
Constraints An Int. J.
Ferdinando Fioretto, Enrico Pontelli, William Yeoh, Rina Dechter
2018 C conf
Automatic Web Services Composition for Phylotastic.
PADL
Thanh Hai Nguyen, Tran Cao Son, Enrico Pontelli
2018 J jnl
Distributed Constraint Optimization Problems and Applications: A Survey.
J. Artif. Intell. Res.
Ferdinando Fioretto, Enrico Pontelli, William Yeoh
2018 J jnl
Distributed multi-agent optimization for smart grids and home automation.
Intelligenza Artificiale
Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli
2018 A* conf
EFP and PG-EFP: Epistemic Forward Search Planners in Multi-Agent Domains.
ICAPS
Tiep Le, Francesco Fabiano, Tran Cao Son, Enrico Pontelli
2018 — conf
Explanations Generation For Web Service Workflow.
ICLP (Technical Communications)
Van Duc Nguyen, Tran Cao Son, Enrico Pontelli
2018 — conf
Exploring a Novel Inexpensive Tangible Interface for Non-visual Math and Science.
ICCHP (1)
R. Stanton, Enrico Pontelli, Phoebe O. Toups Dugas, Muhanad S. Manshad
2018 — ch.
Exploring life: answer set programming in bioinformatics.
Declarative Logic Programming
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
2018 — conf
MASP-Reduce: A Proposal for Distributed Computation of Stable Models.
ICLP (Technical Communications)
Federico Igne, Agostino Dovier, Enrico Pontelli
2018 J jnl
Multi-Context Systems with Preferences.
Fundam. Informaticae
Tiep Le, Tran Cao Son, Enrico Pontelli
2018 — ch.
Parallel Answer Set Programming.
Handbook of Parallel Constraint Reasoning
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2018 J jnl
Past and present (and future) of parallel and distributed computation in (constraint) logic programming.
Theory Pract. Log. Program.
Ferdinando Fioretto, Enrico Pontelli
2018 J jnl
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming.
CoRR
Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son
2018 J jnl
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming.
Theory Pract. Log. Program.
Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son
2018 Misc conf
Reasoning with Doxastic Attitudes in Multi-Agent Domains.
FLAIRS
Ben Wright, Enrico Pontelli
2017 J jnl
2016 IEEE Education Society Awards, 2016 Frontiers in Education Conference Awards, and Selected IEEE Awards.
IEEE Trans. Educ.
Edwin C. Jones, Kathleen E. Wage, Sanjit A. Seshia, Susan M. Lord, Michael E. Auer, Lance C. Pérez, Katherine Shu-Min Li, S. L. Krishna Priya, Sasha Nikolic, Francisco Arcega, Richard A. Layton, Matthew W. Ohland, Kayode Peter Ayodele, Isaac A. Inyang, Lawrence O. Kehinde, Jana Reisslein, Amy M. Johnson, Martin Reisslein, James L. Huff, Joachim Walther, Brent K. Jesiek, Carla B. Zoltowski, William C. Oakes, Natasha Nesiba, Enrico Pontelli, Timothy Staley, Melany M. Ciampi, John Heywood, Diane T. Rover, Raman M. Unnikrishnan, Agnieszka Miguel
2017 A conf
A Distributed Constraint Optimization (DCOP) Approach to the Economic Dispatch with Demand Response.
AAMAS
Ferdinando Fioretto, William Yeoh, Enrico Pontelli, Ye Ma, Satishkumar J. Ranade
2017 — conf
A Multiagent System Approach to Scheduling Devices in Smart Homes.
AAAI Workshops
Ferdinando Fioretto, William Yeoh, Enrico Pontelli
2017 A conf
A Multiagent System Approach to Scheduling Devices in Smart Homes.
AAMAS
Ferdinando Fioretto, William Yeoh, Enrico Pontelli
2017 — conf
A Realistic Dataset for the Smart Home Device Scheduling Problem for DCOPs.
AAMAS Workshops (Visionary Papers)
William Kluegel, Muhammad A. Iqbal, Ferdinando Fioretto, William Yeoh, Enrico Pontelli
2017 J jnl
A Realistic Dataset for the Smart Home Device Scheduling Problem for DCOPs.
CoRR
William Kluegel, Muhammad Aamir Iqbal, Ferdinando Fioretto, William Yeoh, Enrico Pontelli
2017 A* conf
A generic approach to planning in the presence of incomplete information: Theory and implementation (Extended Abstract).
IJCAI
Son Thanh To, Tran Cao Son, Enrico Pontelli
2017 J jnl
Community and Code: Nine Lessons from Nine NESCent Hackathons.
F1000Research
Arlin Stoltzfus, Michael S. Rosenberg, Hilmar Lapp, Aidan Budd, Karen Cranston, Enrico Pontelli, Shann Oliver, Rutger A. Vos
2017 A conf
Learning and Identity in YWIC: An Analysis of Program Implementation and Design as Promoting Agency in Computing (Abstract Only).
SIGCSE
Sarah Hug, Enrico Pontelli, Raena Cota, Suzanne Eyerman
2017 J jnl
Reports of the Workshops of the Thirty-First AAAI Conference on Artificial Intelligence.
AI Mag.
Monica Anderson, Roman Barták, John S. Brownstein, David L. Buckeridge, Hoda Eldardiry, Christopher W. Geib, Maria L. Gini, Aaron Isaksen, Sarah Keren, Robert Laddaga, Viliam Lisý, Rodney Martin, David R. Martinez, Martin Michalowski, Loizos Michael, Reuth Mirsky, Thanh Hai Nguyen, Michael J. Paul, Enrico Pontelli, Scott Sanner, Arash Shaban-Nejad, Arunesh Sinha, Shirin Sohrabi, Kumar Sricharan, Biplav Srivastava, Mark Stefik, William W. Streilein, Nathan R. Sturtevant, Kartik Talamadupula, Michael Thielscher, Julian Togelius, Tran Cao Son, Long Tran-Thanh, Neal Wagner, Byron C. Wallace, Szymon Wilk, Jichen Zhu
2017 J jnl
Solving DCOPs with Distributed Large Neighborhood Search.
CoRR
Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli, William Yeoh, Roie Zivan
2017 J jnl
Solving Distributed Constraint Optimization Problems Using Logic Programming.
CoRR
Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh
2017 J jnl
Solving distributed constraint optimization problems using logic programming.
Theory Pract. Log. Program.
Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh
2017 J jnl
The Collaborative Virtual Affinity Group Model: Principles and Design.
CoRR
Ahmad Al-Jarrah, Enrico Pontelli, Clinton Jeffery
2016 A conf
A Dynamic Programming-Based MCMC Framework for Solving DCOPs with GPUs.
CP
Ferdinando Fioretto, William Yeoh, Enrico Pontelli
2016 C conf
A GPU Implementation of the ASP Computation.
PADL
Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella
2016 — ed.
AI for Smart Grids and Smart Buildings, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016.
AAAI Workshop: AI for Smart Grids and Smart Buildings
Enrico Pontelli, Alex Rogers, Sylvie Thiébaux, Tran Cao Son
2016 J jnl
Accelerating Exact and Approximate Inference for (Distributed) Discrete Optimization with GPUs.
CoRR
Ferdinando Fioretto, Enrico Pontelli, William Yeoh, Rina Dechter
2016 — conf
An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents.
ICLP (Technical Communications)
Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini
2016 J jnl
Distributed Constraint Optimization Problems and Applications: A Survey.
CoRR
Ferdinando Fioretto, Enrico Pontelli, William Yeoh
2016 A conf
ER-DCOPs: A Framework for Distributed Constraint Optimization with Uncertainty in Constraint Utilities.
AAMAS
Tiep Le, Ferdinando Fioretto, William Yeoh, Tran Cao Son, Enrico Pontelli
2016 — conf
Logic Programming Applied to Genome Evolution in Cancer.
CILC
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Alberto Policriti, Enrico Pontelli
2016 A* conf
Multi-Variable Agents Decomposition for DCOPs.
AAAI
Ferdinando Fioretto, William Yeoh, Enrico Pontelli
2016 — conf
On the Effectiveness of a Collaborative Virtual Pair-Programming Environment.
HCI (23)
Ahmad Al-Jarrah, Enrico Pontelli
2016 — ed.
Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), New York City, USA, July 10, 2016.
KnowProS@IJCAI
Roman Barták, Thomas Leo McCluskey, Enrico Pontelli
2016 A* conf
Reasoning about Truthfulness of Agents Using Answer Set Programming.
KR
Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini
2016 J jnl
Reports of the 2016 AAAI Workshop Program.
AI Mag.
Stefano V. Albrecht, Bruno Bouchard, John S. Brownstein, David L. Buckeridge, Cornelia Caragea, Kevin M. Carter, Adnan Darwiche, Blaz Fortuna, Yannick Francillette, Sébastien Gaboury, C. Lee Giles, Marko Grobelnik, Estevam R. Hruschka Jr., Jeffrey O. Kephart, Parisa Kordjamshidi, Viliam Lisý, Daniele Magazzeni, João Marques-Silva, Pierre Marquis, David R. Martinez, Marek P. Michalowski, Arash Shaban-Nejad, Zeinab Noorian, Enrico Pontelli, Alex Rogers, Stephanie Rosenthal, Dan Roth, Arunesh Sinha, William W. Streilein, Sylvie Thiébaux, Tran Cao Son, Byron C. Wallace, Toby Walsh, Michael Witbrock, Jie Zhang
2015 — conf
A Non-monotonic Goal Specification Language for Planning with Preferences.
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Tran Cao Son, Enrico Pontelli, Chitta Baral
2015 J jnl
A declarative concurrent system for protein structure prediction on GPU.
J. Exp. Theor. Artif. Intell.
Federico Campeotto, Agostino Dovier, Enrico Pontelli
2015 J jnl
A generic approach to planning in the presence of incomplete information: Theory and implementation.
Artif. Intell.
Son Thanh To, Tran Cao Son, Enrico Pontelli
2015 J jnl
An Action Language for Multi-Agent Domains: Foundations.
CoRR
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
2015 J jnl
CUD@SAT: SAT solving on GPUs.
J. Exp. Theor. Artif. Intell.
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
2015 J jnl
Constrained Community-Based Gene Regulatory Network Inference.
ACM Trans. Model. Comput. Simul.
Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli
2015 C conf
DISSECT: An experiment in infusing computational thinking in a sixth grade classroom.
FIE
Amanda Peel, James Fulton, Enrico Pontelli
2015 C conf
DISSECT: Analysis of pedagogical techniques to integrate computational thinking into K-12 curricula.
FIE
Taylor Burgett, R. Folk, James Fulton, Amanda Peel, Enrico Pontelli, Victor Szczepanski
2015 C conf
DISSECT: Exploring the relationship between computational thinking and English literature in K-12 curricula.
FIE
Natasha Nesiba, Enrico Pontelli, Timothy Staley
2015 A conf
Exploiting GPUs in Solving (Distributed) Constraint Optimization Problems with Dynamic Programming.
CP
Ferdinando Fioretto, Tiep Le, Enrico Pontelli, William Yeoh, Tran Cao Son
2015 A* conf
Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence.
AAAI
Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond
2015 B conf
Exploring the Use of BDDs in Conformant Planning.
ICTAI
Stefano Tognazzi, Agostino Dovier, Enrico Pontelli, Tran Cao Son
2015 C conf
GK-12 DISSECT: Incorporating computational thinking with K-12 science without computer access.
FIE
R. Folk, G. Lee, Ashley Michalenko, Amanda Peel, Enrico Pontelli
2015 A conf
Large Neighborhood Search with Quality Guarantees for Distributed Constraint Optimization Problems.
AAMAS
Ferdinando Fioretto, Federico Campeotto, Agostino Dovier, Enrico Pontelli, William Yeoh
2015 — conf
Multi-Agent Action Modeling Through Action Sequences And Perspective Fluents.
AAAI Spring Symposia
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
2015 B conf
Multi-Context Systems with Preferences.
PRIMA
Tiep Le, Tran Cao Son, Enrico Pontelli
2015 A conf
Multi-Variable Agents Decomposition for DCOPs to Exploit Multi-Level Parallelism.
AAMAS
Ferdinando Fioretto, William Yeoh, Enrico Pontelli
2015 — conf
Parallel Execution of the ASP Computation - an Investigation on GPUs.
ICLP (Technical Communications)
Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella
2015 C ed.
Practical Aspects of Declarative Languages - 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
PADL
Enrico Pontelli, Tran Cao Son
2015 — conf
Reasoning about Truthfulness of Agents Using Answer Set Programming.
AAAI Fall Symposia
Tran Cao Son, Enrico Pontelli, Marcello Balduccini
2015 A* conf
Solving Distributed Constraint Optimization Problems Using Logic Programming.
AAAI
Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh
2015 C conf
Young Women in Computing: Creating a successful and sustainable pipeline.
FIE
Natasha Nesiba, J. Dana-Farley, N. Muhyi, J. Chen, N. Ray, Enrico Pontelli
2014 C conf
"AliCe-ViLlagE" Alice as a Collaborative Virtual Learning Environment.
FIE
Ahmad Al-Jarrah, Enrico Pontelli
2014 A conf
A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems.
ECAI
Federico Campeotto, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli
2014 C conf
A multi-layer universally designed workspace for tracking students skills and mastery transition in mathematics manipulation in inclusive education.
FIE
Nancy Alajarmeh, Enrico Pontelli, Taylor Burgett
2014 A conf
ASP-DPOP: solving distributed constraint optimization problems with logic programming.
AAMAS
Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh
2014 C conf
DISSECT: An experiment in infusing computational thinking in K-12 science curricula.
FIE
Kenza S. Arraki, Kasha Blair, Taylor Burgett, J. Greenling, Jessica Haebe, George Lee, Amanda Peel, Victor Szczepanski, Enrico Pontelli, Sarah Hug
2014 C conf
Exploring the Use of GPUs in Constraint Solving.
PADL
Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli
2014 B conf
Finitary S5-Theories.
JELIA
Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond
2014 J jnl
Formalizing Negotiations Using Logic Programming.
ACM Trans. Comput. Log.
Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen, Chiaki Sakama
2014 A conf
GD-GIBBS: a GPU-based sampling algorithm for solving distributed constraint optimization problems.
AAMAS
Ferdinando Fioretto, Federico Campeotto, Luca Da Rin Fioretto, William Yeoh, Enrico Pontelli
2014 A conf
Improving DPOP with Branch Consistency for Solving Distributed Constraint Optimization Problems.
CP
Ferdinando Fioretto, Tiep Le, William Yeoh, Enrico Pontelli, Tran Cao Son
2014 J jnl
Logic and Constraint Logic Programming for Distributed Constraint Optimization.
CoRR
Tiep Le, Enrico Pontelli, Tran Cao Son, William Yeoh
2014 J jnl
Techniques to enhance efficiency and effectiveness of inductive logic programming systems: the TWEETY approaches.
J. Exp. Theor. Artif. Intell.
Chongbing Liu, Enrico Pontelli
2014 C conf
Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems.
PADL
Tran Cao Son, Enrico Pontelli, Tiep Le
2013 J jnl
A Constraint Solver for Flexible Protein Model.
J. Artif. Intell. Res.
Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli
2013 J jnl
A conformant planner based on approximation: CpA(H).
ACM Trans. Intell. Syst. Technol.
Vien Tran, Khoi Nguyen, Tran Cao Son, Enrico Pontelli
2013 J jnl
Autonomous agents coordination: Action languages meet CLP() and Linda.
Theory Pract. Log. Program.
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2013 — conf
CUD@ASP: Experimenting with GPGPUs in ASP solving.
CILC
Flavio Vella, Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
2013 — conf
Constraint Programming in Community-Based Gene Regulatory Network Inference.
CMSB
Ferdinando Fioretto, Enrico Pontelli
2013 A conf
DISSECT: integrating computational thinking in the traditional K-12 curricula through collaborative teaching (abstract only).
SIGCSE
Sarah Hug, Josh Sandry, Ryan Vordermann, Enrico Pontelli, Ben Wright
2013 — conf
Exploring tangible collaborative distance learning environments for the blind and visually impaired.
CHI Extended Abstracts
Muhanad S. Manshad, Enrico Pontelli, Shakir J. Manshad
2013 J jnl
Non-visual navigation of spreadsheets - Enhancing accessibility of Microsoft Excel™.
Univers. Access Inf. Soc.
Iyad Abu Doush, Enrico Pontelli
2013 J jnl
Phylotastic! Making tree-of-life knowledge accessible, reusable and convenient.
BMC Bioinform.
Arlin Stoltzfus, Hilmar Lapp, Naim Matasci, Helena F. Deus, Brian Sidlauskas, Christian M. Zmasek, Gaurav Vaidya, Enrico Pontelli, Karen Cranston, Rutger A. Vos, Campbell O. Webb, Luke J. Harmon, Meg Pirrung, Brian C. O'Meara, Matthew W. Pennell, Siavash Mirarab, Michael S. Rosenberg, James P. Balhoff, Holly M. Bik, Tracy A. Heath, Peter E. Midford, Joseph W. Brown, Emily Jane McTavish, Jeet Sukumaran, Mark Westneat, Michael E. Alfaro, Aaron Steele, Greg Jordan
2013 B conf
Protein Structure Prediction on GPU: A Declarative Approach in a Multi-agent Framework.
ICPP
Federico Campeotto, Agostino Dovier, Enrico Pontelli
2013 — conf
Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL.
CLIMA
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
2012 A conf
A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints.
CP
Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli
2012 — conf
A Non-visual Electronic Workspace for Learning Algebra.
ICCHP (1)
Nancy Alajarmeh, Enrico Pontelli
2012 — conf
ASP at Work: An ASP Implementation of PhyloWS.
ICLP (Technical Communications)
Tiep Le, Hieu Nguyen, Enrico Pontelli, Tran Cao Son
2012 — conf
Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains.
Correct Reasoning
Enrico Pontelli, Tran Cao Son, Chitta Baral, Gregory Gelfond
2012 A conf
E-Arithmetic: non-visual arithmetic manipulation for students with impaired vision.
ASSETS
Nancy Alajarmeh, Enrico Pontelli
2012 — conf
Exploiting Unexploited Computing Resources for Computational Logics.
CILC
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
2012 — conf
Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning.
CLIMA
Ben Wright, Enrico Pontelli, Tran Cao Son
2012 A* conf
On Computing Conformant Plans Using Classical Planners: A Generate-And-Complete Approach.
ICAPS
Hoang-Khoi Nguyen, Dang-Vien Tran, Tran Cao Son, Enrico Pontelli
2012 — conf
Trackable Interactive Multimodal Manipulatives: Towards a Tangible User Environment for the Blind.
ICCHP (2)
Muhanad S. Manshad, Enrico Pontelli, Shakir J. Manshad
2011 A* conf
A Logical Formulation for Negotiation among Dishonest Agents.
IJCAI
Chiaki Sakama, Tran Cao Son, Enrico Pontelli
2011 B conf
ASP-Prolog for Negotiation among Dishonest Agents.
LPNMR
Ngoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli, Chiaki Sakama
2011 — conf
An Experiment in Formalizing Commitments Using Action Languages.
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning
Tran Cao Son, Enrico Pontelli, Chiaki Sakama
2011 J jnl
An Implementation of Bubbling
CoRR
Abdulla Alqaddoumi, Enrico Pontelli
2011 J jnl
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms
CoRR
Enrico Pontelli, Tran Cao Son, Phan Huy Tu
2011 J jnl
Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda
CoRR
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2011 — conf
BAAC: A Prolog System for Action Description and Agents Coordination.
ICLP (Technical Communications)
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2011 J jnl
CDAO-Store: Ontology-driven Data Integration for Phylogenetic Analysis.
BMC Bioinform.
Brandon Chisham, Ben Wright, Trung Le, Tran Cao Son, Enrico Pontelli
2011 — conf
CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services.
ICLP (Technical Communications)
Brandon Chisham, Enrico Pontelli, Tran Cao Son, Ben Wright
2011 A* conf
Conjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF Formula.
AAAI
Son Thanh To, Tran Cao Son, Enrico Pontelli
2011 A* conf
Contingent Planning as AND/OR Forward Search with Disjunctive Representation.
ICAPS
Son Thanh To, Tran Cao Son, Enrico Pontelli
2011 A* conf
Exploring Protein Fragment Assembly Using CLP.
IJCAI
Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli
2011 — conf
Formalizing Commitments Using Action Languages.
DALT
Tran Cao Son, Enrico Pontelli, Chiaki Sakama
2011 — conf
From "Reading" Math to "Doing" Math: A New Direction in Non-visual Math Accessibility.
HCI (8)
Nancy Alajarmeh, Enrico Pontelli, Tran Cao Son
2011 J jnl
Introduction to the 24th international conference on logic programming special issue.
Theory Pract. Log. Program.
Maria Garcia de la Banda, Enrico Pontelli
2011 A conf
MICOO (multimodal interactive cubes for object orientation): a tangible user interface for the blind and visually impaired.
ASSETS
Muhanad S. Manshad, Enrico Pontelli, Shakir J. Manshad
2011 A* conf
On Improving Conformant Planners by Analyzing Domain-Structures.
AAAI
Hoang-Khoi Nguyen, Dang-Vien Tran, Tran Cao Son, Enrico Pontelli
2011 A* conf
On the Effectiveness of Belief State Representation in Contingent Planning.
AAAI
Son Thanh To, Tran Cao Son, Enrico Pontelli
2011 A* conf
On the Effectiveness of CNF and DNF Representations in Contingent Planning.
IJCAI
Son Thanh To, Enrico Pontelli, Tran Cao Son
2011 — conf
Perspectives on Logic-Based Approaches for Reasoning about Actions and Change.
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2010 — book
A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP
25 Years GULP
Agostino Dovier, Enrico Pontelli
2010 A* conf
A New Approach to Conformant Planning Using CNF*.
ICAPS
Son Thanh To, Tran Cao Son, Enrico Pontelli
2010 J jnl
An Investigation of Multi-Agent Planning in CLP.
Fundam. Informaticae
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2010 J jnl
An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling.
Comput. Lang. Syst. Struct.
Enrico Pontelli, Hung Viet Le, Tran Cao Son
2010 C conf
Answer Set Programming in 2010: A Personal Perspective.
PADL
Enrico Pontelli
2010 — conf
Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda.
CILC
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2010 — ch.
BSIS: An Experiment in Automating Bioinformatics Tasks Through Intelligent Workflow Construction.
Semantic e-Science
Yu Pan, Enrico Pontelli, Tran Cao Son
2010 — conf
CLP-based Protein Fragment Assembly.
CILC
Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli
2010 J jnl
CLP-based protein fragment assembly
CoRR
Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli
2010 J jnl
CLP-based protein fragment assembly.
Theory Pract. Log. Program.
Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli
2010 J jnl
Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal lattices.
Int. J. Data Min. Bioinform.
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli
2010 B conf
Detecting and recognizing tables in spreadsheets.
Document Analysis Systems
Iyad Abu Doush, Enrico Pontelli
2010 — conf
Integrating Semantic Web and Folksonomies to Improve E-Learning Accessibility.
ICCHP (1)
Iyad Abu Doush, Enrico Pontelli
2010 J jnl
Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study
CoRR
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
2010 J jnl
Logic programming for finding models in the logics of knowledge and its applications: A case study.
Theory Pract. Log. Program.
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
2010 J jnl
Logic programs with abstract constraint atoms: The role of computations.
Artif. Intell.
Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski
2010 J jnl
Multimodal Presentation of Two-Dimensional Charts: An Investigation Using Open Office XML and Microsoft Excel.
ACM Trans. Access. Comput.
Iyad Abu Doush, Enrico Pontelli, Tran Cao Son, Dominic Simon, Ou Ma
2010 J jnl
Multivalued action languages with constraints in CLP(FD).
Theory Pract. Log. Program.
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2010 — conf
Non-visual Navigation of Spreadsheet Tables.
ICCHP (1)
Iyad Abu Doush, Enrico Pontelli
2010 A* conf
On the Use of Prime Implicates in Conformant Planning.
AAAI
Son Thanh To, Tran Cao Son, Enrico Pontelli
2010 — ed.
Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, DAMP 2010, Madrid, Spain, January 19, 2010
DAMP
Leaf Petersen, Enrico Pontelli
2010 A conf
Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge.
AAMAS
Chitta Baral, Gregory Gelfond, Tran Cao Son, Enrico Pontelli
2009 A* conf
A Conformant Planner with Explicit Disjunctive Representation of Belief States.
ICAPS
Son Thanh To, Enrico Pontelli, Tran Cao Son
2009 J jnl
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems.
J. Exp. Theor. Artif. Intell.
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2009 B conf
Answer Set Programming with Constraints Using Lazy Grounding.
ICLP
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2009 J jnl
Applications of parallel processing technologies in heuristic search planning: methodologies and experiments.
Concurr. Comput. Pract. Exp.
Phan Huy Tu, Enrico Pontelli, Tran Cao Son, Son Thanh To
2009 — conf
Building a Programmable Architecture for Non-visual Navigation of Mathematics: Using Rules for Guiding Presentation and Switching between Modalities.
HCI (7)
Iyad Abu Doush, Enrico Pontelli
2009 J jnl
Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures.
J. Log. Comput.
Giuliano Grossi, Massimo Marchi, Enrico Pontelli, Alessandro Provetti
2009 J jnl
GASP: Answer Set Programming with Lazy Grounding.
Fundam. Informaticae
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2009 C conf
Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications.
PADL
Dang-Vien Tran, Hoang-Khoi Nguyen, Enrico Pontelli, Tran Cao Son
2009 J jnl
Justifications for logic programs under answer set semantics.
Theory Pract. Log. Program.
Enrico Pontelli, Tran Cao Son, Omar El-Khatib
2009 B conf
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results.
LPNMR
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli
2009 B conf
Logic Programming for Multiagent Planning with Negotiation.
ICLP
Tran Cao Son, Enrico Pontelli, Chiaki Sakama
2009 A conf
Making Microsoft Excel
ASSETS
Iyad Abu Doush, Enrico Pontelli, Dominic Simon, Tran Cao Son, Ou Ma
2009 — ch.
Mathematics and Accessibility.
The Universal Access Handbook
Enrico Pontelli, Arthur I. Karshmer, Gopal Gupta
2009 B conf
Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using .
LPNMR
Chitta Baral, Tran Cao Son, Enrico Pontelli
2009 J jnl
Multi-valued Action Languages in CLP(FD)
CoRR
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2009 — conf
Planning for Multiagent Using ASP-Prolog.
CLIMA
Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen
2009 B conf
Present and Future Challenges for ASP Systems.
LPNMR
Agostino Dovier, Enrico Pontelli
2009 — conf
Reasoning about Multi-agent Domains Using Action Language
CLIMA
Chitta Baral, Tran Cao Son, Enrico Pontelli
2009 B conf
Representing Multi-agent Planning in CLP.
LPNMR
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2008 A* conf
Credulous Resolution for Answer Set Programming.
AAAI
Piero A. Bonatti, Enrico Pontelli, Tran Cao Son
2008 J jnl
Justifications for Logic Programs under Answer Set Semantics
CoRR
Enrico Pontelli, Tran Cao Son, Omar El-Khatib
2008 B ed.
Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings
ICLP
Maria Garcia de la Banda, Enrico Pontelli
2008 — conf
Some Results on the Completeness of Approximation Based Reasoning.
AAAI Spring Symposium: Emotion, Personality, and Social Behavior
Tran Cao Son, Enrico Pontelli, Son Thanh To
2008 B conf
Some Results on the Completeness of Approximation Based Reasoning.
PRICAI
Tran Cao Son, Enrico Pontelli
2007 J jnl
A Constraint Logic Programming approach to associate 1D and 3D structural components for large protein complexes.
Int. J. Data Min. Bioinform.
Alessandro Dal Palù, Enrico Pontelli, Jing He, Yonggang Lu
2007 J jnl
A Constructive semantic characterization of aggregates in answer set programming.
Theory Pract. Log. Program.
Tran Cao Son, Enrico Pontelli
2007 J jnl
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction.
Softw. Pract. Exp.
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli
2007 J jnl
A new approach to hybrid probabilistic logic programs.
Ann. Math. Artif. Intell.
Emad Saad, Enrico Pontelli
2007 — conf
ASP-PROLOG: Composition and Interoperation of Rules.
ALPSWS
Enrico Pontelli
2007 A* conf
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming.
AAAI
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2007 J jnl
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms.
J. Artif. Intell. Res.
Tran Cao Son, Enrico Pontelli, Phan Huy Tu
2007 B conf
CPP: A Constraint Logic Programming Based Planner with Preferences.
LPNMR
Phan Huy Tu, Tran Cao Son, Enrico Pontelli
2007 — conf
Dynamic scheduling in parallel answer set programming solvers.
SpringSim (2)
Hung Viet Le, Enrico Pontelli
2007 C conf
Inductive Logic Programming by Instance Patterns.
PADL
Chongbing Liu, Enrico Pontelli
2007 B conf
Logic Programs with Abstract Constraint Atoms: The Role of Computations.
ICLP
Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski
2007 B conf
Multivalued Action Languages with Constraints in CLP(FD).
ICLP
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2007 C conf
Nonmonotonic inductive logic programming by instance patterns.
PPDP
Chongbing Liu, Enrico Pontelli
2007 J jnl
PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters.
Theory Pract. Log. Program.
Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta
2007 A ed.
Proceedings of the 9th International ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2007, Tempe, Arizona, USA, October 15-17, 2007
ASSETS
Enrico Pontelli, Shari Trewin
2006 J jnl
A Constructive Semantic Characterization of Aggregates in ASP
CoRR
Tran Cao Son, Enrico Pontelli
2006 — conf
A Framework for Composition and Inter-operation of Rules in the Semantic Web.
RuleML
Enrico Pontelli, Tran Cao Son, Chitta Baral
2006 — conf
A Tool for Knowledge Base Integration and Querying.
AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
2006 Misc conf
A constraint logic programming approach to 3D structure determination of large protein complexes.
SAC
Alessandro Dal Palù, Enrico Pontelli, Jing He, Yonggang Lu
2006 J jnl
A new approach to hybrid probabilistic logic programs.
Ann. Math. Artif. Intell.
Emad Saad, Enrico Pontelli
2006 J jnl
An Unfolding-Based Semantics for Logic Programming with Aggregates
CoRR
Tran Cao Son, Enrico Pontelli, Islam Elkabani
2006 A* conf
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms.
AAAI
Tran Cao Son, Enrico Pontelli, Phan Huy Tu
2006 J jnl
Computers and accessibility.
Behav. Inf. Technol.
Enrico Pontelli, Andrew Sears
2006 — conf
Non-monotonic Negation in Hybrid Probabilistic Logic Programs.
AI&M
Emad Saad, Enrico Pontelli
2006 J jnl
PALS: Efficient Or-Parallelism on Beowulf Clusters
CoRR
Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta
2006 J jnl
Planning with preferences using logic programming.
Theory Pract. Log. Program.
Tran Cao Son, Enrico Pontelli
2006 J jnl
Sequential and parallel algorithms for the NCA problem on pure pointer machines.
Theor. Comput. Sci.
Alessandro Dal Palù, Enrico Pontelli, Desh Ranjan
2006 J jnl
Set unification.
Theory Pract. Log. Program.
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2006 J jnl
Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms.
J. Parallel Distributed Comput.
Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta
2005 B conf
A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems.
ICLP
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2005 B conf
A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem.
LPAR
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli
2005 J jnl
A Simple Optimal Solution for the Temporal Precedence Problem on Pure Pointer Machines.
Theory Comput. Syst.
Enrico Pontelli, Desh Ranjan
2005 — conf
An Investigation of Sharing Strategies for Answer Set Solvers and SAT Solvers.
Euro-Par
Hung Viet Le, Enrico Pontelli
2005 B conf
Computational Issues in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees.
LPAR
Yao Wu, Enrico Pontelli, Desh Ranjan
2005 C conf
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(
PPDP
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli
2005 B conf
Hybrid Probabilistic Logic Programs with Non-monotonic Negation.
ICLP
Emad Saad, Enrico Pontelli
2005 B conf
Integrating an Answer Set Solver into Prolog: ASP-PROLOG.
LPNMR
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
2005 J jnl
Issues in parallel execution of non-monotonic reasoning systems.
Parallel Comput.
Marcello Balduccini, Enrico Pontelli, Omar El-Khatib, Hung Le
2005 — conf
Justification and debugging of answer set programs in ASP.
AADEBUG
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
2005 J jnl
Planning with Preferences using Logic Programming
CoRR
Tran Cao Son, Enrico Pontelli
2005 A ed.
Proceedings of the ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2005, Baltimore, MD, USA, October 9-12, 2005
ASSETS
Andrew Sears, Enrico Pontelli
2005 B conf
Smodels
LPNMR
Islam Elkabani, Enrico Pontelli, Tran Cao Son
2005 C conf
Towards a More Practical Hybrid Probabilistic Logic Programming Framework.
PADL
Emad Saad, Enrico Pontelli
2004 C conf
A Parallel Algorithm for Helix Mapping Between 3D and 1D Protein Structure Using the Length Constraints.
ISPA
Jing He, Yonggang Lu, Enrico Pontelli
2004 J jnl
A system for automatic structure discovery and reasoning-based navigation of the web.
Interact. Comput.
Enrico Pontelli, Tran Cao Son, Keshav Reddy Kottapally, Co Thai Ngo, Ravikumar Reddy Kotthuru, Douglas J. Gillan
2004 C conf
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog.
PADL
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
2004 — conf
ASP-PROLOG: a system for reasoning about answer set programs in prolog.
NMR
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
2004 — conf
An Investigation of Scheduling in Distributed Constraint Logic Programming.
PDCS
Karen Villaverde, Enrico Pontelli
2004 — conf
Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report.
DALT
Yu Pan, Phan Huy Tu, Enrico Pontelli, Tran Cao Son
2004 C conf
Discovering Structure of Web Pages for Non-visual Navigation: Binding Text to Forms.
ICCHP
Enrico Pontelli, Ravikumar Reddy Kotthuru
2004 J jnl
Disunification in
Constraints An Int. J.
Agostino Dovier, Carla Piazza, Enrico Pontelli
2004 B conf
Planning with Preferences Using Logic Programming.
LPNMR
Tran Cao Son, Enrico Pontelli
2004 J jnl
Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory.
Comput. Intell.
Tran Cao Son, Enrico Pontelli
2004 — conf
Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences.
CLIMA
Inna Pivkina, Enrico Pontelli, Tran Cao Son
2004 B conf
Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP.
ICLP
Islam Elkabani, Enrico Pontelli, Tran Cao Son
2004 B conf
Smodels with CLP?A Treatment of Aggregates in ASP.
LPNMR
Enrico Pontelli, Tran Cao Son, Islam Elkabani
2004 C conf
Towards a Universal Maths Conversion Library.
ICCHP
Dominique Archambault, Donal Fitzpatrick, Gopal Gupta, Arthur I. Karshmer, Klaus Miesenberger, Enrico Pontelli
2004 C conf
Translating between Formats for Mathematics: Current Approach and an Agenda for Future Developments.
ICCHP
Enrico Pontelli, Brian Palmer
2004 A conf
UMA: a system for universal mathematics accessibility.
ASSETS
Arthur I. Karshmer, Gopal Gupta, Enrico Pontelli, Klaus Miesenberger, N. Ammalai, Deepa Gopal, Mario Batusic, Bernhard Stöger, Brian Palmer, Hai-Feng Guo
2004 J jnl
UMA: a system for universal mathematics accessibility.
ACM SIGACCESS Access. Comput.
Arthur I. Karshmer, Gopal Gupta, Enrico Pontelli, Klaus Miesenberger, N. Ammalai, Deepa Gopal, Mario Batusic, Bernhard Stöger, Brian Palmer, Hai-Feng Guo
2003 — conf
A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms.
Euro-Par
Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta
2003 B conf
Adding Preferences to Answer Set Planning.
ICLP
Tran Cao Son, Enrico Pontelli
2003 — conf
An Agent-based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology.
DALT
Tran Cao Son, Enrico Pontelli, Desh Ranjan, Brook Milligan, Gopal Gupta
2003 J jnl
Designing intelligent agents to support universal accessibility of E-commerce services.
Electron. Commer. Res. Appl.
Enrico Pontelli, Tran Cao Son
2003 Misc conf
Developing Agents for Bioinformatics Applications: A Preliminary Design.
PDPTA
Enrico Pontelli, Tran Cao Son, Yu Pan, T. Phan
2003 — conf
Experiments in Translating and Navigating Digital Formats for Mathematics (A Progress Report).
HCI (4)
Brian Palmer, Enrico Pontelli
2003 C conf
Integrating finite domain constraints and CLP with sets.
PPDP
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2003 — conf
Intensional Sets in CLP.
APPIA-GULP-PRODE
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2003 B conf
Intensional Sets in CLP.
ICLP
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2003 C conf
Non-monotonic Reasoning on Beowulf Platforms.
PADL
Enrico Pontelli, Marcello Balduccini, F. Bermudez
2003 B conf
On the Complexity of Dependent And-Parallelism in Logic Programming.
ICLP
Yao Wu, Enrico Pontelli, Desh Ranjan
2003 J jnl
The Level-Ancestor problem on Pure Pointer Machines.
Inf. Process. Lett.
Desh Ranjan, Enrico Pontelli
2003 — conf
Towards the creation of accessibility agents for non-visual navigation of the web.
CUU
Keshav Reddy Kottapally, C. Ngo, R. Reddy, Enrico Pontelli, Tran Cao Son, Douglas J. Gillan
2002 — conf
An Efficient Parallel Pointer Machine Algorithm for the NCA Problem.
IFIP TCS
Alessandro Dal Palù, Enrico Pontelli, Desh Ranjan
2002 — conf
An Optimal Algorithm for Finding NCA on Pure Pointer Machines.
SWAT
Alessandro Dal Palù, Enrico Pontelli, Desh Ranjan
2002 J jnl
An optimal data structure to handle dynamic environments in non-deterministic computations.
Comput. Lang. Syst. Struct.
Enrico Pontelli, Desh Ranjan, Alessandro Dal Palù
2002 B conf
Ancestor Problems on Pure Pointer Machines.
LATIN
Enrico Pontelli, Desh Ranjan
2002 — conf
Designing Intelligent Agents to Support Universal Accessibility.
International Conference on Internet Computing
Enrico Pontelli, Tran Cao Son
2002 — conf
F-LOG: A Domain Specific Language for Solving Phylogenetic Inference Problems.
CSB
Enrico Pontelli, Desh Ranjan, Brook Milligan, Gopal Gupta
2002 J jnl
Intelligent non-visual navigation of complex HTML structures.
Univers. Access Inf. Soc.
Enrico Pontelli, Douglas J. Gillan, Gopal Gupta, Arthur I. Karshmer, Emad Saad, W. Xiong
2002 A conf
Navigation of HTML tables, frames, and XML fragments.
ASSETS
Enrico Pontelli, Douglas J. Gillan, W. Xiong, Emad Saad, Gopal Gupta, Arthur I. Karshmer
2002 A conf
Planning, reasoning, and agents for non-visual navigation of tables and frames.
ASSETS
Enrico Pontelli, Tran Cao Son
2002 B conf
Reasoning about Actions in Prioritized Default Theory.
JELIA
Tran Cao Son, Enrico Pontelli
2002 C conf
Semantics-Based Filtering: Logic Programming's Killer App?
PADL
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
2002 — conf
Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach.
Computational Logic: Logic Programming and Beyond
Gopal Gupta, Enrico Pontelli
2001 J jnl
Backtracking in Independent And-Parallel Implementations of Logic Programming Languages.
IEEE Trans. Parallel Distributed Syst.
Enrico Pontelli, Gopal Gupta
2001 C conf
Construction and Optimization of a Parallel Engine for Answer Set Programming.
PADL
Enrico Pontelli, Omar El-Khatib
2001 J jnl
Constructive Negation and Constraint Logic Programming with Sets.
New Gener. Comput.
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2001 A conf
Experiments in Parallel Execution of Answer Set Programs.
IPDPS
Enrico Pontelli
2001 — conf
Exploiting Vertical Parallelism from Answer Set Programs.
Answer Set Programming
Enrico Pontelli, Omar El-Khatib
2001 B conf
Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-Based AI Systems.
ICPP
Karen Villaverde, Hai-Feng Guo, Enrico Pontelli, Gopal Gupta
2001 C conf
Interoperability between Bioinformatics Tools: A Logic Programming Approach.
PADL
Juan Raymundo Iglesias, Gopal Gupta, Enrico Pontelli, Desh Ranjan, Brook Milligan
2001 J jnl
Optimization schemas for parallel implementation of non-deterministic languages and systems.
Softw. Pract. Exp.
Gopal Gupta, Enrico Pontelli
2001 B conf
PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures.
ICLP
Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta
2001 J jnl
Parallel execution of prolog programs: a survey.
ACM Trans. Program. Lang. Syst.
Gopal Gupta, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, Manuel V. Hermenegildo
2001 J jnl
Set Unification
CoRR
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2001 Misc conf
The development of a tool to enhance communications between blind and sighted mathematicians, students and teachers: a global translation appliance.
HCI
Arthur I. Karshmer, Gopal Gupta, Klaus Miesenberger, Enrico Pontelli, Hai-Feng Guo
2000 A conf
A domain specific language framework for non-visual browsing of complex HTML structures.
ASSETS
Enrico Pontelli, W. Xiong, Gopal Gupta, Arthur I. Karshmer
2000 J jnl
A necessary condition for Constructive Negation in Constraint Logic Programming.
Inf. Process. Lett.
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2000 — conf
Concurrent Web-Programming in CLP(WEB).
HICSS
Enrico Pontelli
2000 J jnl
Data structures for order-sensitive predicates in parallel nondeterministic systems.
Acta Informatica
Desh Ranjan, Enrico Pontelli, Gopal Gupta
2000 J jnl
PADL '00: Workshop on Practical Aspects of Declarative Languages.
ACM SIGPLAN Notices
Enrico Pontelli, Vítor Santos Costa
2000 J jnl
Parallel and distributed execution of constraint programs.
ACM SIGSOFT Softw. Eng. Notes
Enrico Pontelli
2000 C ed.
Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings
PADL
Enrico Pontelli, Vítor Santos Costa
2000 J jnl
Sets and constraint logic programming.
ACM Trans. Program. Lang. Syst.
Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
2000 J jnl
The Temporal Precedence Problem.
Algorithmica
Desh Ranjan, Enrico Pontelli, Gopal Gupta, Luc Longpré
1999 B conf
ACI1 Constraints.
ICLP
Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
1999 — conf
ACI1 constraints.
APPIA-GULP-PRODE
Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
1999 J jnl
Complexity Analysis of Late Binding in Dynamic Object-Oriented Languages
J. Funct. Log. Program.
Enrico Pontelli, Desh Ranjan, Gopal Gupta
1999 B conf
Efficient Techniques for Distributed Implementation of Search-Based AI Systems.
ICPP
Gopal Gupta, Enrico Pontelli
1999 J jnl
Extended Dynamic Dependent And-Parallelism in ACE.
J. Funct. Log. Program.
Enrico Pontelli, Gopal Gupta
1999 J jnl
On the Complexity of Or-Parallelism.
New Gener. Comput.
Desh Ranjan, Enrico Pontelli, Gopal Gupta
1999 — ed.
Parallelism and Implementation Technology for (Constraint) Logic Programming, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 1, 1999
Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP
Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk
1999 — conf
Preface.
Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP
Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk
1999 — conf
Software technology and computer interfaces for the disabled: non-visual WWW browsing.
HCI (2)
Arthur I. Karshmer, Enrico Pontelli, Gopal Gupta
1999 B conf
Stack-splitting: Or-/And-parallelism on Distributed Memory Machines.
ICLP
Gopal Gupta, Enrico Pontelli
1998 B conf
Automatic Generation of Provably Correct Parallelizing Compilers.
ICPP
Gopal Gupta, Enrico Pontelli, Amado Lara-Rodríguez, Roberto Felix-Cardenas
1998 J jnl
Efficient Algorithms for the Temporal Precedence Problem.
Inf. Process. Lett.
Desh Ranjan, Enrico Pontelli, Gopal Gupta
1998 B conf
Efficient Backtracking in And-Parallel Implementations of Non-deterministic Languages.
ICPP
Enrico Pontelli, Gopal Gupta
1998 — conf
Natural Language Multiprocessing: A Case Study.
AAAI/IAAI
Enrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell
1998 — conf
Natural Language Multiprocessing: A Case Study.
Implementation Technology for Programming Languages based on Logic
Enrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell
1998 — conf
On the Representation and Management of Finite Sets in CLP Languages.
IJCSLP
Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli
1998 J jnl
Parallelism and Implementation Technology for (Constraint) Logic Programming.
ACM SIGPLAN Notices
Enrico Pontelli
1998 J jnl
Programming with {SETS} - An International Forum of Discussion.
ACM SIGPLAN Notices
Enrico Pontelli
1998 — conf
The Complexity of Late-Binding in Dynamic Object-Oriented Languages.
PLILP/ALP
Enrico Pontelli, Desh Ranjan, Gopal Gupta
1997 A conf
A constraint-based approach for specification and verification of real-time systems.
RTSS
Gopal Gupta, Enrico Pontelli
1997 B conf
Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism.
ICLP
Enrico Pontelli, Gopal Gupta, Francesco Pulvirenti, Alfredo Ferro
1997 — conf
Extended dynamic dependent and-parallelism in ACE.
PASCO
Gopal Gupta, Enrico Pontelli
1997 — conf
High Performance Parallel Logic Programming: The ACE Parallel Prolog System.
APPIA-GULP-PRODE
Gopal Gupta, Enrico Pontelli
1997 B conf
Implementation Mechanisms for Dependent And-Parallelism.
ICLP
Enrico Pontelli, Gopal Gupta
1997 — conf
On the Complexity of Parallel Implementation of Logic Programs.
FSTTCS
Enrico Pontelli, Desh Ranjan, Gopal Gupta
1997 — conf
Optimization Schemas for Parallel Implementation of Nondeterministic Languages and Systems.
IPPS
Gopal Gupta, Enrico Pontelli
1997 J jnl
Parallel Symbolic Computation in ACE.
Ann. Math. Artif. Intell.
Enrico Pontelli, Gopal Gupta
1997 — conf
VACE: A Tool for Visualization of And-Or Parallel Execution.
LPE
Rick Vaupel, Enrico Pontelli, Gopal Gupta
1997 B conf
Visualization of And/Or-Parallel Execution of Logic Programs.
ICLP
Rick Vaupel, Enrico Pontelli, Gopal Gupta
1997 B conf
W-ACE: A Logic Language for Intelligent Internet Programming.
ICTAI
Enrico Pontelli, Gopal Gupta
1996 J jnl
A Language for Programming in Logic with Finite Sets.
J. Log. Program.
Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi
1996 — conf
Dependent And-Parallelism Revisited (Poster Abstract).
JICSLP
Enrico Pontelli, Gopal Gupta
1996 J jnl
Improving the Efficiency of Nondeterministic Independent and-Parallel Systems.
Comput. Lang.
Enrico Pontelli, Gopal Gupta, Dongxing Tang, Manuel Carro, Manuel V. Hermenegildo
1996 — conf
Last alternative optimization.
SPDP
Gopal Gupta, Enrico Pontelli
1996 — conf
Nested Parallel Call Optimization.
IPPS
Enrico Pontelli, Gopal Gupta
1995 — conf
&ACE: a high-performance parallel Prolog system.
IPPS
Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo
1995 — conf
Data parallel logic programming in &ACE.
SPDP
Enrico Pontelli, Gopal Gupta
1995 B conf
Determinacy Driven Optimizations of And-Parallel Prolog Implementations.
ICLP
Enrico Pontelli, Gopal Gupta, Dongxing Tang
1995 — conf
On the Duality Between Or-parallelism and And-parallelism in Logic Programming.
Euro-Par
Enrico Pontelli, Gopal Gupta
1995 B conf
Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming.
ICLP
Gopal Gupta, Vítor Santos Costa, Enrico Pontelli
1994 — conf
&ACE: the And-parallel Component of ACE (A Progress Report on ACE).
ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs
Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo
1994 B conf
ACE: And/Or-parallel Copying-based Execution of Logic Programs.
ICLP
Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Vítor Santos Costa
1994 B conf
Compiling Intensional Sets in CLP.
ICLP
Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
1994 — conf
Determinancy Driven Optimization of Parallel Prolog Implementations.
Workshop on Design and Impl. of Parallel Logic Programming Systems
Enrico Pontelli, Gopal Gupta, Dongxing Tang
1994 — conf
Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems.
ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs
Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro
1994 — conf
Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems.
ILPS
Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro
1994 — ed.
Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, Ithaca, New York, USA, November 18, 1994
Workshop on Design and Impl. of Parallel Logic Programming Systems
Enrico Pontelli, Gopal Gupta
1993 — conf
A WAM-Based Implementation of a Logical Language with Sets.
PLILP
Agostino Dovier, Enrico Pontelli
1993 — conf
Extensional and Intensional Sets in CLP with Intensional Negation.
ICLP Workshop on Logic Programming with Sets
Paola Bruscoli, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli
1992 — conf
Embedding Finite Sets in a Logic Programming Language.
ELP
Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi
1991 B conf
{log}: A Logic Programming Language with Finite Sets.
ICLP
Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi