default search action

combined dblp search
author search
venue search
publication search

ask others

Enrico Pontelli

> Home > Persons

Person information

affiliation: New Mexico State University, Las Cruces, New Mexico, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j89]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/TardivoDFMP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/TardivoDFMP24
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli:
Constraint propagation on GPU: a case study for the cumulative constraint. Constraints An Int. J. 29(1-2): 192-214 (2024)
[c239]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/SonPP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/SonPP24
Tran Cao Son, Loc Pham, Enrico Pontelli:
On Dealing with False Beliefs and Maintaining KD45_n Property. AAMAS 2024: 1763-1771
[c238]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cp/TardivoMP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/TardivoMP24
Fabio Tardivo, Laurent Michel, Enrico Pontelli:
CP for Bin Packing with Multi-Core and GPUs. CP 2024: 28:1-28:19
[c237]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/FabianoPSP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/FabianoPSP24
Francesco Fabiano, Theoderic Platt, Tran Cao Son, Enrico Pontelli:
ℋ-Efp: Bridging Efficiency in Multi-agent Epistemic Planning with Heuristics. PRIMA 2024: 81-86
[c236]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/CastilloVPGNC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/CastilloVPGNC24
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: 1840-1841
[c235]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/ArceHCVCP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/ArceHCVCP24
Candy Arce, Angie Hernandez, Ruth Torres Castillo, Tomas Valdez, Raena Cota, Enrico Pontelli:
Learning with the Rashomon Augmented Reality Cube (RARc). SIGCSE (2) 2024: 1877
[i27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-14821
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-14821
Fabio Tardivo, Laurent Michel, Enrico Pontelli:
Constraint Propagation on GPU: A Case Study for the Bin Packing Constraint. CoRR abs/2402.14821 (2024)
2023
[j88]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/TardivoDFMP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/TardivoDFMP23
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): 1734-1752 (2023)
[j87]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/EiterMPRT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/EiterMPRT23
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): 1 (2023)
[j86]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/SonPBS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/SonPBS23
Tran Cao Son, Enrico Pontelli, Marcello Balduccini, Torsten Schaub:
Answer Set Planning: A Survey. Theory Pract. Log. Program. 23(1): 226-298 (2023)
[j85]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/CostantiniPRT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/CostantiniPRT23
Stefania Costantini, Enrico Pontelli, Alessandra Russo, Francesca Toni:
Introduction to the 39^th International Conference on Logic Programming Special Issue. Theory Pract. Log. Program. 23(4): 624-631 (2023)
[j84]
- view
  authority control:
- export record
  dblp key:
  - journals/uais/UtrerasP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/uais/UtrerasP23
Emmanuel Utreras, Enrico Pontelli:
Introductory programming and young learners with visual disabilities: a review. Univers. Access Inf. Soc. 22(1): 169-184 (2023)
[c234]
- view
  authority control:
- export record
  dblp key:
  - conf/aips/PhamSP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/PhamSP23
Loc Pham, Tran Cao Son, Enrico Pontelli:
Planning in Multi-Agent Domains with Untruthful Announcements. ICAPS 2023: 334-342
[c233]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/TardivoDFMP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/TardivoDFMP23
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli:
Constraint Propagation on GPU: A Case Study for the Cumulative Constraint. CPAIOR 2023: 336-353
[c232]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/PhamSP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/PhamSP23
Loc Pham, Tran Cao Son, Enrico Pontelli:
Reasoning about Non-Deterministic Observability and Hypothetical Action Occurrences in Multi-Agent Domains. SAC 2023: 957-964
[p4]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/PaluD0P23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/PaluD0P23
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Prolog Meets Biology. Prolog: The Next 50 Years 2023: 318-333
[e12]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-14898
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-14898
Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Alice Gaggl, Roberta Calegari, Artur S. d'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni:
Proceedings 39th International Conference on Logic Programming, ICLP 2023, Imperial College London, UK, 9th July 2023 - 15th July 2023. EPTCS 385, 2023 [contents]
2022
[j83]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/BaralGPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BaralGPS22
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son:
An action language for multi-agent domains. Artif. Intell. 302: 103601 (2022)
[j82]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/EiterMPRT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/EiterMPRT22
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): 770-775 (2022)
[j81]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/DovierFGHPR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/DovierFGHPR22
Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha:
Parallel Logic Programming: A Sequel. Theory Pract. Log. Program. 22(6): 905-973 (2022)
[c231]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/IzmirliogluPSP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/IzmirliogluPSP22
Yusuf Izmirlioglu, Loc Pham, Tran Cao Son, Enrico Pontelli:
A Review of the Muddy Children Problem. AI*IA 2022: 127-139
[c230]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/TardivoD0MP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/TardivoD0MP22
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli:
Constraints propagation on GPU: A case study for AllDifferent. CILC 2022: 61-74
[c229]
- view
  authority control:
- export record
  dblp key:
  - conf/epia/IzmirliogluPSP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/epia/IzmirliogluPSP22
Yusuf Izmirlioglu, Loc Pham, Tran Cao Son, Enrico Pontelli:
A Robust State Transition Function for Multi-agent Epistemic Systems. EPIA 2022: 688-700
[c228]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/IzmirliogluPSP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/IzmirliogluPSP22
Yusuf Izmirlioglu, Loc Pham, Tran Cao Son, Enrico Pontelli:
State Transition in Multi-agent Epistemic Domains Using Answer Set Programming. LPNMR 2022: 273-286
[c227]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/TardivoP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/TardivoP22
Fabio Tardivo, Enrico Pontelli:
Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs. PADL 2022: 191-207
[c226]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/PhamISP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/PhamISP22
Loc Pham, Yusuf Izmirlioglu, Tran Cao Son, Enrico Pontelli:
A New Semantics for Action Language mA^*. PRIMA 2022: 553-562
[c225]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/PhamSP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/PhamSP22
Loc Pham, Tran Cao Son, Enrico Pontelli:
Update models for lying and misleading announcements. SAC 2022: 911-916
[c224]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/CotaPPCHVLR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/CotaPPCHVLR21
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: 1187
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2202-05793
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-05793
Tran Cao Son, Enrico Pontelli, Marcello Balduccini, Torsten Schaub:
Answer Set Planning: A Survey. CoRR abs/2202.05793 (2022)
2021
[c223]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/TardivoPSP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/TardivoPSP21
Fabio Tardivo, Loc Pham, Tran Cao Son, Enrico Pontelli:
A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States. PADL 2021: 73-89
[c222]
- view
  authority control:
- export record
  dblp key:
  - conf/pricai/FabianoBDPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pricai/FabianoBDPS21
Francesco Fabiano, Alessandro Burigana, Agostino Dovier, Enrico Pontelli, Tran Cao Son:
Multi-agent Epistemic Planning with Inconsistent Beliefs, Trust and Lies. PRICAI (1) 2021: 586-597
[c221]
- view
  authority control:
- export record
  dblp key:
  - conf/respect/CollinsOCHCP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/respect/CollinsOCHCP21
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: 1-5
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2104-08963
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-08963
Ly Ly T. Trieu, Tran Cao Son, Enrico Pontelli, Marcello Balduccini:
Generating explanations for answer set programming applications. CoRR abs/2104.08963 (2021)
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2111-11218
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-11218
Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha:
Parallel Logic Programming: A Sequel. CoRR abs/2111.11218 (2021)
2020
[j80]
- view
  authority control:
- export record
  dblp key:
  - journals/ijseke/TayeenNNP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijseke/TayeenNNP20
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): 1525-1550 (2020)
[j79]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/BuriganaFDP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/BuriganaFDP20
Alessandro Burigana, Francesco Fabiano, Agostino Dovier, Enrico Pontelli:
Modelling Multi-Agent Epistemic Planning in ASP. Theory Pract. Log. Program. 20(5): 593-608 (2020)
[c220]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aips/FabianoBDP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/FabianoBDP20
Francesco Fabiano, Alessandro Burigana, Agostino Dovier, Enrico Pontelli:
EFP 2.0: A Multi-Agent Epistemic Solver with Multiple E-State Representations. ICAPS 2020: 101-109
[c219]
- view
  authority control:
- export record
  dblp key:
  - conf/hci/UtrerasP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hci/UtrerasP20
Emmanuel Utreras, Enrico Pontelli:
Design of a Tangible Programming Tool for Students with Visual Impairments and Low Vision. HCI (9) 2020: 304-314
[c218]
- view
  authority control:
- export record
  dblp key:
  - conf/icchp/UtrerasP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icchp/UtrerasP20
Emmanuel Utreras, Enrico Pontelli:
Accessibility of Block-Based Introductory Programming Languages and a Tangible Programming Tool Prototype. ICCHP (1) 2020: 27-34
[c217]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/kr/BalducciniGPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BalducciniGPS20
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: 69-78
[c216]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/NguyenPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/NguyenPS20
Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son:
On Repairing Web Services Workflows. PADL 2020: 37-53
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2008-03007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-03007
Alessandro Burigana, Francesco Fabiano, Agostino Dovier, Enrico Pontelli:
Modelling Multi-Agent Epistemic Planning in ASP. CoRR abs/2008.03007 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c215]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/LeSP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/LeSP19
Tiep Le, Tran Cao Son, Enrico Pontelli:
Multi-Context System for Optimization Problems. AAAI 2019: 2929-2937
[c214]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/Pontelli19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/Pontelli19
Enrico Pontelli:
Multi-Agent Epistemic Planning. CILC 2019: 2
[c213]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/FabianoRDP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/FabianoRDP19
Francesco Fabiano, Idriss Riouak, Agostino Dovier, Enrico Pontelli:
Non-Well-Founded Set Based Multi-Agent Epistemic Action Language. CILC 2019: 242-259
[c212]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/BortoliITDP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/BortoliITDP19
Marco De Bortoli, Federico Igne, Fabio Tardivo, Pietro Totis, Agostino Dovier, Enrico Pontelli:
Towards Distributed Computation of Answer Sets. CILC 2019: 316-326
[c211]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/NguyenSP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/NguyenSP19
Van Nguyen, Tran Cao Son, Enrico Pontelli:
Natural Language Generation from Ontologies. PADL 2019: 64-81
[c210]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1909-08250
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-08250
Van Duc Nguyen, Tran Cao Son, Enrico Pontelli:
Natural Language Generation for Non-Expert Users. ICLP Technical Communications 2019: 280-294
2018
[j78]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/FiorettoPYD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/FiorettoPYD18
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): 1-43 (2018)
[j77]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/LeSP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/LeSP18
Tiep Le, Tran Cao Son, Enrico Pontelli:
Multi-Context Systems with Preferences. Fundam. Informaticae 158(1-3): 171-216 (2018)
[j76]
- view
  authority control:
- export record
  dblp key:
  - journals/ia/FiorettoDP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ia/FiorettoDP18
Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli:
Distributed multi-agent optimization for smart grids and home automation. Intelligenza Artificiale 12(2): 67-87 (2018)
[j75]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jair/FiorettoPY18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/FiorettoPY18
Ferdinando Fioretto, Enrico Pontelli, William Yeoh:
Distributed Constraint Optimization Problems and Applications: A Survey. J. Artif. Intell. Res. 61: 623-698 (2018)
[j74]
- view
  authority control:
- export record
  dblp key:
  - journals/ki/PaluDFP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/PaluDFP18
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
ASP Applications in Bio-informatics: A Short Tour. Künstliche Intell. 32(2-3): 157-164 (2018)
[j73]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/NguyenPS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/NguyenPS18
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): 656-672 (2018)
[j72]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/FiorettoP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/FiorettoP18
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): 722-724 (2018)
[c209]
- view
  - electronic edition @ aaai.org
  - details & citations
- export record
  dblp key:
  - conf/aips/LeFSP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/LeFSP18
Tiep Le, Francesco Fabiano, Tran Cao Son, Enrico Pontelli:
EFP and PG-EFP: Epistemic Forward Search Planners in Multi-Agent Domains. ICAPS 2018: 161-170
[c208]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/HoangF0PZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/HoangF0PZ18
Khoi D. Hoang, Ferdinando Fioretto, William Yeoh, Enrico Pontelli, Roie Zivan:
A Large Neighboring Search Schema for Multi-agent Optimization. CP 2018: 688-706
[c207]
- view
- export record
  dblp key:
  - conf/flairs/WrightP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flairs/WrightP18
Ben Wright, Enrico Pontelli:
Reasoning with Doxastic Attitudes in Multi-Agent Domains. FLAIRS 2018: 360-365
[c206]
- view
  authority control:
- export record
  dblp key:
  - conf/icchp/StantonPTM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icchp/StantonPTM18
R. Stanton, Enrico Pontelli, Phoebe O. Toups Dugas, Muhanad S. Manshad:
Exploring a Novel Inexpensive Tangible Interface for Non-visual Math and Science. ICCHP (1) 2018: 619-627
[c205]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/iclp/IgneDP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/IgneDP18
Federico Igne, Agostino Dovier, Enrico Pontelli:
MASP-Reduce: A Proposal for Distributed Computation of Stable Models. ICLP (Technical Communications) 2018: 8:1-8:4
[c204]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/iclp/NguyenSP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/NguyenSP18
Van Duc Nguyen, Tran Cao Son, Enrico Pontelli:
Explanations Generation For Web Service Workflow. ICLP (Technical Communications) 2018: 14:1-14:3
[c203]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/NguyenSP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/NguyenSP18
Thanh Hai Nguyen, Tran Cao Son, Enrico Pontelli:
Automatic Web Services Composition for Phylotastic. PADL 2018: 186-202
[p3]
- view
  authority control:
- export record
  dblp key:
  - books/mc/18/PaluDFP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mc/18/PaluDFP18
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Exploring life: answer set programming in bioinformatics. Declarative Logic Programming 2018: 359-412
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/18/DovierFP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/DovierFP18
Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Parallel Answer Set Programming. Handbook of Parallel Constraint Reasoning 2018: 237-282
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1805-00185
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-00185
Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son:
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming. CoRR abs/1805.00185 (2018)
2017
[j71]
- view
  authority control:
- export record
  dblp key:
  - journals/aim/AndersonBBBEGGI17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aim/AndersonBBBEGGI17
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): 72-82 (2017)
[j70]
- view
  authority control:
- export record
  dblp key:
  - journals/te/JonesWSLAPLPNAL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/te/JonesWSLAPLPNAL17
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): 67-77 (2017)
[j69]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/LeSPY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/LeSPY17
Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh:
Solving distributed constraint optimization problems using logic programming. Theory Pract. Log. Program. 17(4): 634-683 (2017)
[c202]
- view
- export record
  dblp key:
  - conf/aaai/Fioretto0P17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Fioretto0P17
Ferdinando Fioretto, William Yeoh, Enrico Pontelli:
A Multiagent System Approach to Scheduling Devices in Smart Homes. AAAI Workshops 2017
[c201]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/KluegelIF0P17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/KluegelIF0P17
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: 125-142
[c200]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/Fioretto0P17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/Fioretto0P17
Ferdinando Fioretto, William Yeoh, Enrico Pontelli:
A Multiagent System Approach to Scheduling Devices in Smart Homes. AAMAS 2017: 981-989
[c199]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/Fioretto0PMR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/Fioretto0PMR17
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: 999-1007
[c198]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/ToSP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/ToSP17
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: 5075-5079
[c197]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/HugPCE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/HugPCE17
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: 709
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/FiorettoDP0Z17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FiorettoDP0Z17
Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli, William Yeoh, Roie Zivan:
Solving DCOPs with Distributed Large Neighborhood Search. CoRR abs/1702.06915 (2017)
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/KluegelIF0P17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KluegelIF0P17
William Kluegel, Muhammad Aamir Iqbal, Ferdinando Fioretto, William Yeoh, Enrico Pontelli:
A Realistic Dataset for the Smart Home Device Scheduling Problem for DCOPs. CoRR abs/1702.06970 (2017)
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/Al-JarrahPJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Al-JarrahPJ17
Ahmad Al-Jarrah, Enrico Pontelli, Clinton Jeffery:
The Collaborative Virtual Affinity Group Model: Principles and Design. CoRR abs/1703.04917 (2017)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/LeSP017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LeSP017
Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh:
Solving Distributed Constraint Optimization Problems Using Logic Programming. CoRR abs/1705.03916 (2017)
[i17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/f1000research/StoltzfusRLBCPO17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/f1000research/StoltzfusRLBCPO17
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: 786- (2017)
2016
[j68]
- view
  authority control:
- export record
  dblp key:
  - journals/aim/AlbrechtBBBCCDF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aim/AlbrechtBBBCCDF16
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:
Reports of the 2016 AAAI Workshop Program. AI Mag. 37(3): 99-108 (2016)
[c196]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/Fioretto0P16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Fioretto0P16
Ferdinando Fioretto, William Yeoh, Enrico Pontelli:
Multi-Variable Agents Decomposition for DCOPs. AAAI 2016: 2480-2486
[c195]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/LeF0SP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/LeF0SP16
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: 606-614
[c194]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/PaluDFPP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/PaluDFPP16
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Alberto Policriti, Enrico Pontelli:
Logic Programming Applied to Genome Evolution in Cancer. CILC 2016: 148-157
[c193]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/Fioretto0P16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/Fioretto0P16
Ferdinando Fioretto, William Yeoh, Enrico Pontelli:
A Dynamic Programming-Based MCMC Framework for Solving DCOPs with GPUs. CP 2016: 813-831
[c192]
- view
  authority control:
- export record
  dblp key:
  - conf/hci/Al-JarrahP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hci/Al-JarrahP16
Ahmad Al-Jarrah, Enrico Pontelli:
On the Effectiveness of a Collaborative Virtual Pair-Programming Environment. HCI (23) 2016: 583-595
[c191]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/iclp/SonPGB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/SonPGB16
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: 8:1-8:4
[c190]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/kr/SonPGB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/SonPGB16
Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini:
Reasoning about Truthfulness of Agents Using Answer Set Programming. KR 2016: 605-608
[c189]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/DovierFPV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/DovierFPV16
Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella:
A GPU Implementation of the ASP Computation. PADL 2016: 30-47
[e11]
- view
- export record
  dblp key:
  - conf/aaai/2016grid
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/2016grid
Enrico Pontelli, Alex Rogers, Sylvie Thiébaux, Tran Cao Son:
AI for Smart Grids and Smart Buildings, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016. AAAI Technical Report WS-16-04, AAAI Press 2016 [contents]
[e10]
- view
- export record
  dblp key:
  - conf/ijcai/2016knowpros
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/2016knowpros
Roman Barták, Thomas Leo McCluskey, Enrico Pontelli:
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. CEUR Workshop Proceedings 1648, CEUR-WS.org 2016 [contents]
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/FiorettoP016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FiorettoP016
Ferdinando Fioretto, Enrico Pontelli, William Yeoh:
Distributed Constraint Optimization Problems and Applications: A Survey. CoRR abs/1602.06347 (2016)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/FiorettoP0D16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FiorettoP0D16
Ferdinando Fioretto, Enrico Pontelli, William Yeoh, Rina Dechter:
Accelerating Exact and Approximate Inference for (Distributed) Discrete Optimization with GPUs. CoRR abs/1608.05288 (2016)
2015
[j67]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/ToSP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/ToSP15
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: 1-51 (2015)
[j66]
- view
  authority control:
- export record
  dblp key:
  - journals/jetai/PaluDFP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jetai/PaluDFP15
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
CUD@SAT: SAT solving on GPUs. J. Exp. Theor. Artif. Intell. 27(3): 293-316 (2015)
[j65]
- view
  authority control:
- export record
  dblp key:
  - journals/jetai/CampeottoDP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jetai/CampeottoDP15
Federico Campeotto, Agostino Dovier, Enrico Pontelli:
A declarative concurrent system for protein structure prediction on GPU. J. Exp. Theor. Artif. Intell. 27(5): 503-541 (2015)
[j64]
- view
  authority control:
- export record
  dblp key:
  - journals/tomacs/FiorettoDP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tomacs/FiorettoDP15
Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli:
Constrained Community-Based Gene Regulatory Network Inference. ACM Trans. Model. Comput. Simul. 25(2): 11:1-11:26 (2015)
[c188]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/LeSP015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/LeSP015
Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh:
Solving Distributed Constraint Optimization Problems Using Logic Programming. AAAI 2015: 1174-1181
[c187]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/SonPBG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/SonPBG15
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: 1604-1610
[c186]
- view
  - electronic edition @ aaai.org
  - details & citations
- export record
  dblp key:
  - conf/aaaifs/SonPB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaaifs/SonPB15
Tran Cao Son, Enrico Pontelli, Marcello Balduccini:
Reasoning about Truthfulness of Agents Using Answer Set Programming. AAAI Fall Symposia 2015: 47-50
[c185]
- view
  - electronic edition @ aaai.org
  - details & citations
- export record
  dblp key:
  - conf/aaaiss/BaralGPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaaiss/BaralGPS15
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son:
Multi-Agent Action Modeling Through Action Sequences And Perspective Fluents. AAAI Spring Symposia 2015
[c184]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/Fioretto0P15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/Fioretto0P15
Ferdinando Fioretto, William Yeoh, Enrico Pontelli:
Multi-Variable Agents Decomposition for DCOPs to Exploit Multi-Level Parallelism. AAMAS 2015: 1823-1824
[c183]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/FiorettoCDP015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/FiorettoCDP015
Ferdinando Fioretto, Federico Campeotto, Agostino Dovier, Enrico Pontelli, William Yeoh:
Large Neighborhood Search with Quality Guarantees for Distributed Constraint Optimization Problems. AAMAS 2015: 1835-1836
[c182]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/SonPB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/SonPB14
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: 202-217
[c181]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/FiorettoLP0S15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/FiorettoLP0S15
Ferdinando Fioretto, Tiep Le, Enrico Pontelli, William Yeoh, Tran Cao Son:
Exploiting GPUs in Solving (Distributed) Constraint Optimization Problems with Dynamic Programming. CP 2015: 121-139
[c180]
- view
  authority control:
- export record
  dblp key:
  - conf/fie/BurgettFFPPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fie/BurgettFFPPS15
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: 1-9
[c179]
- view
  authority control:
- export record
  dblp key:
  - conf/fie/FolkLMPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fie/FolkLMPP15
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: 1-8
[c178]
- view
  authority control:
- export record
  dblp key:
  - conf/fie/NesibaDMCRP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fie/NesibaDMCRP15
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: 1-9
[c177]
- view
  authority control:
- export record
  dblp key:
  - conf/fie/NesibaPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fie/NesibaPS15
Natasha Nesiba, Enrico Pontelli, Timothy Staley:
DISSECT: Exploring the relationship between computational thinking and English literature in K-12 curricula. FIE 2015: 1-8
[c176]
- view
  authority control:
- export record
  dblp key:
  - conf/fie/PeelFP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fie/PeelFP15
Amanda Peel, James Fulton, Enrico Pontelli:
DISSECT: An experiment in infusing computational thinking in a sixth grade classroom. FIE 2015: 1-8
[c175]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/iclp/DovierFPV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/DovierFPV15
Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella:
Parallel Execution of the ASP Computation - an Investigation on GPUs. ICLP (Technical Communications) 2015
[c174]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/TognazziDPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/TognazziDPS15
Stefano Tognazzi, Agostino Dovier, Enrico Pontelli, Tran Cao Son:
Exploring the Use of BDDs in Conformant Planning. ICTAI 2015: 502-509
[c173]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/LeSP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/LeSP15
Tiep Le, Tran Cao Son, Enrico Pontelli:
Multi-Context Systems with Preferences. PRIMA 2015: 449-466
[e9]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/2015
Enrico Pontelli, Tran Cao Son:
Practical Aspects of Declarative Languages - 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings. Lecture Notes in Computer Science 9131, Springer 2015, ISBN 978-3-319-19685-5 [contents]
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/BaralGPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BaralGPS15
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son:
An Action Language for Multi-Agent Domains: Foundations. CoRR abs/1511.01960 (2015)
2014
[j63]
- view
  authority control:
- export record
  dblp key:
  - journals/jetai/LiuP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jetai/LiuP14
Chongbing Liu, Enrico Pontelli:
Techniques to enhance efficiency and effectiveness of inductive logic programming systems: the TWEETY approaches. J. Exp. Theor. Artif. Intell. 26(1): 51-107 (2014)
[j62]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/SonPNS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/SonPNS14
Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen, Chiaki Sakama:
Formalizing Negotiations Using Logic Programming. ACM Trans. Comput. Log. 15(2): 12:1-12:30 (2014)
[c172]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/LeSP014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/LeSP014
Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh:
ASP-DPOP: solving distributed constraint optimization problems with logic programming. AAMAS 2014: 1337-1338
[c171]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/FiorettoCF0P14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/FiorettoCF0P14
Ferdinando Fioretto, Federico Campeotto, Luca Da Rin Fioretto, William Yeoh, Enrico Pontelli:
GD-GIBBS: a GPU-based sampling algorithm for solving distributed constraint optimization problems. AAMAS 2014: 1339-1340
[c170]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/FiorettoLYPS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/FiorettoLYPS14
Ferdinando Fioretto, Tiep Le, William Yeoh, Enrico Pontelli, Tran Cao Son:
Improving DPOP with Branch Consistency for Solving Distributed Constraint Optimization Problems. CP 2014: 307-323
[c169]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecai/CampeottoDFP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/CampeottoDFP14
Federico Campeotto, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli:
A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems. ECAI 2014: 189-194
[c168]
- view
  authority control:
- export record
  dblp key:
  - conf/fie/Al-JarrahP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fie/Al-JarrahP14
Ahmad Al-Jarrah, Enrico Pontelli:
"AliCe-ViLlagE" Alice as a Collaborative Virtual Learning Environment. FIE 2014: 1-9
[c167]
- view
  authority control:
- export record
  dblp key:
  - conf/fie/AlajarmehPB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fie/AlajarmehPB14
Nancy Alajarmeh, Enrico Pontelli, Taylor Burgett:
A multi-layer universally designed workspace for tracking students skills and mastery transition in mathematics manipulation in inclusive education. FIE 2014: 1-8
[c166]
- view
  authority control:
- export record
  dblp key:
  - conf/fie/ArrakiBBGHLPSPH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fie/ArrakiBBGHLPSPH14
Kenza S. Arraki, Kasha Blair, Taylor Burgett, J. Greenling, Jessica Haebe, George Lee, Amanda Peel, Victor Szczepanski, Enrico Pontelli, Sarah Hug:
DISSECT: An experiment in infusing computational thinking in K-12 science curricula. FIE 2014: 1-9
[c165]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/SonPBG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/SonPBG14
Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond:
Finitary S5-Theories. JELIA 2014: 239-252
[c164]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/SonPL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/SonPL14
Tran Cao Son, Enrico Pontelli, Tiep Le:
Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems. PADL 2014: 87-103
[c163]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/CampeottoPDFP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/CampeottoPDFP14
Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli:
Exploring the Use of GPUs in Constraint Solving. PADL 2014: 152-167
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/LePSY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LePSY14
Tiep Le, Enrico Pontelli, Tran Cao Son, William Yeoh:
Logic and Constraint Logic Programming for Distributed Constraint Optimization. CoRR abs/1405.1734 (2014)
2013
[j61]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/bmcbi/StoltzfusLMDSZVPCVWHPOPMRBBHMBMSWASJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bmcbi/StoltzfusLMDSZVPCVWHPOPMRBBHMBMSWASJ13
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:
Phylotastic! Making tree-of-life knowledge accessible, reusable and convenient. BMC Bioinform. 14: 158 (2013)
[j60]
- view
  - electronic edition @ jair.org
  - details & citations
- export record
  dblp key:
  - journals/jair/CampeottoPDFP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/CampeottoPDFP13
Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli:
A Constraint Solver for Flexible Protein Model. J. Artif. Intell. Res. 48: 953-1000 (2013)
[j59]
- view
  authority control:
- export record
  dblp key:
  - journals/tist/TranNSP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tist/TranNSP13
Vien Tran, Khoi Nguyen, Tran Cao Son, Enrico Pontelli:
A conformant planner based on approximation: CpA(H). ACM Trans. Intell. Syst. Technol. 4(2): 36:1-36:38 (2013)
[j58]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/DovierFP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/DovierFP13
Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Autonomous agents coordination: Action languages meet CLP() and Linda. Theory Pract. Log. Program. 13(2): 149-173 (2013)
[j57]
- view
  authority control:
- export record
  dblp key:
  - journals/uais/DoushP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/uais/DoushP13
Iyad Abu Doush, Enrico Pontelli:
Non-visual navigation of spreadsheets - Enhancing accessibility of Microsoft Excel™. Univers. Access Inf. Soc. 12(2): 143-159 (2013)
[c162]
- view
  authority control:
- export record
  dblp key:
  - conf/chi/ManshadPM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chi/ManshadPM13
Muhanad S. Manshad, Enrico Pontelli, Shakir J. Manshad:
Exploring tangible collaborative distance learning environments for the blind and visually impaired. CHI Extended Abstracts 2013: 55-60
[c161]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/VellaPDFP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/VellaPDFP13
Flavio Vella, Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
CUD@ASP: Experimenting with GPGPUs in ASP solving. CILC 2013: 163-177
[c160]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/BaralGPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/BaralGPS13
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son:
Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL. CLIMA 2013: 290-306
[c159]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/FiorettoP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/FiorettoP13
Ferdinando Fioretto, Enrico Pontelli:
Constraint Programming in Community-Based Gene Regulatory Network Inference. CMSB 2013: 135-149
[c158]
- view
  authority control:
- export record
  dblp key:
  - conf/icpp/CampeottoDP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icpp/CampeottoDP13
Federico Campeotto, Agostino Dovier, Enrico Pontelli:
Protein Structure Prediction on GPU: A Declarative Approach in a Multi-agent Framework. ICPP 2013: 474-479
[c157]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/HugSVPW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/HugSVPW13
Sarah Hug, Josh Sandry, Ryan Vordermann, Enrico Pontelli, Ben Wright:
DISSECT: integrating computational thinking in the traditional K-12 curricula through collaborative teaching (abstract only). SIGCSE 2013: 742
2012
[c156]
- view
  - electronic edition @ aaai.org
  - details & citations
- export record
  dblp key:
  - conf/aips/NguyenTSP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/NguyenTSP12
Hoang-Khoi Nguyen, Dang-Vien Tran, Tran Cao Son, Enrico Pontelli:
On Computing Conformant Plans Using Classical Planners: A Generate-And-Complete Approach. ICAPS 2012
[c155]
- view
  authority control:
- export record
  dblp key:
  - conf/assets/AlajarmehP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/assets/AlajarmehP12
Nancy Alajarmeh, Enrico Pontelli:
E-Arithmetic: non-visual arithmetic manipulation for students with impaired vision. ASSETS 2012: 269-270
[c154]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/PontelliSBG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/PontelliSBG12
Enrico Pontelli, Tran Cao Son, Chitta Baral, Gregory Gelfond:
Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains. Correct Reasoning 2012: 509-526
[c153]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/PaluDFP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/PaluDFP12
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Exploiting Unexploited Computing Resources for Computational Logics. CILC 2012: 74-88
[c152]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/WrightPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/WrightPS12
Ben Wright, Enrico Pontelli, Tran Cao Son:
Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning. CLIMA 2012: 163-180
[c151]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/CampeottoPDFP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/CampeottoPDFP12
Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli:
A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints. CP 2012: 850-866
[c150]
- view
  authority control:
- export record
  dblp key:
  - conf/icchp/AlajarmehP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icchp/AlajarmehP12
Nancy Alajarmeh, Enrico Pontelli:
A Non-visual Electronic Workspace for Learning Algebra. ICCHP (1) 2012: 158-165
[c149]
- view
  authority control:
- export record
  dblp key:
  - conf/icchp/ManshadPM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icchp/ManshadPM12
Muhanad S. Manshad, Enrico Pontelli, Shakir J. Manshad:
Trackable Interactive Multimodal Manipulatives: Towards a Tangible User Environment for the Blind. ICCHP (2) 2012: 664-671
[c148]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/iclp/LeNPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/LeNPS12
Tiep Le, Hieu Nguyen, Enrico Pontelli, Tran Cao Son:
ASP at Work: An ASP Implementation of PhyloWS. ICLP (Technical Communications) 2012: 359-369
2011
[j56]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/bmcbi/ChishamWLSP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bmcbi/ChishamWLSP11
Brandon Chisham, Ben Wright, Trung Le, Tran Cao Son, Enrico Pontelli:
CDAO-Store: Ontology-driven Data Integration for Phylogenetic Analysis. BMC Bioinform. 12: 98 (2011)
[j55]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/BandaP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/BandaP11
Maria Garcia de la Banda, Enrico Pontelli:
Introduction to the 24th international conference on logic programming special issue. Theory Pract. Log. Program. 11(2-3): 131-133 (2011)
[c147]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/NguyenTSP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/NguyenTSP11
Hoang-Khoi Nguyen, Dang-Vien Tran, Tran Cao Son, Enrico Pontelli:
On Improving Conformant Planners by Analyzing Domain-Structures. AAAI 2011: 998-1003
[c146]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ToSP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ToSP11
Son Thanh To, Tran Cao Son, Enrico Pontelli:
Conjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF Formula. AAAI 2011: 1023-1028
[c145]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ToSP11a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ToSP11a
Son Thanh To, Tran Cao Son, Enrico Pontelli:
On the Effectiveness of Belief State Representation in Contingent Planning. AAAI 2011: 1818-1819
[c144]
- view
  - electronic edition @ aaai.org
  - details & citations
- export record
  dblp key:
  - conf/aaaiss/SonPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaaiss/SonPS11
Tran Cao Son, Enrico Pontelli, Chiaki Sakama:
An Experiment in Formalizing Commitments Using Action Languages. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011
[c143]
- view
  - electronic edition @ aaai.org
  - details & citations
- export record
  dblp key:
  - conf/aips/ToSP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/ToSP11
Son Thanh To, Tran Cao Son, Enrico Pontelli:
Contingent Planning as AND/OR Forward Search with Disjunctive Representation. ICAPS 2011
[c142]
- view
  authority control:
- export record
  dblp key:
  - conf/assets/ManshadPM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/assets/ManshadPM11
Muhanad S. Manshad, Enrico Pontelli, Shakir J. Manshad:
MICOO (multimodal interactive cubes for object orientation): a tangible user interface for the blind and visually impaired. ASSETS 2011: 261-262
[c141]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/DovierFP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/DovierFP11
Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Perspectives on Logic-Based Approaches for Reasoning about Actions and Change. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 259-279
[c140]
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/SonPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/SonPS11
Tran Cao Son, Enrico Pontelli, Chiaki Sakama:
Formalizing Commitments Using Action Languages. DALT 2011: 67-83
[c139]
- view
  authority control:
- export record
  dblp key:
  - conf/hci/AlajarmehPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hci/AlajarmehPS11
Nancy Alajarmeh, Enrico Pontelli, Tran Cao Son:
From "Reading" Math to "Doing" Math: A New Direction in Non-visual Math Accessibility. HCI (8) 2011: 501-510
[c138]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/iclp/DovierFP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/DovierFP11
Agostino Dovier, Andrea Formisano, Enrico Pontelli:
BAAC: A Prolog System for Action Description and Agents Coordination. ICLP (Technical Communications) 2011: 187-197
[c137]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/iclp/ChishamPSW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/ChishamPSW11
Brandon Chisham, Enrico Pontelli, Tran Cao Son, Ben Wright:
CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services. ICLP (Technical Communications) 2011: 209-219
[c136]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcai/SakamaSP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/SakamaSP11
Chiaki Sakama, Tran Cao Son, Enrico Pontelli:
A Logical Formulation for Negotiation among Dishonest Agents. IJCAI 2011: 1069-1074
[c135]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcai/ToPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/ToPS11
Son Thanh To, Enrico Pontelli, Tran Cao Son:
On the Effectiveness of CNF and DNF Representations in Contingent Planning. IJCAI 2011: 2033-2038
[c134]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcai/PaluDFP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/PaluDFP11
Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli:
Exploring Protein Fragment Assembly Using CLP. IJCAI 2011: 2590-2595
[c133]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/NguyenSPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/NguyenSPS11
Ngoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli, Chiaki Sakama:
ASP-Prolog for Negotiation among Dishonest Agents. LPNMR 2011: 331-344
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1110-0624
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1110-0624
Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda. CoRR abs/1110.0624 (2011)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1110-2205
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1110-2205
Enrico Pontelli, Tran Cao Son, Phan Huy Tu:
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. CoRR abs/1110.2205 (2011)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1112-3789
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1112-3789
Abdulla Alqaddoumi, Enrico Pontelli:
An Implementation of Bubbling. CoRR abs/1112.3789 (2011)
2010
[j54]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/LiuPST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/LiuPST10
Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski:
Logic programs with abstract constraint atoms: The role of computations. Artif. Intell. 174(3-4): 295-315 (2010)
[j53]
- view
  authority control:
- export record
  dblp key:
  - journals/cl/PontelliLS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/PontelliLS10
Enrico Pontelli, Hung Viet Le, Tran Cao Son:
An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling. Comput. Lang. Syst. Struct. 36(2): 158-202 (2010)
[j52]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/DovierFP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/DovierFP10
Agostino Dovier, Andrea Formisano, Enrico Pontelli:
An Investigation of Multi-Agent Planning in CLP. Fundam. Informaticae 105(1-2): 79-103 (2010)
[j51]
- view
  authority control:
- export record
  dblp key:
  - journals/ijdmb/PaluDP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijdmb/PaluDP10
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli:
Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal lattices. Int. J. Data Min. Bioinform. 4(1): 1-20 (2010)
[j50]
- view
  authority control:
- export record
  dblp key:
  - journals/taccess/DoushPSSM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/taccess/DoushPSSM10
Iyad Abu Doush, Enrico Pontelli, Tran Cao Son, Dominic Simon, Ou Ma:
Multimodal Presentation of Two-Dimensional Charts: An Investigation Using Open Office XML and Microsoft Excel. ACM Trans. Access. Comput. 3(2): 8:1-8:50 (2010)
[j49]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/DovierFP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/DovierFP10
Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Multivalued action languages with constraints in CLP(FD). Theory Pract. Log. Program. 10(2): 167-235 (2010)
[j48]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/BaralGPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/BaralGPS10
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son:
Logic programming for finding models in the logics of knowledge and its applications: A case study. Theory Pract. Log. Program. 10(4-6): 675-690 (2010)
[j47]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/PaluDFP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/PaluDFP10
Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli:
CLP-based protein fragment assembly. Theory Pract. Log. Program. 10(4-6): 709-724 (2010)
[c132]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ToSP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ToSP10
Son Thanh To, Tran Cao Son, Enrico Pontelli:
On the Use of Prime Implicates in Conformant Planning. AAAI 2010: 1205-1210
[c131]
- view
  - electronic edition @ aaai.org
  - details & citations
- export record
  dblp key:
  - conf/aips/ToSP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/ToSP10
Son Thanh To, Tran Cao Son, Enrico Pontelli:
A New Approach to Conformant Planning Using CNF*. ICAPS 2010: 169-176
[c130]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/BaralGSP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BaralGSP10
Chitta Baral, Gregory Gelfond, Tran Cao Son, Enrico Pontelli:
Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge. AAMAS 2010: 259-266
[c129]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/DovierFP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/DovierFP10
Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda. CILC 2010
[c128]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/PaluDFP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/PaluDFP10
Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli:
CLP-based Protein Fragment Assembly. CILC 2010
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/das/DoushP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/das/DoushP10
Iyad Abu Doush, Enrico Pontelli:
Detecting and recognizing tables in spreadsheets. Document Analysis Systems 2010: 471-478
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/icchp/DoushP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icchp/DoushP10
Iyad Abu Doush, Enrico Pontelli:
Non-visual Navigation of Spreadsheet Tables. ICCHP (1) 2010: 108-115
[c125]
- view
  authority control:
- export record
  dblp key:
  - conf/icchp/DoushP10a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icchp/DoushP10a
Iyad Abu Doush, Enrico Pontelli:
Integrating Semantic Web and Folksonomies to Improve E-Learning Accessibility. ICCHP (1) 2010: 376-383
[c124]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Pontelli10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Pontelli10
Enrico Pontelli:
Answer Set Programming in 2010: A Personal Perspective. PADL 2010: 1-3
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/anis/PanPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/anis/PanPS10
Yu Pan, Enrico Pontelli, Tran Cao Son:
BSIS: An Experiment in Automating Bioinformatics Tasks Through Intelligent Workflow Construction. Semantic e-Science 2010: 189-238
[e8]
- view
  authority control:
- export record
  dblp key:
  - conf/agp/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/2010
Agostino Dovier, Enrico Pontelli:
A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP. Lecture Notes in Computer Science 6125, Springer 2010, ISBN 978-3-642-14308-3 [contents]
[e7]
- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - conf/popl/2010damp
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/2010damp
Leaf Petersen, Enrico Pontelli:
Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, DAMP 2010, Madrid, Spain, January 19, 2010. ACM 2010, ISBN 978-1-60558-859-9 [contents]
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1007-3700
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1007-3700
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son:
Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study. CoRR abs/1007.3700 (2010)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1007-5180
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1007-5180
Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli:
CLP-based protein fragment assembly. CoRR abs/1007.5180 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j46]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/TuPST09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/TuPST09
Phan Huy Tu, Enrico Pontelli, Tran Cao Son, Son Thanh To:
Applications of parallel processing technologies in heuristic search planning: methodologies and experiments. Concurr. Comput. Pract. Exp. 21(15): 1928-1960 (2009)
[j45]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/PaluDPR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/PaluDPR09
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
GASP: Answer Set Programming with Lazy Grounding. Fundam. Informaticae 96(3): 297-322 (2009)
[j44]
- view
  authority control:
- export record
  dblp key:
  - journals/jetai/DovierFP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jetai/DovierFP09
Agostino Dovier, Andrea Formisano, Enrico Pontelli:
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems. J. Exp. Theor. Artif. Intell. 21(2): 79-121 (2009)
[j43]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/GrossiMPP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/GrossiMPP09
Giuliano Grossi, Massimo Marchi, Enrico Pontelli, Alessandro Provetti:
Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures. J. Log. Comput. 19(4): 697-715 (2009)
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/PontelliSE09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/PontelliSE09
Enrico Pontelli, Tran Cao Son, Omar El-Khatib:
Justifications for logic programs under answer set semantics. Theory Pract. Log. Program. 9(1): 1-56 (2009)
[c123]
- view
  - electronic edition @ aaai.org
  - details & citations
- export record
  dblp key:
  - conf/aips/ToPS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/ToPS09
Son Thanh To, Enrico Pontelli, Tran Cao Son:
A Conformant Planner with Explicit Disjunctive Representation of Belief States. ICAPS 2009
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/assets/DoushPSSM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/assets/DoushPSSM09
Iyad Abu Doush, Enrico Pontelli, Dominic Simon, Tran Cao Son, Ou Ma:
Making Microsoft Excel^TM: multimodal presentation of charts. ASSETS 2009: 147-154
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/SonPN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/SonPN09
Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen:
Planning for Multiagent Using ASP-Prolog. CLIMA 2009: 1-21
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/BaralSP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/BaralSP09
Chitta Baral, Tran Cao Son, Enrico Pontelli:
Reasoning about Multi-agent Domains Using Action Language C\mathcal{C}: A Preliminary Study. CLIMA 2009: 46-63
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/hci/DoushP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hci/DoushP09
Iyad Abu Doush, Enrico Pontelli:
Building a Programmable Architecture for Non-visual Navigation of Mathematics: Using Rules for Guiding Presentation and Switching between Modalities. HCI (7) 2009: 3-13
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/SonPS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/SonPS09
Tran Cao Son, Enrico Pontelli, Chiaki Sakama:
Logic Programming for Multiagent Planning with Negotiation. ICLP 2009: 99-114
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/PaluDPR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/PaluDPR09
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Answer Set Programming with Constraints Using Lazy Grounding. ICLP 2009: 115-129
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/BaralSP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/BaralSP09
Chitta Baral, Tran Cao Son, Enrico Pontelli:
Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using . LPNMR 2009: 409-415
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/DovierFP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/DovierFP09
Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Representing Multi-agent Planning in CLP. LPNMR 2009: 423-429
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/PaluDP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/PaluDP09
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli:
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results. LPNMR 2009: 560-566
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/DovierP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/DovierP09
Agostino Dovier, Enrico Pontelli:
Present and Future Challenges for ASP Systems. LPNMR 2009: 622-624
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/TranNPS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/TranNPS09
Dang-Vien Tran, Hoang-Khoi Nguyen, Enrico Pontelli, Tran Cao Son:
Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications. PADL 2009: 239-253
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/PivkinaPJH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/PivkinaPJH09
Inna Pivkina, Enrico Pontelli, Rachel Jensen, Jessica Haebe:
Young women in computing: lessons learned from an educational & outreach program. SIGCSE 2009: 509-513
[r1]
- view
  authority control:
- export record
  dblp key:
  - reference/crc/PontelliKG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crc/PontelliKG09
Enrico Pontelli, Arthur I. Karshmer, Gopal Gupta:
Mathematics and Accessibility. The Universal Access Handbook 2009: 1-18
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0912-2846
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0912-2846
Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Multi-valued Action Languages in CLP(FD). CoRR abs/0912.2846 (2009)
2008
[c110]
- view
- export record
  dblp key:
  - conf/aaai/BonattiPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BonattiPS08
Piero A. Bonatti, Enrico Pontelli, Tran Cao Son:
Credulous Resolution for Answer Set Programming. AAAI 2008: 418-423
[c109]
- view
  - electronic edition @ aaai.org
  - details & citations
- export record
  dblp key:
  - conf/aaaiss/SonPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaaiss/SonPS08
Tran Cao Son, Enrico Pontelli, Son Thanh To:
Some Results on the Completeness of Approximation Based Reasoning. AAAI Spring Symposium: Emotion, Personality, and Social Behavior 2008: 61-66
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/pricai/TranP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pricai/TranP08
Tran Cao Son, Enrico Pontelli:
Some Results on the Completeness of Approximation Based Reasoning. PRICAI 2008: 358-369
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/2008
Maria Garcia de la Banda, Enrico Pontelli:
Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings. Lecture Notes in Computer Science 5366, Springer 2008, ISBN 978-3-540-89981-5 [contents]
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0812-0790
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0812-0790
Enrico Pontelli, Tran Cao Son, Omar El-Khatib:
Justifications for Logic Programs under Answer Set Semantics. CoRR abs/0812.0790 (2008)
2007
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/SaadP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/SaadP07
Emad Saad, Enrico Pontelli:
A new approach to hybrid probabilistic logic programs. Ann. Math. Artif. Intell. 50(3-4): 417-418 (2007)
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/ijdmb/PaluPHL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijdmb/PaluPHL07
Alessandro Dal Palù, Enrico Pontelli, Jing He, Yonggang Lu:
A Constraint Logic Programming approach to associate 1D and 3D structural components for large protein complexes. Int. J. Data Min. Bioinform. 1(4): 352-371 (2007)
[j39]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jair/SonPT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/SonPT07
Tran Cao Son, Enrico Pontelli, Phan Huy Tu:
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. J. Artif. Intell. Res. 29: 353-389 (2007)
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/PaluDP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/PaluDP07
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli:
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction. Softw. Pract. Exp. 37(13): 1405-1449 (2007)
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/SonP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/SonP07
Tran Cao Son, Enrico Pontelli:
A Constructive semantic characterization of aggregates in answer set programming. Theory Pract. Log. Program. 7(3): 355-375 (2007)
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/PontelliVGG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/PontelliVGG07
Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta:
PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters. Theory Pract. Log. Program. 7(6): 633-695 (2007)
[c107]
- view
- export record
  dblp key:
  - conf/aaai/DovierFP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/DovierFP07
Agostino Dovier, Andrea Formisano, Enrico Pontelli:
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. AAAI 2007: 1622-1625
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/DovierFP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/DovierFP07
Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Multivalued Action Languages with Constraints in CLP(FD). ICLP 2007: 255-270
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/LiuPST07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/LiuPST07
Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski:
Logic Programs with Abstract Constraint Atoms: The Role of Computations. ICLP 2007: 286-301
[c104]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/iclp/Pontelli07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/Pontelli07
Enrico Pontelli:
ASP-PROLOG: Composition and Interoperation of Rules. ALPSWS 2007
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/TuSP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/TuSP07
Phan Huy Tu, Tran Cao Son, Enrico Pontelli:
CPP: A Constraint Logic Programming Based Planner with Preferences. LPNMR 2007: 290-296
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/LiuP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/LiuP07
Chongbing Liu, Enrico Pontelli:
Inductive Logic Programming by Instance Patterns. PADL 2007: 230-244
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/LiuP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/LiuP07
Chongbing Liu, Enrico Pontelli:
Nonmonotonic inductive logic programming by instance patterns. PPDP 2007: 187-196
[c100]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/springsim/LeP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/springsim/LeP07
Hung Viet Le, Enrico Pontelli:
Dynamic scheduling in parallel answer set programming solvers. SpringSim (2) 2007: 367-374
[e5]
- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - conf/assets/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/assets/2007
Enrico Pontelli, Shari Trewin:
Proceedings of the 9th International ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2007, Tempe, Arizona, USA, October 15-17, 2007. ACM 2007, ISBN 978-1-59593-573-1 [contents]
2006
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/SaadP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/SaadP06
Emad Saad, Enrico Pontelli:
A new approach to hybrid probabilistic logic programs. Ann. Math. Artif. Intell. 48(3-4): 187-243 (2006)
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/behaviourIT/PontelliS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/behaviourIT/PontelliS06
Enrico Pontelli, Andrew Sears:
Computers and accessibility. Behav. Inf. Technol. 25(4): 283-284 (2006)
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/jpdc/PontelliVGG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jpdc/PontelliVGG06
Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta:
Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms. J. Parallel Distributed Comput. 66(10): 1267-1293 (2006)
[j32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/PaluPR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/PaluPR06
Alessandro Dal Palù, Enrico Pontelli, Desh Ranjan:
Sequential and parallel algorithms for the NCA problem on pure pointer machines. Theor. Comput. Sci. 352(1-3): 108-135 (2006)
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/SonP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/SonP06
Tran Cao Son, Enrico Pontelli:
Planning with preferences using logic programming. Theory Pract. Log. Program. 6(5): 559-607 (2006)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/DovierPR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/DovierPR06
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Set unification. Theory Pract. Log. Program. 6(6): 645-701 (2006)
[c99]
- view
- export record
  dblp key:
  - conf/aaai/SonPT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/SonPT06
Tran Cao Son, Enrico Pontelli, Phan Huy Tu:
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. AAAI 2006: 129-134
[c98]
- view
  - electronic edition @ aaai.org
  - details & citations
- export record
  dblp key:
  - conf/aaaiss/El-KhatibPS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaaiss/El-KhatibPS06
Omar El-Khatib, Enrico Pontelli, Tran Cao Son:
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 2006: 16-21
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/PontelliS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/PontelliS06
Enrico Pontelli, Tran Cao Son:
Justifications for Logic Programs Under Answer Set Semantics. ICLP 2006: 196-210
[c96]
- view
  - electronic edition @ umass.edu (open access)
  - details & citations
- export record
  dblp key:
  - conf/isaim/SaadP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isaim/SaadP06
Emad Saad, Enrico Pontelli:
Non-monotonic Negation in Hybrid Probabilistic Logic Programs. AI&M 2006
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/PontelliSB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/PontelliSB06
Enrico Pontelli, Tran Cao Son, Chitta Baral:
A Framework for Composition and Inter-operation of Rules in the Semantic Web. RuleML 2006: 39-50
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/PaluPHL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/PaluPHL06
Alessandro Dal Palù, Enrico Pontelli, Jing He, Yonggang Lu:
A constraint logic programming approach to 3D structure determination of large protein complexes. SAC 2006: 131-136
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0601051
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0601051
Tran Cao Son, Enrico Pontelli:
A Constructive Semantic Characterization of Aggregates in ASP. CoRR abs/cs/0601051 (2006)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0605038
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0605038
Tran Cao Son, Enrico Pontelli, Islam Elkabani:
An Unfolding-Based Semantics for Logic Programming with Aggregates. CoRR abs/cs/0605038 (2006)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0607040
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0607040
Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta:
PALS: Efficient Or-Parallelism on Beowulf Clusters. CoRR abs/cs/0607040 (2006)
2005
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/mst/PontelliR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/PontelliR05
Enrico Pontelli, Desh Ranjan:
A Simple Optimal Solution for the Temporal Precedence Problem on Pure Pointer Machines. Theory Comput. Syst. 38(1): 115-130 (2005)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/pc/BalducciniPEL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pc/BalducciniPEL05
Marcello Balduccini, Enrico Pontelli, Omar El-Khatib, Hung Le:
Issues in parallel execution of non-monotonic reasoning systems. Parallel Comput. 31(6): 608-647 (2005)
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/aadebug/El-KhatibPS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/El-KhatibPS05
Omar El-Khatib, Enrico Pontelli, Tran Cao Son:
Justification and debugging of answer set programs in ASP. AADEBUG 2005: 49-58
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/LeP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/LeP05
Hung Viet Le, Enrico Pontelli:
An Investigation of Sharing Strategies for Answer Set Solvers and SAT Solvers. Euro-Par 2005: 750-760
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/DovierFP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/DovierFP05
Agostino Dovier, Andrea Formisano, Enrico Pontelli:
A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems. ICLP 2005: 67-82
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/SaadP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/SaadP05
Emad Saad, Enrico Pontelli:
Hybrid Probabilistic Logic Programs with Non-monotonic Negation. ICLP 2005: 204-220
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/PaluDP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/PaluDP05
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli:
A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem. LPAR 2005: 48-63
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/WuPR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/WuPR05
Yao Wu, Enrico Pontelli, Desh Ranjan:
Computational Issues in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees. LPAR 2005: 79-94
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/ElkhatibPS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/ElkhatibPS05
Omar El-Khatib, Enrico Pontelli, Tran Cao Son:
Integrating an Answer Set Solver into Prolog: ASP-PROLOG. LPNMR 2005: 399-404
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/ElkabaniPS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/ElkabaniPS05
Islam Elkabani, Enrico Pontelli, Tran Cao Son:
Smodels^A - A System for Computing Answer Sets of Logic Programs with Aggregates. LPNMR 2005: 427-431
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/SaadP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/SaadP05
Emad Saad, Enrico Pontelli:
Towards a More Practical Hybrid Probabilistic Logic Programming Framework. PADL 2005: 67-82
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/PaluDP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/PaluDP05
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli:
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD). PPDP 2005: 230-241
[e4]
- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - conf/assets/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/assets/2005
Andrew Sears, Enrico Pontelli:
Proceedings of the ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2005, Baltimore, MD, USA, October 9-12, 2005. ACM 2005, ISBN 1-59593-159-7 [contents]
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0508132
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0508132
Tran Cao Son, Enrico Pontelli:
Planning with Preferences using Logic Programming. CoRR abs/cs/0508132 (2005)
2004
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/ci/SonP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ci/SonP04
Tran Cao Son, Enrico Pontelli:
Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory. Comput. Intell. 20(2): 358-404 (2004)
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/DovierPP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/DovierPP04
Agostino Dovier, Carla Piazza, Enrico Pontelli:
Disunification in ACI1 Theories. Constraints An Int. J. 9(1): 35-91 (2004)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/iwc/PontelliSKNKG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iwc/PontelliSKNKG04
Enrico Pontelli, Tran Cao Son, Keshav Reddy Kottapally, Co Thai Ngo, Ravikumar Reddy Kotthuru, Douglas J. Gillan:
A system for automatic structure discovery and reasoning-based navigation of the web. Interact. Comput. 16(3): 451-475 (2004)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/sigaccess/KarshmerGPMAGBS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigaccess/KarshmerGPMAGBS04
Arthur I. Karshmer, Gopal Gupta, Enrico Pontelli, Klaus Miesenberger, N. Ammalai, Deepa Gopal, Mario Batusic, Bernhard Stöger, Brian Palmer, Hai-Feng Guo:
UMA: a system for universal mathematics accessibility. ACM SIGACCESS Access. Comput. 77-78: 55-62 (2004)
[c83]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ISCApdcs/VillaverdeP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ISCApdcs/VillaverdeP04
Karen Villaverde, Enrico Pontelli:
An Investigation of Scheduling in Distributed Constraint Logic Programming. PDCS 2004: 98-103
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/assets/KarshmerGPMAGBSPG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/assets/KarshmerGPMAGBSPG04
Arthur I. Karshmer, Gopal Gupta, Enrico Pontelli, Klaus Miesenberger, N. Ammalai, Deepa Gopal, Mario Batusic, Bernhard Stöger, Brian Palmer, Hai-Feng Guo:
UMA: a system for universal mathematics accessibility. ASSETS 2004: 55-62
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/PivkinaPS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/PivkinaPS04
Inna Pivkina, Enrico Pontelli, Tran Cao Son:
Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences. CLIMA 2004: 134-158
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/PanTPS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/PanTPS04
Yu Pan, Phan Huy Tu, Enrico Pontelli, Tran Cao Son:
Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report. DALT 2004: 92-111
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/icchp/PontelliR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icchp/PontelliR04
Enrico Pontelli, Ravikumar Reddy Kotthuru:
Discovering Structure of Web Pages for Non-visual Navigation: Binding Text to Forms. ICCHP 2004: 361-368
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/icchp/PontelliP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icchp/PontelliP04
Enrico Pontelli, Brian Palmer:
Translating between Formats for Mathematics: Current Approach and an Agenda for Future Developments. ICCHP 2004: 620-625
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/icchp/ArchambaultFGKMP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icchp/ArchambaultFGKMP04
Dominique Archambault, Donal Fitzpatrick, Gopal Gupta, Arthur I. Karshmer, Klaus Miesenberger, Enrico Pontelli:
Towards a Universal Maths Conversion Library. ICCHP 2004: 664-669
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/ElkabaniPS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/ElkabaniPS04
Islam Elkabani, Enrico Pontelli, Tran Cao Son:
Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP. ICLP 2004: 73-89
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/ispa/HeLP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispa/HeLP04
Jing He, Yonggang Lu, Enrico Pontelli:
A Parallel Algorithm for Helix Mapping Between 3D and 1D Protein Structure Using the Length Constraints. ISPA 2004: 746-756
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/SonP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/SonP04
Tran Cao Son, Enrico Pontelli:
Planning with Preferences Using Logic Programming. LPNMR 2004: 247-260
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/PontelliSE04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/PontelliSE04
Enrico Pontelli, Tran Cao Son, Islam Elkabani:
Smodels with CLP?A Treatment of Aggregates in ASP. LPNMR 2004: 356-360
[c72]
- view
  - electronic edition @ math.ca
  - details & citations
- export record
  dblp key:
  - conf/nmr/ElkhativPS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/ElkhativPS04
Omar El-Khatib, Enrico Pontelli, Tran Cao Son:
ASP-PROLOG: a system for reasoning about answer set programs in prolog. NMR 2004: 155-163
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/ElkhatibPS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/ElkhatibPS04
Omar El-Khatib, Enrico Pontelli, Tran Cao Son:
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. PADL 2004: 148-162
2003
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/ecra/PontelliS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ecra/PontelliS03
Enrico Pontelli, Tran Cao Son:
Designing intelligent agents to support universal accessibility of E-commerce services. Electron. Commer. Res. Appl. 2(2): 147-161 (2003)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/RanjanP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/RanjanP03
Desh Ranjan, Enrico Pontelli:
The Level-Ancestor problem on Pure Pointer Machines. Inf. Process. Lett. 85(5): 275-283 (2003)
[c70]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/agp/DovierPR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/DovierPR03
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Intensional Sets in CLP. APPIA-GULP-PRODE 2003: 36-49
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/cuu/KottapallyNRPSG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cuu/KottapallyNRPSG03
Keshav Reddy Kottapally, C. Ngo, R. Reddy, Enrico Pontelli, Tran Cao Son, Douglas J. Gillan:
Towards the creation of accessibility agents for non-visual navigation of the web. CUU 2003: 134-141
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/SonPRMG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/SonPRMG03
Tran Cao Son, Enrico Pontelli, Desh Ranjan, Brook Milligan, Gopal Gupta:
An Agent-based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology. DALT 2003: 76-96
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/VillaverdePGG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/VillaverdePGG03
Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta:
A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms. Euro-Par 2003: 694-703
[c66]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/hci/PalmerP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hci/PalmerP03
Brian Palmer, Enrico Pontelli:
Experiments in Translating and Navigating Digital Formats for Mathematics (A Progress Report). HCI (4) 2003: 1320-1324
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/DovierPR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/DovierPR03
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Intensional Sets in CLP. ICLP 2003: 284-299
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/WuPR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/WuPR03
Yao Wu, Enrico Pontelli, Desh Ranjan:
On the Complexity of Dependent And-Parallelism in Logic Programming. ICLP 2003: 361-376
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/SonP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/SonP03
Tran Cao Son, Enrico Pontelli:
Adding Preferences to Answer Set Planning. ICLP 2003: 513-514
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/PontelliBB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/PontelliBB03
Enrico Pontelli, Marcello Balduccini, F. Bermudez:
Non-monotonic Reasoning on Beowulf Platforms. PADL 2003: 37-57
[c61]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pdpta/PontelliSPP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdpta/PontelliSPP03
Enrico Pontelli, Tran Cao Son, Yu Pan, T. Phan:
Developing Agents for Bioinformatics Applications: A Preliminary Design. PDPTA 2003: 1005-1011
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/PaluDPR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/PaluDPR03
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Integrating finite domain constraints and CLP with sets. PPDP 2003: 219-229
2002
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/cl/PontelliRP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/PontelliRP02
Enrico Pontelli, Desh Ranjan, Alessandro Dal Palù:
An optimal data structure to handle dynamic environments in non-deterministic computations. Comput. Lang. Syst. Struct. 28(2): 181-201 (2002)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/uais/PontelliGGKSX02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/uais/PontelliGGKSX02
Enrico Pontelli, Douglas J. Gillan, Gopal Gupta, Arthur I. Karshmer, Emad Saad, W. Xiong:
Intelligent non-visual navigation of complex HTML structures. Univers. Access Inf. Soc. 2(1): 56-69 (2002)
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/assets/PontelliGXSGK02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/assets/PontelliGXSGK02
Enrico Pontelli, Douglas J. Gillan, W. Xiong, Emad Saad, Gopal Gupta, Arthur I. Karshmer:
Navigation of HTML tables, frames, and XML fragments. ASSETS 2002: 25-32
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/assets/PontelliS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/assets/PontelliS02
Enrico Pontelli, Tran Cao Son:
Planning, reasoning, and agents for non-visual navigation of tables and frames. ASSETS 2002: 73-80
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/GuptaP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/GuptaP02
Gopal Gupta, Enrico Pontelli:
Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach. Computational Logic: Logic Programming and Beyond 2002: 211-239
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/csb/PontelliRMG02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csb/PontelliRMG02
Enrico Pontelli, Desh Ranjan, Brook Milligan, Gopal Gupta:
F-LOG: A Domain Specific Language for Solving Phylogenetic Inference Problems. CSB 2002: 9-20
[c55]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ic/PontelliS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ic/PontelliS02
Enrico Pontelli, Tran Cao Son:
Designing Intelligent Agents to Support Universal Accessibility. International Conference on Internet Computing 2002: 726-732
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/ifipTCS/PaluPR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifipTCS/PaluPR02
Alessandro Dal Palù, Enrico Pontelli, Desh Ranjan:
An Efficient Parallel Pointer Machine Algorithm for the NCA Problem. IFIP TCS 2002: 157-168
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/SonP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/SonP02
Tran Cao Son, Enrico Pontelli:
Reasoning about Actions in Prioritized Default Theory. JELIA 2002: 369-381
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/latin/PontelliR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/latin/PontelliR02
Enrico Pontelli, Desh Ranjan:
Ancestor Problems on Pure Pointer Machines. LATIN 2002: 263-277
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/GuptaGKPIRMDENZ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/GuptaGKPIRMDENZ02
Gopal Gupta, Hai-Feng Guo, Arthur I. Karshmer, Enrico Pontelli, Juan Raymundo Iglesias, Desh Ranjan, Brook Milligan, Nayana Datta, Omar El-Khatib, Mohammed Noamany, Xinhong Zhou:
Semantics-Based Filtering: Logic Programming's Killer App? PADL 2002: 82-100
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/swat/PaluPR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/swat/PaluPR02
Alessandro Dal Palù, Enrico Pontelli, Desh Ranjan:
An Optimal Algorithm for Finding NCA on Pure Pointer Machines. SWAT 2002: 428-438
2001
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/ngc/DovierPR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ngc/DovierPR01
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Constructive Negation and Constraint Logic Programming with Sets. New Gener. Comput. 19(3): 209-256 (2001)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/GuptaP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/GuptaP01
Gopal Gupta, Enrico Pontelli:
Optimization schemas for parallel implementation of non-deterministic languages and systems. Softw. Pract. Exp. 31(12): 1143-1181 (2001)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/GuptaPACH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/GuptaPACH01
Gopal Gupta, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, Manuel V. Hermenegildo:
Parallel execution of prolog programs: a survey. ACM Trans. Program. Lang. Syst. 23(4): 472-602 (2001)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/tpds/PontelliG01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tpds/PontelliG01
Enrico Pontelli, Gopal Gupta:
Backtracking in Independent And-Parallel Implementations of Logic Programming Languages. IEEE Trans. Parallel Distributed Syst. 12(11): 1169-1189 (2001)
[c49]
- view
  - electronic edition @ nmsu.edu (open access)
  - details & citations
- export record
  dblp key:
  - conf/asp/PontelliE01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asp/PontelliE01
Enrico Pontelli, Omar El-Khatib:
Exploiting Vertical Parallelism from Answer Set Programs. Answer Set Programming 2001
[c48]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/hci/KarshmerGMPG01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hci/KarshmerGMPG01
Arthur I. Karshmer, Gopal Gupta, Klaus Miesenberger, Enrico Pontelli, Hai-Feng Guo:
The development of a tool to enhance communications between blind and sighted mathematicians, students and teachers: a global translation appliance. HCI 2001: 929-933
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/VillaverdePGG01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/VillaverdePGG01
Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta:
PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. ICLP 2001: 27-42
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/icpp/VillaverdeGPG01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icpp/VillaverdeGPG01
Karen Villaverde, Hai-Feng Guo, Enrico Pontelli, Gopal Gupta:
Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-Based AI Systems. ICPP 2001: 287-294
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/Pontelli01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/Pontelli01
Enrico Pontelli:
Experiments in Parallel Execution of Answer Set Programs. IPDPS 2001: 20
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/IglesiasGPRM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/IglesiasGPRM01
Juan Raymundo Iglesias, Gopal Gupta, Enrico Pontelli, Desh Ranjan, Brook Milligan:
Interoperability between Bioinformatics Tools: A Logic Programming Approach. PADL 2001: 153-168
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/PontelliE01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/PontelliE01
Enrico Pontelli, Omar El-Khatib:
Construction and Optimization of a Parallel Engine for Answer Set Programming. PADL 2001: 288-303
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/cs-LO-0110023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-LO-0110023
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Set Unification. CoRR cs.LO/0110023 (2001)
2000
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/RanjanPG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/RanjanPG00
Desh Ranjan, Enrico Pontelli, Gopal Gupta:
Data structures for order-sensitive predicates in parallel nondeterministic systems. Acta Informatica 37(1): 21-43 (2000)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/algorithmica/RanjanPGL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/algorithmica/RanjanPGL00
Desh Ranjan, Enrico Pontelli, Gopal Gupta, Luc Longpré:
The Temporal Precedence Problem. Algorithmica 28(3): 288-306 (2000)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/DovierPR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/DovierPR00
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
A necessary condition for Constructive Negation in Constraint Logic Programming. Inf. Process. Lett. 74(3-4): 147-156 (2000)
[j12]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/sigplan/PontelliC00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/PontelliC00
Enrico Pontelli, Vítor Santos Costa:
PADL '00: Workshop on Practical Aspects of Declarative Languages. ACM SIGPLAN Notices 35(3): 16-17 (2000)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/Pontelli00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/Pontelli00
Enrico Pontelli:
Parallel and distributed execution of constraint programs. ACM SIGSOFT Softw. Eng. Notes 25(1): 71-72 (2000)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/DovierPPR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/DovierPPR00
Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi:
Sets and constraint logic programming. ACM Trans. Program. Lang. Syst. 22(5): 861-931 (2000)
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/assets/PontelliXGK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/assets/PontelliXGK00
Enrico Pontelli, W. Xiong, Gopal Gupta, Arthur I. Karshmer:
A domain specific language framework for non-visual browsing of complex HTML structures. ASSETS 2000: 180-187
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/Pontelli00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/Pontelli00
Enrico Pontelli:
Concurrent Web-Programming in CLP(WEB). HICSS 2000
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/2000
Enrico Pontelli, Vítor Santos Costa:
Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings. Lecture Notes in Computer Science 1753, Springer 2000, ISBN 3-540-66992-2 [contents]

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j9]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/jflp/PontelliG99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jflp/PontelliG99
Enrico Pontelli, Gopal Gupta:
Extended Dynamic Dependent And-Parallelism in ACE. J. Funct. Log. Program. 1999(Special Issue 1) (1999)
[j8]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/jflp/PontelliRG99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jflp/PontelliRG99
Enrico Pontelli, Desh Ranjan, Gopal Gupta:
Complexity Analysis of Late Binding in Dynamic Object-Oriented Languages. J. Funct. Log. Program. 1999(Special Issue 2) (1999)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ngc/RanjanPG99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ngc/RanjanPG99
Desh Ranjan, Enrico Pontelli, Gopal Gupta:
On the Complexity of Or-Parallelism. New Gener. Comput. 17(3): 285-307 (1999)
[c40]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/agp/DovierPPR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/DovierPPR99
Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi:
ACI1 constraints. APPIA-GULP-PRODE 1999: 305-320
[c39]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/hci/KarshmerPG99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hci/KarshmerPG99
Arthur I. Karshmer, Enrico Pontelli, Gopal Gupta:
Software technology and computer interfaces for the disabled: non-visual WWW browsing. HCI (2) 1999: 792-796
[c38]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iclp/GuptaP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/GuptaP99
Gopal Gupta, Enrico Pontelli:
Stack-splitting: Or-/And-parallelism on Distributed Memory Machines. ICLP 1999: 290-304
[c37]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iclp/DovierPPR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/DovierPPR99
Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi:
ACI1 Constraints. ICLP 1999: 573-587
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/icpp/GuptaP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icpp/GuptaP99
Gopal Gupta, Enrico Pontelli:
Efficient Techniques for Distributed Implementation of Search-Based AI Systems. ICPP 1999: 319-327
[c35]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DutraCGPCK99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DutraCGPCK99
Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk:
Preface. Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP 1999: 1-2
[e2]
- view
- export record
  dblp key:
  - conf/iclp/1999pitlp
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/1999pitlp
Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk:
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. Electronic Notes in Theoretical Computer Science 30(3), Elsevier 1999 [contents]
1998
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/RanjanPG98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/RanjanPG98
Desh Ranjan, Enrico Pontelli, Gopal Gupta:
Efficient Algorithms for the Temporal Precedence Problem. Inf. Process. Lett. 68(2): 71-81 (1998)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/Pontelli98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/Pontelli98
Enrico Pontelli:
Parallelism and Implementation Technology for (Constraint) Logic Programming. ACM SIGPLAN Notices 33(2): 15-17 (1998)
[j4]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/sigplan/Pontelli98a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/Pontelli98a
Enrico Pontelli:
Programming with {SETS} - An International Forum of Discussion. ACM SIGPLAN Notices 33(8): 16 (1998)
[c34]
- view
- export record
  dblp key:
  - conf/aaai/PontelliGWF98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/PontelliGWF98
Enrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell:
Natural Language Multiprocessing: A Case Study. AAAI/IAAI 1998: 76-82
[c33]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iclp/DovierPRP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/DovierPRP98
Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli:
On the Representation and Management of Finite Sets in CLP Languages. IJCSLP 1998: 40-54
[c32]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iclp/PontelliGWF98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/PontelliGWF98
Enrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell:
Natural Language Multiprocessing: A Case Study. Implementation Technology for Programming Languages based on Logic 1998: 101-112
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/icpp/PontelliG98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icpp/PontelliG98
Enrico Pontelli, Gopal Gupta:
Efficient Backtracking in And-Parallel Implementations of Non-deterministic Languages. ICPP 1998: 338-345
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/icpp/GuptaPLF98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icpp/GuptaPLF98
Gopal Gupta, Enrico Pontelli, Amado Lara-Rodríguez, Roberto Felix-Cardenas:
Automatic Generation of Provably Correct Parallelizing Compilers. ICPP 1998: 579-586
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/plilp/PontelliRG98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plilp/PontelliRG98
Enrico Pontelli, Desh Ranjan, Gopal Gupta:
The Complexity of Late-Binding in Dynamic Object-Oriented Languages. PLILP/ALP 1998: 213-229
1997
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/PontelliG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/PontelliG97
Enrico Pontelli, Gopal Gupta:
Parallel Symbolic Computation in ACE. Ann. Math. Artif. Intell. 21(2-4): 359-395 (1997)
[c28]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/agp/GuptaP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/GuptaP97
Gopal Gupta, Enrico Pontelli:
High Performance Parallel Logic Programming: The ACE Parallel Prolog System. APPIA-GULP-PRODE 1997: 25-32
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/cap/GuptaP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cap/GuptaP97
Gopal Gupta, Enrico Pontelli:
Extended dynamic dependent and-parallelism in ACE. PASCO 1997: 68-79
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/PontelliRG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/PontelliRG97
Enrico Pontelli, Desh Ranjan, Gopal Gupta:
On the Complexity of Parallel Implementation of Logic Programs. FSTTCS 1997: 123-137
[c25]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iclp/PontelliGPF97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/PontelliGPF97
Enrico Pontelli, Gopal Gupta, Francesco Pulvirenti, Alfredo Ferro:
Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism. ICLP 1997: 108-122
[c24]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iclp/PontelliG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/PontelliG97
Enrico Pontelli, Gopal Gupta:
Implementation Mechanisms for Dependent And-Parallelism. ICLP 1997: 123-137
[c23]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iclp/VaupelGP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/VaupelGP97
Rick Vaupel, Enrico Pontelli, Gopal Gupta:
Visualization of And/Or-Parallel Execution of Logic Programs. ICLP 1997: 271-285
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/PontelliG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/PontelliG97
Enrico Pontelli, Gopal Gupta:
W-ACE: A Logic Language for Intelligent Internet Programming. ICTAI 1997: 2-10
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/GuptaP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/GuptaP97
Gopal Gupta, Enrico Pontelli:
Optimization Schemas for Parallel Implementation of Nondeterministic Languages and Systems. IPPS 1997: 428-435
[c20]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/lpe/VaupelPG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpe/VaupelPG97
Rick Vaupel, Enrico Pontelli, Gopal Gupta:
VACE: A Tool for Visualization of And-Or Parallel Execution. LPE 1997: 51-54
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/GuptaP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/GuptaP97
Gopal Gupta, Enrico Pontelli:
A constraint-based approach for specification and verification of real-time systems. RTSS 1997: 230-239
1996
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/cl/PontelliGTCH96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/PontelliGTCH96
Enrico Pontelli, Gopal Gupta, Dongxing Tang, Manuel Carro, Manuel V. Hermenegildo:
Improving the Efficiency of Nondeterministic Independent and-Parallel Systems. Comput. Lang. 22(2/3): 115-142 (1996)
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/DovierOPR96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/DovierOPR96
Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi:
A Language for Programming in Logic with Finite Sets. J. Log. Program. 28(1): 1-44 (1996)
[c18]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/iclp/PontelliG96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/PontelliG96
Enrico Pontelli, Gopal Gupta:
Dependent And-Parallelism Revisited (Poster Abstract). JICSLP 1996: 542
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/PontelliG96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/PontelliG96
Enrico Pontelli, Gopal Gupta:
Nested Parallel Call Optimization. IPPS 1996: 225-229
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/spdp/GuptaP96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spdp/GuptaP96
Gopal Gupta, Enrico Pontelli:
Last alternative optimization. SPDP 1996: 538-541
1995
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/PontelliG95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/PontelliG95
Enrico Pontelli, Gopal Gupta:
On the Duality Between Or-parallelism and And-parallelism in Logic Programming. Euro-Par 1995: 43-54
[c14]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iclp/PontelliGT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/PontelliGT95
Enrico Pontelli, Gopal Gupta, Dongxing Tang:
Determinacy Driven Optimizations of And-Parallel Prolog Implementations. ICLP 1995: 615-629
[c13]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iclp/GuptaCP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/GuptaCP95
Gopal Gupta, Vítor Santos Costa, Enrico Pontelli:
Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming. ICLP 1995: 824
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/PontelliGH95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/PontelliGH95
Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo:
&ACE: a high-performance parallel Prolog system. IPPS 1995: 564-571
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/spdp/PontelliG95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spdp/PontelliG95
Enrico Pontelli, Gopal Gupta:
Data parallel logic programming in &ACE. SPDP 1995: 424-431
1994
[c10]
- view
  - electronic edition @ uu.se
  - details & citations
- export record
  dblp key:
  - conf/iclp/PontelliGH94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/PontelliGH94
Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo:
&ACE: the And-parallel Component of ACE (A Progress Report on ACE). ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs 1994: 65-78
[c9]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iclp/GuptaHPC94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/GuptaHPC94
Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Vítor Santos Costa:
ACE: And/Or-parallel Copying-based Execution of Logic Programs. ICLP 1994: 93-109
[c8]
- view
  - electronic edition @ uu.se
  - details & citations
- export record
  dblp key:
  - conf/iclp/XingPGC94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/XingPGC94
Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro:
Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs 1994: 93-106
[c7]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iclp/BruscoliDPR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/BruscoliDPR94
Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Compiling Intensional Sets in CLP. ICLP 1994: 647-661
[c6]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/slp/PontelliGT94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/slp/PontelliGT94
Enrico Pontelli, Gopal Gupta, Dongxing Tang:
Determinancy Driven Optimization of Parallel Prolog Implementations. Workshop on Design and Impl. of Parallel Logic Programming Systems 1994: 54-71
[c5]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/slp/TangPGC94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/slp/TangPGC94
Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro:
Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. ILPS 1994: 683-684
[e1]
- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - conf/slp/1994w5
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/slp/1994w5
Enrico Pontelli, Gopal Gupta:
Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, Ithaca, New York, USA, November 18, 1994. 1994 [contents]
1993
[c4]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iclp/BruscoliRDOP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/BruscoliRDOP93
Paola Bruscoli, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli:
Extensional and Intensional Sets in CLP with Intensional Negation. ICLP Workshop on Logic Programming with Sets 1993
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/plilp/DovierP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plilp/DovierP93
Agostino Dovier, Enrico Pontelli:
A WAM-Based Implementation of a Logical Language with Sets. PLILP 1993: 275-290
1992
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/elp/DovierOPR92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/elp/DovierOPR92
Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi:
Embedding Finite Sets in a Logic Programming Language. ELP 1992: 150-167
1991
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iclp/DovierOPR91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/DovierOPR91
Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi:
{log}: A Logic Programming Language with Finite Sets. ICLP 1991: 111-124

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.