Enrico Pontelli - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

From Reading Math to Doing Math: A New Direction in Non-visual Math AccessibilityNancy Alajarmeh, Enrico Pontelli, Tran Cao Son. hci 2011: 501-510 [doi]

CDAOStore: A Phylogenetic Repository Using Logic Programming and Web ServicesBrandon Chisham, Enrico Pontelli, Tran Cao Son, Ben Wright. ICLP 2011: 209-219 [doi]

CDAO-Store: Ontology-driven Data Integration for Phylogenetic AnalysisBrandon Chisham, Ben Wright, Trung Le, Tran Cao Son, Enrico Pontelli. bmcbi, 12:98, 2011. [doi]

Introduction to the 24th international conference on logic programming special issueMaria Garcia de la Banda, Enrico Pontelli. tplp, 11(2-3):131-133, 2011. [doi]

BAAC: A Prolog System for Action Description and Agents CoordinationAgostino Dovier, Andrea Formisano, Enrico Pontelli. ICLP 2011: 187-197 [doi]

On Improving Conformant Planners by Analyzing Domain-StructuresHoang-Khoi Nguyen, Dang-Vien Tran, Tran Cao Son, Enrico Pontelli. AAAI 2011: [doi]

ASP-Prolog for Negotiation among Dishonest AgentsNgoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli, Chiaki Sakama. lpnmr 2011: 331-344 [doi]

Exploring Protein Fragment Assembly Using CLPAlessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli. IJCAI 2011: 2590-2595 [doi]

A Logical Formulation for Negotiation among Dishonest AgentsChiaki Sakama, Tran Cao Son, Enrico Pontelli. IJCAI 2011: 1069-1074 [doi]

Contingent Planning as AND/OR Forward Search with Disjunctive RepresentationSon Thanh To, Tran Cao Son, Enrico Pontelli. aips 2011: [doi]

Conjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF FormulaSon Thanh To, Tran Cao Son, Enrico Pontelli. AAAI 2011: [doi]

On the Effectiveness of Belief State Representation in Contingent PlanningSon Thanh To, Tran Cao Son, Enrico Pontelli. AAAI 2011: [doi]

On the Effectiveness of CNF and DNF Representations in Contingent PlanningSon Thanh To, Enrico Pontelli, Tran Cao Son. IJCAI 2011: 2033-2038 [doi]

2010

Using answer set programming to model multi-agent scenarios involving agents knowledge about other s knowledgeChitta Baral, Gregory Gelfond, Tran Cao Son, Enrico Pontelli. atal 2010: 259-266 [doi]

Logic programming for finding models in the logics of knowledge and its applications: A case studyChitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son. tplp, 10(4-6):675-690, 2010. [doi]

Detecting and recognizing tables in spreadsheetsIyad Abu Doush, Enrico Pontelli. das 2010: 471-478 [doi]

Non-visual Navigation of Spreadsheet TablesIyad Abu Doush, Enrico Pontelli. icchp 2010: 108-115 [doi]

Multimodal Presentation of Two-Dimensional Charts: An Investigation Using Open Office XML and Microsoft ExcelIyad Abu Doush, Enrico Pontelli, Tran Cao Son, Dominic Simon, Ou Ma. taccess, 3(2):8, 2010. [doi]

Integrating Semantic Web and Folksonomies to Improve E-Learning AccessibilityIyad Abu Doush, Enrico Pontelli. icchp 2010: 376-383 [doi]

An Investigation of Multi-Agent Planning in CLPAgostino Dovier, Andrea Formisano, Enrico Pontelli. FUIN, 105(1-2):79-103, 2010. [doi]

A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULPAgostino Dovier, Enrico Pontelli, editors, Volume 6125 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Multivalued action languages with constraints in CLP(FD)Agostino Dovier, Andrea Formisano, Enrico Pontelli. tplp, 10(2):167-235, 2010. [doi]

Logic programs with abstract constraint atoms: The role of computationsLengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski. ai, 174(3-4):295-315, 2010. [doi]

Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal latticesAlessandro Dal Palù, Agostino Dovier, Enrico Pontelli. ijdmb, 4(1):1-20, 2010. [doi]

CLP-based protein fragment assemblyAlessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli. tplp, 10(4-6):709-724, 2010. [doi]

Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, DAMP 2010, Madrid, Spain, January 19, 2010Leaf Petersen, Enrico Pontelli, editors, ACM, 2010.

An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic schedulingEnrico Pontelli, Hung Viet Le, Tran Cao Son. Comp. Lang., Syst. \& Struct., 36(2):158-202, 2010. [doi]

Answer Set Programming in 2010: A Personal PerspectiveEnrico Pontelli. padl 2010: 1-3 [doi]

On the Use of Prime Implicates in Conformant PlanningSon Thanh To, Tran Cao Son, Enrico Pontelli. AAAI 2010: [doi]

A New Approach to Conformant Planning Using CNF*Son Thanh To, Tran Cao Son, Enrico Pontelli. aips 2010: 169-176 [doi]

2009

Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using Chitta Baral, Tran Cao Son, Enrico Pontelli. lpnmr 2009: 409-415 [doi]

Reasoning about Multi-agent Domains Using Action Language ::::C::::/mathcal{C}: A Preliminary StudyChitta Baral, Tran Cao Son, Enrico Pontelli. clima 2010: 46-63 [doi]

Making Microsoft Excel:::TM:::: multimodal presentation of chartsIyad Abu Doush, Enrico Pontelli, Dominic Simon, Tran Cao Son, Ou Ma. assets 2009: 147-154 [doi]

Building a Programmable Architecture for Non-visual Navigation of Mathematics: Using Rules for Guiding Presentation and Switching between ModalitiesIyad Abu Doush, Enrico Pontelli. hci 2009: 3-13 [doi]

Representing Multi-agent Planning in CLPAgostino Dovier, Andrea Formisano, Enrico Pontelli. lpnmr 2009: 423-429 [doi]

Present and Future Challenges for ASP SystemsAgostino Dovier, Enrico Pontelli. lpnmr 2009: 622-624 [doi]

An empirical study of constraint logic programming and answer set programming solutions of combinatorial problemsAgostino Dovier, Andrea Formisano, Enrico Pontelli. jetai, 21(2):79-121, 2009. [doi]

Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed ArchitecturesGiuliano Grossi, Massimo Marchi, Enrico Pontelli, Alessandro Provetti. logcom, 19(4):697-715, 2009. [doi]

Logic Programming Techniques in Protein Structure Determination: Methodologies and ResultsAlessandro Dal PalÃ¹, Agostino Dovier, Enrico Pontelli. lpnmr 2009: 560-566 [doi]

Answer Set Programming with Constraints Using Lazy GroundingAlessandro Dal PalÃ¹, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi. ICLP 2009: 115-129 [doi]

GASP: Answer Set Programming with Lazy GroundingAlessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi. FUIN, 96(3):297-322, 2009. [doi]

::::Young women in computing::::: lessons learned from an educational & outreach programInna Pivkina, Enrico Pontelli, Rachel Jensen, Jessica Haebe. sigcse 2009: 509-513 [doi]

Justifications for logic programs under answer set semanticsEnrico Pontelli, Tran Cao Son, Omar El-Khatib. tplp, 9(1):1-56, 2009. [doi]

Planning for Multiagent Using ASP-PrologTran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen. clima 2010: 1-21 [doi]

Logic Programming for Multiagent Planning with NegotiationTran Cao Son, Enrico Pontelli, Chiaki Sakama. ICLP 2009: 99-114 [doi]

A Conformant Planner with Explicit Disjunctive Representation of Belief StatesSon Thanh To, Enrico Pontelli, Tran Cao Son. aips 2009:

Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain SpecificationsDang-Vien Tran, Hoang-Khoi Nguyen, Enrico Pontelli, Tran Cao Son. padl 2009: 239-253 [doi]

Applications of parallel processing technologies in heuristic search planning: methodologies and experimentsPhan Huy Tu, Enrico Pontelli, Tran Cao Son, Son Thanh To. concurrency, 21(15):1928-1960, 2009. [doi]

2008

Credulous Resolution for Answer Set ProgrammingPiero A. Bonatti, Enrico Pontelli, Tran Cao Son. AAAI 2008: 418-423

Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, ProceedingsMaria Garcia de la Banda, Enrico Pontelli, editors, Volume 5366 of Lecture Notes in Computer Science, Springer, 2008. [doi]

Some Results on the Completeness of Approximation Based ReasoningTran Cao Son, Enrico Pontelli. pricai 2008: 358-369 [doi]

2007

An Experimental Comparison of Constraint Logic Programming and Answer Set ProgrammingAgostino Dovier, Andrea Formisano, Enrico Pontelli. AAAI 2007: 1622-1625

Multivalued Action Languages with Constraints in CLP(FD)Agostino Dovier, Andrea Formisano, Enrico Pontelli. ICLP 2007: 255-270 [doi]

Dynamic scheduling in parallel answer set programming solversHung Viet Le, Enrico Pontelli. springsim 2007: 367-374 [doi]

Inductive Logic Programming by Instance PatternsChongbing Liu, Enrico Pontelli. padl 2007: 230-244 [doi]

Nonmonotonic inductive logic programming by instance patternsChongbing Liu, Enrico Pontelli. ppdp 2007: 187-196 [doi]

Logic Programs with Abstract Constraint Atoms: The Role of ComputationsLengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski. ICLP 2007: 286-301 [doi]

A constraint solver for discrete lattices, its parallelization, and application to protein structure predictionAlessandro Dal Palù, Agostino Dovier, Enrico Pontelli. SPE, 37(13):1405-1449, 2007. [doi]

A Constraint Logic Programming approach to associate 1D and 3D structural components for large protein complexesAlessandro Dal Palù, Enrico Pontelli, Jing He, Yonggang Lu. ijdmb, 1(4):352-371, 2007. [doi]

Proceedings of the 9th International ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2007, Tempe, Arizona, USA, October 15-17, 2007Enrico Pontelli, Shari Trewin, editors, ACM, 2007.

PALS: Efficient Or-Parallel execution of Prolog on Beowulf clustersEnrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta. tplp, 7(6):633-695, 2007. [doi]

ASP-PROLOG: Composition and Interoperation of RulesEnrico Pontelli. ICLP 2007: [doi]

A new approach to hybrid probabilistic logic programsEmad Saad, Enrico Pontelli. AMAI, 50(3-4):417-418, 2007. [doi]

A Constructive semantic characterization of aggregates in answer set programmingTran Cao Son, Enrico Pontelli. tplp, 7(3):355-375, 2007. [doi]

Answer Sets for Logic Programs with Arbitrary Abstract Constraint AtomsTran Cao Son, Enrico Pontelli, Phan Huy Tu. jair, 29:353-389, 2007. [doi]

CPP: A Constraint Logic Programming Based Planner with PreferencesPhan Huy Tu, Tran Cao Son, Enrico Pontelli. lpnmr 2007: 290-296 [doi]

2006

Set unificationAgostino Dovier, Enrico Pontelli, Gianfranco Rossi. tplp, 6(6):645-701, 2006. [doi]

Sequential and parallel algorithms for the NCA problem on pure pointer machinesAlessandro Dal Palù, Enrico Pontelli, Desh Ranjan. TCS, 352(1-3):108-135, 2006. [doi]

A constraint logic programming approach to 3D structure determination of large protein complexesAlessandro Dal Palù, Enrico Pontelli, Jing He, Yonggang Lu. SAC 2006: 131-136 [doi]

Computers and accessibilityEnrico Pontelli, Andrew Sears. behaviourIT, 25(4):283-284, 2006. [doi]

Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platformsEnrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta. jpdc, 66(10):1267-1293, 2006. [doi]

::::Justifications:::: for Logic Programs Under Answer Set SemanticsEnrico Pontelli, Tran Cao Son. ICLP 2006: 196-210 [doi]

A Framework for Composition and Inter-operation of Rules in the Semantic WebEnrico Pontelli, Tran Cao Son, Chitta Baral. ruleml 2006: 39-50 [doi]

A new approach to hybrid probabilistic logic programsEmad Saad, Enrico Pontelli. AMAI, 48(3-4):187-243, 2006. [doi]

Planning with preferences using logic programmingTran Cao Son, Enrico Pontelli. tplp, 6(5):559-607, 2006. [doi]

Answer Sets for Logic Programs with Arbitrary Abstract Constraint AtomsTran Cao Son, Enrico Pontelli, Phan Huy Tu. AAAI 2006:

2005

Issues in parallel execution of non-monotonic reasoning systemsMarcello Balduccini, Enrico Pontelli, Omar El-Khatib, Hung Le. pc, 31(6):608-647, 2005. [doi]

A Comparison of CLP(FD) and ASP Solutions to NP-Complete ProblemsAgostino Dovier, Andrea Formisano, Enrico Pontelli. ICLP 2005: 67-82 [doi]

Integrating an Answer Set Solver into Prolog: ASP-PROLOGOmar El-Khatib, Enrico Pontelli, Tran Cao Son. lpnmr 2005: 399-404 [doi]

Justification and debugging of answer set programs in ASPOmar El-Khatib, Enrico Pontelli, Tran Cao Son. AADEBUG 2005: 49-58 [doi]

Smodels:::A::: - A System for Computing Answer Sets of Logic Programs with AggregatesIslam Elkabani, Enrico Pontelli, Tran Cao Son. lpnmr 2005: 427-431 [doi]

An Investigation of Sharing Strategies for Answer Set Solvers and SAT SolversHung Viet Le, Enrico Pontelli. europar 2005: 750-760 [doi]

Heuristics, optimizations, and parallelism for protein structure prediction in CLP(::::FD::::)Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli. ppdp 2005: 230-241 [doi]

A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding ProblemAlessandro Dal Palù, Agostino Dovier, Enrico Pontelli. lpar 2005: 48-63 [doi]

A Simple Optimal Solution for the Temporal Precedence Problem on Pure Pointer MachinesEnrico Pontelli, Desh Ranjan. mst, 38(1):115-130, 2005. [doi]

Hybrid Probabilistic Logic Programs with Non-monotonic NegationEmad Saad, Enrico Pontelli. ICLP 2005: 204-220 [doi]

Towards a More Practical Hybrid Probabilistic Logic Programming FrameworkEmad Saad, Enrico Pontelli. padl 2005: 67-82 [doi]

Proceedings of the ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2005, Baltimore, MD, USA, October 9-12, 2005Andrew Sears, Enrico Pontelli, editors, ACM, 2005.

Computational Issues in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search TreesYao Wu, Enrico Pontelli, Desh Ranjan. lpar 2005: 79-94 [doi]

2004

Towards a Universal Maths Conversion LibraryDominique Archambault, Donal Fitzpatrick, Gopal Gupta, Arthur I. Karshmer, Klaus Miesenberger, Enrico Pontelli. icchp 2004: 664-669 [doi]

Disunification in ::::ACI::::1 TheoriesAgostino Dovier, Carla Piazza, Enrico Pontelli. constraints, 9(1):35-91, 2004. [doi]

ASP-PROLOG: a system for reasoning about answer set programs in prologOmar El-Khatib, Enrico Pontelli, Tran Cao Son. lpnmr 2004: 155-163 [doi]

ASP-PROLOG: A System for Reasoning about Answer Set Programs in PrologOmar El-Khatib, Enrico Pontelli, Tran Cao Son. padl 2004: 148-162 [doi]

A Parallel Algorithm for Helix Mapping Between 3D and 1D Protein Structure Using the Length ConstraintsJing He, Yonggang Lu, Enrico Pontelli. ispa 2004: 746-756 [doi]

UMA: a system for universal mathematics accessibilityArthur I. Karshmer, Gopal Gupta, Enrico Pontelli, Klaus Miesenberger, N. Ammalai, Deepa Gopal, Mario Batusic, Bernhard Stöger, B. Palmer, Hai-Feng Guo. assets 2004: 55-62 [doi]

Revising Knowledge in Multi-agent Systems Using Revision Programming with PreferencesInna Pivkina, Enrico Pontelli, Tran Cao Son. clima 2004: 134-158 [doi]

Discovering Structure of Web Pages for Non-visual Navigation: Binding Text to FormsEnrico Pontelli, Ravikumar Reddy Kotthuru. icchp 2004: 361-368 [doi]

Smodels with CLP?A Treatment of Aggregates in ASPEnrico Pontelli, Tran Cao Son, Islam Elkabani. lpnmr 2004: 356-360 [doi]

Planning with Preferences Using Logic ProgrammingTran Cao Son, Enrico Pontelli. lpnmr 2004: 247-260 [doi]

An Investigation of Scheduling in Distributed Constraint Logic ProgrammingKaren Villaverde, Enrico Pontelli. ISCApdcs 2004: 98-103

PreviousNext