|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 78 occurrences of 57 keywords
|
|
|
|
|
Results
Found 327 publication records. Showing 326 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Van Duc Nguyen, Tran Cao Son, Enrico Pontelli |
Natural Language Generation for Non-Expert Users.  |
ICLP Technical Communications  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Van Nguyen, Tran Cao Son, Enrico Pontelli |
Natural Language Generation from Ontologies. |
PADL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Fabiano, Idriss Riouak, Agostino Dovier, Enrico Pontelli |
Non-Well-Founded Set Based Multi-Agent Epistemic Action Language. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Enrico Pontelli |
Multi-Agent Epistemic Planning. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Marco De Bortoli, Federico Igne, Fabio Tardivo, Pietro Totis, Agostino Dovier, Enrico Pontelli |
Towards Distributed Computation of Answer Sets. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Tiep Le, Tran Cao Son, Enrico Pontelli |
Multi-Context System for Optimization Problems. |
AAAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiep Le, Tran Cao Son, Enrico Pontelli |
Multi-Context Systems with Preferences. |
Fundam. Inform. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli |
ASP Applications in Bio-informatics: A Short Tour. |
KI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli |
Distributed multi-agent optimization for smart grids and home automation. |
Intelligenza Artificiale |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferdinando Fioretto, Enrico Pontelli, William Yeoh 0001 |
Distributed Constraint Optimization Problems and Applications: A Survey. |
J. Artif. Intell. Res. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son |
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Ferdinando Fioretto, Enrico Pontelli, William Yeoh 0001, Rina Dechter |
Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs. |
Constraints |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son |
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming. |
TPLP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferdinando Fioretto, Enrico Pontelli |
Past and present (and future) of parallel and distributed computation in (constraint) logic programming. |
TPLP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli |
Exploring life: answer set programming in bioinformatics. |
Declarative Logic Programming |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
Parallel Answer Set Programming. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Thanh Hai Nguyen, Tran Cao Son, Enrico Pontelli |
Automatic Web Services Composition for Phylotastic. |
PADL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Igne, Agostino Dovier, Enrico Pontelli |
MASP-Reduce: A Proposal for Distributed Computation of Stable Models. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Van Duc Nguyen, Tran Cao Son, Enrico Pontelli |
Explanations Generation For Web Service Workflow. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Khoi D. Hoang, Ferdinando Fioretto, William Yeoh 0001, Enrico Pontelli, Roie Zivan |
A Large Neighboring Search Schema for Multi-agent Optimization. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | R. Stanton, Enrico Pontelli, Z. Toups, Muhanad S. Manshad |
Exploring a Novel Inexpensive Tangible Interface for Non-visual Math and Science. |
ICCHP (1) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiep Le, Francesco Fabiano, Tran Cao Son, Enrico Pontelli |
EFP and PG-EFP: Epistemic Forward Search Planners in Multi-Agent Domains. |
ICAPS |
2018 |
DBLP BibTeX RDF |
|
| 1 | Ben Wright 0001, Enrico Pontelli |
Reasoning with Doxastic Attitudes in Multi-Agent Domains. |
FLAIRS Conference |
2018 |
DBLP BibTeX RDF |
|
| 1 | 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 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 Magazine |
2017 |
DBLP BibTeX RDF |
|
| 1 | Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh 0001 |
Solving Distributed Constraint Optimization Problems Using Logic Programming. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | William Kluegel, Muhammad Aamir Iqbal, Ferdinando Fioretto, William Yeoh 0001, Enrico Pontelli |
A Realistic Dataset for the Smart Home Device Scheduling Problem for DCOPs. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli, William Yeoh 0001, Roie Zivan |
Solving DCOPs with Distributed Large Neighborhood Search. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Ahmad Al-Jarrah, Enrico Pontelli, Clinton Jeffery |
The Collaborative Virtual Affinity Group Model: Principles and Design. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Edwin C. Jones, Kathleen E. Wage, Sanjit A. Seshia, Susan M. Lord, Michael E. Auer, Lance C. Perez, 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. Education |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh 0001 |
Solving distributed constraint optimization problems using logic programming. |
TPLP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferdinando Fioretto, William Yeoh 0001, Enrico Pontelli |
A Multiagent System Approach to Scheduling Devices in Smart Homes. |
AAAI Workshops |
2017 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | William Kluegel, Muhammad A. Iqbal, Ferdinando Fioretto, William Yeoh 0001, Enrico Pontelli |
A Realistic Dataset for the Smart Home Device Scheduling Problem for DCOPs. |
AAMAS Workshops (Visionary Papers) |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferdinando Fioretto, William Yeoh 0001, Enrico Pontelli, Ye Ma, Satishkumar J. Ranade |
A Distributed Constraint Optimization (DCOP) Approach to the Economic Dispatch with Demand Response. |
AAMAS |
2017 |
DBLP BibTeX RDF |
|
| 1 | Ferdinando Fioretto, William Yeoh 0001, Enrico Pontelli |
A Multiagent System Approach to Scheduling Devices in Smart Homes. |
AAMAS |
2017 |
DBLP BibTeX RDF |
|
| 1 | Stefano V. Albrecht, Bruno Bouchard 0001, John S. Brownstein, David L. Buckeridge, Cornelia Caragea, Kevin M. Carter 0001, Adnan Darwiche, Blaz Fortuna, Yannick Francillette, Sébastien Gaboury, C. Lee Giles, Marko Grobelnik, Estevam R. Hruschka, Jeffrey O. Kephart, Parisa Kordjamshidi, Viliam Lisý, Daniele Magazzeni, João Marques-Silva, Pierre Marquis, David R. Martinez, Marek P. Michalowski, Arash Shaban-Nejad, Zeinab Noorian, Enrico Pontelli, Alex Rogers, Stephanie Rosenthal, Dan Roth, Arunesh Sinha, William W. Streilein, Sylvie Thiébaux, Tran Cao Son, Byron C. Wallace, Toby Walsh, Michael J. Witbrock, Jie Zhang |
Reports of the 2016 AAAI Workshop Program. |
AI Magazine |
2016 |
DBLP BibTeX RDF |
|
| 1 | Ferdinando Fioretto, Enrico Pontelli, William Yeoh 0001 |
Distributed Constraint Optimization Problems and Applications: A Survey. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Ferdinando Fioretto, Enrico Pontelli, William Yeoh 0001, Rina Dechter |
Accelerating Exact and Approximate Inference for (Distributed) Discrete Optimization with GPUs. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella |
A GPU Implementation of the ASP Computation. |
PADL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmad Al-Jarrah, Enrico Pontelli |
On the Effectiveness of a Collaborative Virtual Pair-Programming Environment. |
HCI (23) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Alberto Policriti, Enrico Pontelli |
Logic Programming Applied to Genome Evolution in Cancer. |
CILC |
2016 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferdinando Fioretto, William Yeoh 0001, Enrico Pontelli |
Multi-Variable Agents Decomposition for DCOPs. |
AAAI |
2016 |
DBLP BibTeX RDF |
|
| 1 | Enrico Pontelli, Alex Rogers, Sylvie Thiébaux, Tran Cao Son (eds.) |
AI for Smart Grids and Smart Buildings, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016. |
AAAI Workshop: AI for Smart Grids and Smart Buildings |
2016 |
DBLP BibTeX RDF |
|
| 1 | Ferdinando Fioretto, William Yeoh 0001, Enrico Pontelli |
A Dynamic Programming-Based MCMC Framework for Solving DCOPs with GPUs. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini |
Reasoning about Truthfulness of Agents Using Answer Set Programming. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Roman Barták, Thomas Leo McCluskey, Enrico Pontelli (eds.) |
Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), New York City, USA, July 10, 2016. |
KnowProS@IJCAI |
2016 |
DBLP BibTeX RDF |
|
| 1 | Tiep Le, Ferdinando Fioretto, William Yeoh 0001, Tran Cao Son, Enrico Pontelli |
ER-DCOPs: A Framework for Distributed Constraint Optimization with Uncertainty in Constraint Utilities. |
AAMAS |
2016 |
DBLP BibTeX RDF |
|
| 1 | Federico Campeotto, Agostino Dovier, Enrico Pontelli |
A declarative concurrent system for protein structure prediction on GPU. |
J. Exp. Theor. Artif. Intell. |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli |
CUD@SAT: SAT solving on GPUs. |
J. Exp. Theor. Artif. Intell. |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Son Thanh To, Tran Cao Son, Enrico Pontelli |
A generic approach to planning in the presence of incomplete information: Theory and implementation. |
Artif. Intell. |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son |
An Action Language for Multi-Agent Domains: Foundations. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli |
Constrained Community-Based Gene Regulatory Network Inference. |
ACM Trans. Model. Comput. Simul. |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli, Tran Cao Son (eds.) |
Practical Aspects of Declarative Languages - 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings |
PADL |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella |
Parallel Execution of the ASP Computation - an Investigation on GPUs. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh 0001 |
Solving Distributed Constraint Optimization Problems Using Logic Programming. |
AAAI |
2015 |
DBLP BibTeX RDF |
|
| 1 | Tiep Le, Tran Cao Son, Enrico Pontelli |
Multi-Context Systems with Preferences. |
PRIMA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son |
Multi-Agent Action Modeling Through Action Sequences And Perspective Fluents. |
AAAI Spring Symposia |
2015 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Nesiba, Enrico Pontelli, Timothy Staley |
DISSECT: Exploring the relationship between computational thinking and English literature in K-12 curricula. |
FIE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Amanda Peel, James Fulton, Enrico Pontelli |
DISSECT: An experiment in infusing computational thinking in a sixth grade classroom. |
FIE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Tognazzi, Agostino Dovier, Enrico Pontelli, Tran Cao Son |
Exploring the Use of BDDs in Conformant Planning. |
ICTAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli, Marcello Balduccini |
Reasoning about Truthfulness of Agents Using Answer Set Programming. |
AAAI Fall Symposia |
2015 |
DBLP BibTeX RDF |
|
| 1 | Ferdinando Fioretto, Tiep Le, Enrico Pontelli, William Yeoh 0001, Tran Cao Son |
Exploiting GPUs in Solving (Distributed) Constraint Optimization Problems with Dynamic Programming. |
CP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferdinando Fioretto, William Yeoh 0001, Enrico Pontelli |
Multi-Variable Agents Decomposition for DCOPs to Exploit Multi-Level Parallelism. |
AAMAS |
2015 |
DBLP BibTeX RDF |
|
| 1 | Ferdinando Fioretto, Federico Campeotto, Agostino Dovier, Enrico Pontelli, William Yeoh 0001 |
Large Neighborhood Search with Quality Guarantees for Distributed Constraint Optimization Problems. |
AAMAS |
2015 |
DBLP BibTeX RDF |
|
| 1 | Chongbing Liu, Enrico Pontelli |
Techniques to enhance efficiency and effectiveness of inductive logic programming systems: the TWEETY approaches. |
J. Exp. Theor. Artif. Intell. |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen, Chiaki Sakama |
Formalizing Negotiations Using Logic Programming. |
ACM Trans. Comput. Log. |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiep Le, Enrico Pontelli, Tran Cao Son, William Yeoh 0001 |
Logic and Constraint Logic Programming for Distributed Constraint Optimization. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli, Tiep Le |
Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems. |
PADL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli |
Exploring the Use of GPUs in Constraint Solving. |
PADL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Campeotto, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli |
A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems. |
ECAI |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmad Al-Jarrah, Enrico Pontelli |
"AliCe-ViLlagE" Alice as a Collaborative Virtual Learning Environment. |
FIE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond |
Finitary S5-Theories. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferdinando Fioretto, Tiep Le, William Yeoh 0001, Enrico Pontelli, Tran Cao Son |
Improving DPOP with Branch Consistency for Solving Distributed Constraint Optimization Problems. |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh 0001 |
ASP-DPOP: solving distributed constraint optimization problems with logic programming. |
AAMAS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Ferdinando Fioretto, Federico Campeotto, Luca Da Rin Fioretto, William Yeoh 0001, Enrico Pontelli |
GD-GIBBS: a GPU-based sampling algorithm for solving distributed constraint optimization problems. |
AAMAS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Iyad Abu Doush, Enrico Pontelli |
Non-visual navigation of spreadsheets - Enhancing accessibility of Microsoft Excel™. |
Universal Access in the Information Society |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | 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, Megan 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 Bioinformatics |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Vien Tran, Khoi Nguyen, Tran Cao Son, Enrico Pontelli |
A conformant planner based on approximation: CpA(H). |
ACM TIST |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli |
A Constraint Solver for Flexible Protein Model. |
J. Artif. Intell. Res. |
2013 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
Autonomous agents coordination: Action languages meet CLP() and Linda. |
TPLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Vella, Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli |
CUD@ASP: Experimenting with GPGPUs in ASP solving. |
CILC |
2013 |
DBLP BibTeX RDF |
|
| 1 | Sarah Hug, Josh Sandry, Ryan Vordermann, Enrico Pontelli, Ben Wright 0001 |
DISSECT: integrating computational thinking in the traditional K-12 curricula through collaborative teaching (abstract only). |
SIGCSE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhanad S. Manshad, Enrico Pontelli, Shakir J. Manshad |
Exploring tangible collaborative distance learning environments for the blind and visually impaired. |
CHI Extended Abstracts |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferdinando Fioretto, Enrico Pontelli |
Constraint Programming in Community-Based Gene Regulatory Network Inference. |
CMSB |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Campeotto, Agostino Dovier, Enrico Pontelli |
Protein Structure Prediction on GPU: A Declarative Approach in a Multi-agent Framework. |
ICPP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli |
Exploiting Unexploited Computing Resources for Computational Logics. |
CILC |
2012 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy Alajarmeh, Enrico Pontelli |
E-Arithmetic: non-visual arithmetic manipulation for students with impaired vision. |
ASSETS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiep Le, Hieu Nguyen, Enrico Pontelli, Tran Cao Son |
ASP at Work: An ASP Implementation of PhyloWS. |
ICLP (Technical Communications) |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 326 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license