| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Brandon Chisham, Ben Wright, Trung Le, Tran Cao Son, Enrico Pontelli |
CDAO-Store: Ontology-driven Data Integration for Phylogenetic Analysis.  |
BMC Bioinformatics  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli, Tran Cao Son, Phan Huy Tu |
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Abdulla Alqaddoumi, Enrico Pontelli |
An Implementation of Bubbling |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Maria Garcia de la Banda, Enrico Pontelli |
Introduction to the 24th international conference on logic programming special issue. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiaki Sakama, Tran Cao Son, Enrico Pontelli |
A Logical Formulation for Negotiation among Dishonest Agents. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Son Thanh To, Enrico Pontelli, Tran Cao Son |
On the Effectiveness of CNF and DNF Representations in Contingent Planning. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli |
Exploring Protein Fragment Assembly Using CLP. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Son Thanh To, Tran Cao Son, Enrico Pontelli |
Contingent Planning as AND/OR Forward Search with Disjunctive Representation. |
ICAPS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Brandon Chisham, Enrico Pontelli, Tran Cao Son, Ben Wright |
CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services. |
ICLP (Technical Communications) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
BAAC: A Prolog System for Action Description and Agents Coordination. |
ICLP (Technical Communications) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli, Chiaki Sakama |
Formalizing Commitments Using Action Languages. |
DALT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy Alajarmeh, Enrico Pontelli, Tran Cao Son |
From "Reading" Math to "Doing" Math: A New Direction in Non-visual Math Accessibility. |
HCI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli, Chiaki Sakama |
An Experiment in Formalizing Commitments Using Action Languages. |
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ngoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli, Chiaki Sakama |
ASP-Prolog for Negotiation among Dishonest Agents. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Son Thanh To, Tran Cao Son, Enrico Pontelli |
Conjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF Formula. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Hoang-Khoi Nguyen, Dang-Vien Tran, Tran Cao Son, Enrico Pontelli |
On Improving Conformant Planners by Analyzing Domain-Structures. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Son Thanh To, Tran Cao Son, Enrico Pontelli |
On the Effectiveness of Belief State Representation in Contingent Planning. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli |
Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal lattices. |
IJDMB |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
An Investigation of Multi-Agent Planning in CLP. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli |
CLP-based protein fragment assembly |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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. |
TACCESS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski |
Logic programs with abstract constraint atoms: The role of computations. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli |
CLP-based protein fragment assembly. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
Multivalued action languages with constraints in CLP(FD). |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Computer Languages, Systems & Structures |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Pan, Enrico Pontelli, Tran Cao Son |
BSIS: An Experiment in Automating Bioinformatics Tasks Through Intelligent Workflow Construction. |
Semantic e-Science |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli |
Answer Set Programming in 2010: A Personal Perspective. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Enrico Pontelli (eds.) |
A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP |
25 Years GULP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Iyad Abu Doush, Enrico Pontelli |
Detecting and recognizing tables in spreadsheets. |
Document Analysis Systems |
2010 |
DBLP DOI BibTeX RDF |
spreadsheet analysis, table navigation, visual impairments, spreadsheets, table recognition |
| 1 | Son Thanh To, Tran Cao Son, Enrico Pontelli |
A New Approach to Conformant Planning Using CNF*. |
ICAPS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Leaf Petersen, Enrico Pontelli (eds.) |
Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, DAMP 2010, Madrid, Spain, January 19, 2010 |
DAMP |
2010 |
DBLP BibTeX RDF |
|
| 1 | Iyad Abu Doush, Enrico Pontelli |
Non-visual Navigation of Spreadsheet Tables. |
ICCHP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Iyad Abu Doush, Enrico Pontelli |
Integrating Semantic Web and Folksonomies to Improve E-Learning Accessibility. |
ICCHP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Son Thanh To, Tran Cao Son, Enrico Pontelli |
On the Use of Prime Implicates in Conformant Planning. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Huy Tu, Enrico Pontelli, Tran Cao Son, Son Thanh To |
Applications of parallel processing technologies in heuristic search planning: methodologies and experiments. |
Concurrency and Computation: Practice and Experience |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuliano Grossi, Massimo Marchi, Enrico Pontelli, Alessandro Provetti |
Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
GASP: Answer Set Programming with Lazy Grounding. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
Multi-valued Action Languages in CLP(FD) |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Enrico Pontelli, Tran Cao Son, Omar El-Khatib |
Justifications for logic programs under answer set semantics. |
TPLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen |
Planning for Multiagent Using ASP-Prolog. |
CLIMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Tran Cao Son, Enrico Pontelli |
Reasoning about Multi-agent Domains Using Action Language C\mathcal{C}: A Preliminary Study. |
CLIMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Conformant Planning, Planning, Reasoning about Actions |
| 1 | Son Thanh To, Enrico Pontelli, Tran Cao Son |
A Conformant Planner with Explicit Disjunctive Representation of Belief States. |
ICAPS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli, Chiaki Sakama |
Logic Programming for Multiagent Planning with Negotiation. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
Answer Set Programming with Constraints Using Lazy Grounding. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP DOI BibTeX RDF |
Math Accessibility, Navigation, Rule-based Systems, Prosody |
| 1 | Chitta Baral, Tran Cao Son, Enrico Pontelli |
Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using . |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli |
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Enrico Pontelli |
Present and Future Challenges for ASP Systems. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
Representing Multi-agent Planning in CLP. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Inna Pivkina, Enrico Pontelli, Rachel Jensen, Jessica Haebe |
Young women in computing: lessons learned from an educational & outreach program. |
SIGCSE |
2009 |
DBLP DOI BibTeX RDF |
camp, cs outreach, diversity, gender |
| 1 | Iyad Abu Doush, Enrico Pontelli, Dominic Simon, Tran Cao Son, Ou Ma |
Making Microsoft ExcelTM: multimodal presentation of charts. |
ASSETS |
2009 |
DBLP DOI BibTeX RDF |
accessible graphs, haptic, assistive technology |
| 1 | Enrico Pontelli, Tran Cao Son, Omar El-Khatib |
Justifications for Logic Programs under Answer Set Semantics |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Maria Garcia de la Banda, Enrico Pontelli (eds.) |
Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli |
Some Results on the Completeness of Approximation Based Reasoning. |
PRICAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Enrico Pontelli, Tran Cao Son |
Credulous Resolution for Answer Set Programming. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli |
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction. |
Softw., Pract. Exper. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
IJDMB |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli, Phan Huy Tu |
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. |
J. Artif. Intell. Res. (JAIR) |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Emad Saad, Enrico Pontelli |
A new approach to hybrid probabilistic logic programs. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta |
PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters. |
TPLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli |
A Constructive semantic characterization of aggregates in answer set programming. |
TPLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chongbing Liu, Enrico Pontelli |
Inductive Logic Programming by Instance Patterns. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
Concept Instance, Patterns, Inductive Logic Programming |
| 1 | Hung Viet Le, Enrico Pontelli |
Dynamic scheduling in parallel answer set programming solvers. |
SpringSim |
2007 |
DBLP DOI BibTeX RDF |
scheduling, parallel computing, answer set programming, non-monotonic reasoning |
| 1 | Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski |
Logic Programs with Abstract Constraint Atoms: The Role of Computations. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli |
ASP-PROLOG: Composition and Interoperation of Rules. |
ALPSWS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
Multivalued Action Languages with Constraints in CLP(FD). |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Huy Tu, Tran Cao Son, Enrico Pontelli |
CPP: A Constraint Logic Programming Based Planner with Preferences. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chongbing Liu, Enrico Pontelli |
Nonmonotonic inductive logic programming by instance patterns. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
instance patterns, nonmonotonic ilp, specialization |
| 1 | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Enrico Pontelli, Shari Trewin (eds.) |
Proceedings of the 9th International ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2007, Tempe, Arizona, USA, October 15-17, 2007 |
ASSETS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Enrico Pontelli, Desh Ranjan |
Sequential and parallel algorithms for the NCA problem on pure pointer machines. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli, Andrew Sears |
Computers and accessibility. |
Behaviour & IT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 Distrib. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli, Islam Elkabani |
An Unfolding-Based Semantics for Logic Programming with Aggregates |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli |
A Constructive Semantic Characterization of Aggregates in ASP |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta |
PALS: Efficient Or-Parallelism on Beowulf Clusters |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Emad Saad, Enrico Pontelli |
A new approach to hybrid probabilistic logic programs. |
Ann. Math. Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 68T37 |
| 1 | Tran Cao Son, Enrico Pontelli |
Planning with preferences using logic programming. |
TPLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
Set unification. |
TPLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli, Tran Cao Son |
Justifications for Logic Programs Under Answer Set Semantics. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Enrico Pontelli, Jing He, Yonggang Lu |
A constraint logic programming approach to 3D structure determination of large protein complexes. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
constraint logic programming, protein structure |
| 1 | Emad Saad, Enrico Pontelli |
Non-monotonic Negation in Hybrid Probabilistic Logic Programs. |
ISAIM |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Enrico Pontelli, Tran Cao Son, Chitta Baral |
A Framework for Composition and Inter-operation of Rules in the Semantic Web. |
RuleML |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli, Phan Huy Tu |
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Marcello Balduccini, Enrico Pontelli, Omar El-Khatib, Hung Le |
Issues in parallel execution of non-monotonic reasoning systems. |
Parallel Computing |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli |
Planning with Preferences using Logic Programming |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Enrico Pontelli, Desh Ranjan |
A Simple Optimal Solution for the Temporal Precedence Problem on Pure Pointer Machines. |
Theory Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hung Viet Le, Enrico Pontelli |
An Investigation of Sharing Strategies for Answer Set Solvers and SAT Solvers. |
Euro-Par |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Emad Saad, Enrico Pontelli |
Towards a More Practical Hybrid Probabilistic Logic Programming Framework. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli |
A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yao Wu, Enrico Pontelli, Desh Ranjan |
Computational Issues in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")