Enrico Pontelli

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 85

Top Venues

CoRR

Theory Pract. Log. Program.

FIE

PADL

Publications

Fabio Tardivo, Laurent Michel, Enrico Pontelli
Constraint Propagation on GPU: A Case Study for the Bin Packing Constraint. CoRR (2024)
Tran Cao Son, Loc Pham, Enrico Pontelli
Property. AAMAS (2024)
Candy Arce, Angie Hernandez, Ruth Torres Castillo, Tomas Valdez, Raena Cota, Enrico Pontelli
Learning with the Rashomon Augmented Reality Cube (RARc). SIGCSE (2) (2024)
Fabio Tardivo, Laurent Michel, Enrico Pontelli
CP for Bin Packing with Multi-Core and GPUs. CP (2024)
Ruth Torres Castillo, Tomas Valdez, Enrico Pontelli, Horacio Gonzalez, Erick Nevarez, Raena Cota
Using Computational Thinking to Learn Creative Writing and Performance Arts: Summer Experiences of Story Creation Projects. SIGCSE (2) (2024)
Stefania Costantini, Enrico Pontelli, Alessandra Russo, Francesca Toni
International Conference on Logic Programming Special Issue. Theory Pract. Log. Program. 23 (4) (2023)
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
Constraint Propagation on GPU: A Case Study for the Cumulative Constraint. CPAIOR (2023)
Loc Pham, Tran Cao Son, Enrico Pontelli
Reasoning about Non-Deterministic Observability and Hypothetical Action Occurrences in Multi-Agent Domains. SAC (2023)
Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni
Proceedings 39th International Conference on Logic Programming. CoRR (2023)
Emmanuel Utreras, Enrico Pontelli
Introductory programming and young learners with visual disabilities: a review. Univers. Access Inf. Soc. 22 (1) (2023)
Loc Pham, Tran Cao Son, Enrico Pontelli
Planning in Multi-Agent Domains with Untruthful Announcements. ICAPS (2023)
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
Constraint propagation on GPU: A case study for the AllDifferent constraint. J. Log. Comput. 33 (8) (2023)
Thomas Eiter, Michael J. Maher, Enrico Pontelli, Luc De Raedt, Miroslaw Truszczynski
The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II. Theory Pract. Log. Program. 23 (1) (2023)
Tran Cao Son, Enrico Pontelli, Marcello Balduccini, Torsten Schaub
Answer Set Planning: A Survey. Theory Pract. Log. Program. 23 (1) (2023)
Yusuf Izmirlioglu, Loc Pham, Tran Cao Son, Enrico Pontelli
State Transition in Multi-agent Epistemic Domains Using Answer Set Programming. LPNMR (2022)
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
An action language for multi-agent domains. Artif. Intell. 302 (2022)
Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
Parallel Logic Programming: A Sequel. Theory Pract. Log. Program. 22 (6) (2022)
Loc Pham, Tran Cao Son, Enrico Pontelli
Update models for lying and misleading announcements. SAC (2022)
Thomas Eiter, Michael J. Maher, Enrico Pontelli, Luc De Raedt, Miroslaw Truszczynski
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP. Theory Pract. Log. Program. 22 (6) (2022)
Fabio Tardivo, Enrico Pontelli
Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs. PADL (2022)
Yusuf Izmirlioglu, Loc Pham, Tran Cao Son, Enrico Pontelli
A Robust State Transition Function for Multi-agent Epistemic Systems. EPIA (2022)
Loc Pham, Yusuf Izmirlioglu, Tran Cao Son, Enrico Pontelli
. PRIMA (2022)
Raena Cota, Enrico Pontelli, Paige Prescott, Lauren Curry, Lisa Hufstedler, Francis Vigil, Yolanda Lozano, David Rutledge
Culturally Responsive Pedagogy in Computer Science (CR in CS)- K-12 Teacher Professional Development- Needs and Challenges. SIGCSE (2) (2022)
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
Constraints propagation on GPU: A case study for AllDifferent. CILC (2022)
Tran Cao Son, Enrico Pontelli, Marcello Balduccini, Torsten Schaub
Answer Set Planning: A Survey. CoRR (2022)
Yusuf Izmirlioglu, Loc Pham, Tran Cao Son, Enrico Pontelli
A Review of the Muddy Children Problem. AI*IA (2022)
Fabio Tardivo, Loc Pham, Tran Cao Son, Enrico Pontelli
A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States. PADL (2021)
Ly Ly T. Trieu, Tran Cao Son, Enrico Pontelli, Marcello Balduccini
Generating explanations for answer set programming applications. CoRR (2021)
Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
Parallel Logic Programming: A Sequel. CoRR (2021)
Jazmin Collins, Kami Otero De Owens, Vensan Cabardo, Sarah Hug, Raena Cota, Enrico Pontelli
Culturally Sustaining Pedagogies in CS: Modern K12 Outreach and its Adaptability in a Global Crisis. RESPECT (2021)
Francesco Fabiano, Alessandro Burigana, Agostino Dovier, Enrico Pontelli, Tran Cao Son
Multi-agent Epistemic Planning with Inconsistent Beliefs, Trust and Lies. PRICAI (1) (2021)
Alessandro Burigana, Francesco Fabiano, Agostino Dovier, Enrico Pontelli
Modelling Multi-Agent Epistemic Planning in ASP. CoRR (2020)
Emmanuel Utreras, Enrico Pontelli
Accessibility of Block-Based Introductory Programming Languages and a Tangible Programming Tool Prototype. ICCHP (1) (2020)
Marcello Balduccini, Michael Gelfond, Enrico Pontelli, Tran Cao Son
An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements. KR (2020)
Francesco Fabiano, Alessandro Burigana, Agostino Dovier, Enrico Pontelli
EFP 2.0: A Multi-Agent Epistemic Solver with Multiple E-State Representations. ICAPS (2020)
Emmanuel Utreras, Enrico Pontelli
Design of a Tangible Programming Tool for Students with Visual Impairments and Low Vision. HCI (9) (2020)
Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son
On Repairing Web Services Workflows. PADL (2020)
Abu Saleh Md Tayeen, Thanh Hai Nguyen, Van Duc Nguyen, Enrico Pontelli
Design and Implementation of Phylotastic, a Service Architecture for Evolutionary Biology. Int. J. Softw. Eng. Knowl. Eng. 30 (10) (2020)
Alessandro Burigana, Francesco Fabiano, Agostino Dovier, Enrico Pontelli
Modelling Multi-Agent Epistemic Planning in ASP. Theory Pract. Log. Program. 20 (5) (2020)
Marco De Bortoli, Federico Igne, Fabio Tardivo, Pietro Totis, Agostino Dovier, Enrico Pontelli
Towards Distributed Computation of Answer Sets. CILC (2019)
Van Duc Nguyen, Tran Cao Son, Enrico Pontelli
Natural Language Generation for Non-Expert Users. ICLP Technical Communications (2019)
Van Nguyen, Tran Cao Son, Enrico Pontelli
Natural Language Generation from Ontologies. PADL (2019)
Enrico Pontelli
Multi-Agent Epistemic Planning. CILC (2019)
Tiep Le, Tran Cao Son, Enrico Pontelli
Multi-Context System for Optimization Problems. AAAI (2019)
Francesco Fabiano, Idriss Riouak, Agostino Dovier, Enrico Pontelli
Non-Well-Founded Set Based Multi-Agent Epistemic Action Language. CILC (2019)
Van Duc Nguyen, Tran Cao Son, Enrico Pontelli
Explanations Generation For Web Service Workflow. ICLP (Technical Communications) (2018)
Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli
Distributed multi-agent optimization for smart grids and home automation. Intelligenza Artificiale 12 (2) (2018)
Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming. Theory Pract. Log. Program. 18 (3-4) (2018)
Thanh Hai Nguyen, Tran Cao Son, Enrico Pontelli
Automatic Web Services Composition for Phylotastic. PADL (2018)
Ferdinando Fioretto, Enrico Pontelli
Past and present (and future) of parallel and distributed computation in (constraint) logic programming. Theory Pract. Log. Program. 18 (5-6) (2018)
Tiep Le, Tran Cao Son, Enrico Pontelli
Multi-Context Systems with Preferences. Fundam. Informaticae 158 (1-3) (2018)
Khoi D. Hoang, Ferdinando Fioretto, William Yeoh, Enrico Pontelli, Roie Zivan
A Large Neighboring Search Schema for Multi-agent Optimization. CP (2018)
Ferdinando Fioretto, Enrico Pontelli, William Yeoh, Rina Dechter
Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs. Constraints An Int. J. 23 (1) (2018)
R. Stanton, Enrico Pontelli, Z O. Toups, Muhanad S. Manshad
Exploring a Novel Inexpensive Tangible Interface for Non-visual Math and Science. ICCHP (1) (2018)
Ferdinando Fioretto, Enrico Pontelli, William Yeoh
Distributed Constraint Optimization Problems and Applications: A Survey. J. Artif. Intell. Res. 61 (2018)
Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming. CoRR (2018)
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
ASP Applications in Bio-informatics: A Short Tour. Künstliche Intell. 32 (2-3) (2018)
Ben Wright, Enrico Pontelli
Reasoning with Doxastic Attitudes in Multi-Agent Domains. FLAIRS Conference (2018)
Federico Igne, Agostino Dovier, Enrico Pontelli
MASP-Reduce: A Proposal for Distributed Computation of Stable Models. ICLP (Technical Communications) (2018)
Tiep Le, Francesco Fabiano, Tran Cao Son, Enrico Pontelli
EFP and PG-EFP: Epistemic Forward Search Planners in Multi-Agent Domains. ICAPS (2018)
Ferdinando Fioretto, William Yeoh, Enrico Pontelli
A Multiagent System Approach to Scheduling Devices in Smart Homes. AAMAS (2017)
Ferdinando Fioretto, William Yeoh, Enrico Pontelli
A Multiagent System Approach to Scheduling Devices in Smart Homes. AAAI Workshops (2017)
Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh
Solving Distributed Constraint Optimization Problems Using Logic Programming. CoRR (2017)
Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh
Solving distributed constraint optimization problems using logic programming. Theory Pract. Log. Program. 17 (4) (2017)
Ferdinando Fioretto, William Yeoh, Enrico Pontelli, Ye Ma, Satishkumar J. Ranade
A Distributed Constraint Optimization (DCOP) Approach to the Economic Dispatch with Demand Response. AAMAS (2017)
Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli, William Yeoh, Roie Zivan
Solving DCOPs with Distributed Large Neighborhood Search. CoRR (2017)
Arlin Stoltzfus, Michael S. Rosenberg, Hilmar Lapp, Aidan Budd, Karen Cranston, Enrico Pontelli, Shann Oliver, Rutger A. Vos
Community and Code: Nine Lessons from Nine NESCent Hackathons. F1000Research 6 (2017)
Sarah Hug, Enrico Pontelli, Raena Cota, Suzanne Eyerman
Learning and Identity in YWIC: An Analysis of Program Implementation and Design as Promoting Agency in Computing (Abstract Only). SIGCSE (2017)
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
2016 IEEE Education Society Awards, 2016 Frontiers in Education Conference Awards, and Selected IEEE Awards. IEEE Trans. Educ. 60 (1) (2017)
Ahmad Al-Jarrah, Enrico Pontelli, Clinton Jeffery
The Collaborative Virtual Affinity Group Model: Principles and Design. CoRR (2017)
William Kluegel, Muhammad Aamir Iqbal, Ferdinando Fioretto, William Yeoh, Enrico Pontelli
A Realistic Dataset for the Smart Home Device Scheduling Problem for DCOPs. CoRR (2017)
William Kluegel, Muhammad A. Iqbal, Ferdinando Fioretto, William Yeoh, Enrico Pontelli
A Realistic Dataset for the Smart Home Device Scheduling Problem for DCOPs. AAMAS Workshops (Visionary Papers) (2017)
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
Reports of the Workshops of the Thirty-First AAAI Conference on Artificial Intelligence. AI Mag. 38 (3) (2017)
Son Thanh To, Tran Cao Son, Enrico Pontelli
A generic approach to planning in the presence of incomplete information: Theory and implementation (Extended Abstract). IJCAI (2017)
Tiep Le, Ferdinando Fioretto, William Yeoh, Tran Cao Son, Enrico Pontelli
ER-DCOPs: A Framework for Distributed Constraint Optimization with Uncertainty in Constraint Utilities. AAMAS (2016)
Ferdinando Fioretto, Enrico Pontelli, William Yeoh, Rina Dechter
Accelerating Exact and Approximate Inference for (Distributed) Discrete Optimization with GPUs. CoRR (2016)
Ferdinando Fioretto, Enrico Pontelli, William Yeoh
Distributed Constraint Optimization Problems and Applications: A Survey. CoRR (2016)
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 J. Witbrock, Jie Zhang
Reports of the 2016 AAAI Workshop Program. AI Mag. 37 (3) (2016)
Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini
Reasoning about Truthfulness of Agents Using Answer Set Programming. KR (2016)
Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini
An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. ICLP (Technical Communications) (2016)
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Alberto Policriti, Enrico Pontelli
Logic Programming Applied to Genome Evolution in Cancer. CILC (2016)
Ferdinando Fioretto, William Yeoh, Enrico Pontelli
Multi-Variable Agents Decomposition for DCOPs. AAAI (2016)
Ahmad Al-Jarrah, Enrico Pontelli
On the Effectiveness of a Collaborative Virtual Pair-Programming Environment. HCI (23) (2016)
Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella
A GPU Implementation of the ASP Computation. PADL (2016)
Ferdinando Fioretto, William Yeoh, Enrico Pontelli
A Dynamic Programming-Based MCMC Framework for Solving DCOPs with GPUs. CP (2016)
Natasha Nesiba, J. Dana-Farley, N. Muhyi, J. Chen, N. Ray, Enrico Pontelli
Young Women in Computing: Creating a successful and sustainable pipeline. FIE (2015)
Ferdinando Fioretto, Tiep Le, Enrico Pontelli, William Yeoh, Tran Cao Son
Exploiting GPUs in Solving (Distributed) Constraint Optimization Problems with Dynamic Programming. CP (2015)
Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond
Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence. AAAI (2015)
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
An Action Language for Multi-Agent Domains: Foundations. CoRR (2015)
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
CUD@SAT: SAT solving on GPUs. J. Exp. Theor. Artif. Intell. 27 (3) (2015)
Amanda Peel, James Fulton, Enrico Pontelli
DISSECT: An experiment in infusing computational thinking in a sixth grade classroom. FIE (2015)
Taylor Burgett, R. Folk, James Fulton, Amanda Peel, Enrico Pontelli, Victor Szczepanski
DISSECT: Analysis of pedagogical techniques to integrate computational thinking into K-12 curricula. FIE (2015)
Tiep Le, Tran Cao Son, Enrico Pontelli
Multi-Context Systems with Preferences. PRIMA (2015)
Tran Cao Son, Enrico Pontelli, Chitta Baral
A Non-monotonic Goal Specification Language for Planning with Preferences. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Son Thanh To, Tran Cao Son, Enrico Pontelli
A generic approach to planning in the presence of incomplete information: Theory and implementation. Artif. Intell. 227 (2015)
Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh
Solving Distributed Constraint Optimization Problems Using Logic Programming. AAAI (2015)
R. Folk, G. Lee, Ashley Michalenko, Amanda Peel, Enrico Pontelli
GK-12 DISSECT: Incorporating computational thinking with K-12 science without computer access. FIE (2015)
Ferdinando Fioretto, Federico Campeotto, Agostino Dovier, Enrico Pontelli, William Yeoh
Large Neighborhood Search with Quality Guarantees for Distributed Constraint Optimization Problems. AAMAS (2015)
Tran Cao Son, Enrico Pontelli, Marcello Balduccini
Reasoning about Truthfulness of Agents Using Answer Set Programming. AAAI Fall Symposia (2015)
Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli
Constrained Community-Based Gene Regulatory Network Inference. ACM Trans. Model. Comput. Simul. 25 (2) (2015)

Enrico Pontelli.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Enrico Pontelli