Publications

2014

  • Ferdinando Fioretto, Tiep Le, William Yeoh, Enrico Pontelli, Tran Cao Son: Improving DPOP with Branch Consistency for Solving Distributed Constraint Optimization Problems. CP 2014: (to appear)
  • Federico Campeotto, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli. A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems: ECAI 2014: (to appear)
  • Ping Hou, William Yeoh, and Tran Cao Son: Solving Uncertain MDPs by Reusing State Information and Plans. AAAI 2014: (to appear)
  • Ping Hou, William Yeoh, and Pradeep Varakantham: Revisiting Risk-Sensitive MDPs: New Algorithms and Results ICAPS 2014: (to appear)
  • 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)
  • Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen, Chiaki Sakama: Formalizing Negotiations Using Logic Programming. ACM Trans. Comput. Log. 15(2): 12 (2014)
  • Tran Cao Son, Enrico Pontelli, Tiep Le: Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems. PADL 2014: 87-103 (2014)
  • Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico PontelliExploring the Use of GPUs in Constraint Solving. PADL 2014: 152-167 (2014)
  • Tiep Le, Enrico Pontelli, Tran Cao Son, William Yeoh: Logic and Constraint Logic Programming for Distributed Constraint Optimization. CoRR abs/1405.1734 (2014)

2013

  • Arlin StoltzfusHilmar LappNaim MatasciHelena F. DeusBrian SidlauskasChristian M. ZmasekGaurav VaidyaEnrico PontelliKaren CranstonRutger A. VosCampbell O. WebbLuke J. HarmonMegan PirrungBrian O’MearaMatthew W. PennellSiavash MirarabMichael S. RosenbergJames P. BalhoffHolly M. BikTracy A. HeathPeter E. MidfordJoseph W. BrownEmily Jane McTavishJeet SukumaranMark WestneatMichael E. AlfaroAaron SteeleGreg JordanPhylotastic! Making tree-of-life knowledge accessible, reusable and convenient.BMC Bioinformatics 14: 158 (2013)
  • Federico CampeottoAlessandro Dal PalùAgostino DovierFerdinando FiorettoEnrico PontelliA Constraint Solver for Flexible Protein Model. J. Artif. Intell. Res. (JAIR) 48: 953-1000 (2013)
  • Vien TranKhoi NguyenTran Cao SonEnrico PontelliA conformant planner based on approximation: CpA(H). ACM TIST 4(2): 36 (2013)
  • Agostino DovierAndrea FormisanoEnrico PontelliAutonomous agents coordination: Action languages meet CLP() and Linda. TPLP 13(2): 149-173 (2013)
  • Iyad Abu DoushEnrico PontelliNon-visual navigation of spreadsheets – Enhancing accessibility of Microsoft Excel™. Universal Access in the Information Society 12(2): 143-159 (2013)
  • Muhanad S. ManshadEnrico PontelliShakir J. ManshadExploring tangible collaborative distance learning environments for the blind and visually impaired. CHI Extended Abstracts 2013: 55-60
  • Flavio VellaAlessandro Dal PalùAgostino DovierAndrea FormisanoEnrico PontelliCUD@ASP: Experimenting with GPGPUs in ASP solving.CILC 2013: 163-177
  • Chitta BaralGregory GelfondEnrico PontelliTran Cao SonReasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL. CLIMA 2013: 290-306
  • Ferdinando FiorettoEnrico PontelliConstraint Programming in Community-Based Gene Regulatory Network Inference. CMSB 2013: 135-149  (Best student paper award)
  • Federico CampeottoAgostino DovierEnrico PontelliProtein Structure Prediction on GPU: A Declarative Approach in a Multi-agent Framework. ICPP 2013: 474-479
  • Sarah HugJosh SandryRyan VordermannEnrico PontelliBen WrightDISSECT: integrating computational thinking in the traditional K-12 curricula through collaborative teaching (abstract only). SIGCSE 2013: 742
  • João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran (Eds.): Computational Logic in Multi-Agent Systems – 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings. Lecture Notes in Computer Science 8143,Springer 2013, ISBN 978-3-642-40623-2
  • Pedro Cabalar, Tran Cao Son (Eds.): Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings. Lecture Notes in Computer Science 8148, Springer 2013, ISBN 978-3-642-40563-1
  • Vinay K. Chaudhri, Stijn Heymans, Michael A. Wessel, Tran Cao SonQuery Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP. CoRR abs/1312.6138 (2013)

2012

  • Hoang-Khoi Nguyen, Dang-Vien Tran, Tran Cao Son, Enrico PontelliOn Computing Conformant Plans Using Classical Planners: A Generate-And-Complete Approach. ICAPS 2012  (Best student paper award)
  • Nancy Alajarmeh, Enrico PontelliE-Arithmetic: non-visual arithmetic manipulation for students with impaired vision. ASSETS 2012: 269-270
  • 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
  • Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico PontelliExploiting Unexploited Computing Resources for Computational Logics. CILC 2012: 74-88
  • Ben Wright, Enrico Pontelli, Tran Cao Son: Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning. CLIMA 2012: 163-180
  • Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico PontelliA Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints. CP 2012: 850-866
  • Nancy Alajarmeh, Enrico PontelliA Non-visual Electronic Workspace for Learning Algebra. ICCHP (1) 2012: 158-165
  • 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
  • Tiep Le, Hieu Nguyen, Enrico Pontelli, Tran Cao Son: ASP at Work: An ASP Implementation of PhyloWS. ICLP (Technical Communications) 2012: 359-369
  • Luis Tari, Phan Huy Tu, Jörg Hakenberg, Yi Chen, Tran Cao Son, Graciela Gonzalez, Chitta Baral: Incremental Information Extraction Using Relational Databases. IEEE Trans. Knowl. Data Eng. 24(1): 86-99 (2012)
  • Vinay K. Chaudhri, Tran Cao SonSpecifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming. KR 2012

2011

  • Brandon ChishamBen WrightTrung LeTran Cao SonEnrico PontelliCDAO-Store: Ontology-driven Data Integration for Phylogenetic Analysis. BMC Bioinformatics 12: 98 (2011)
  • Maria Garcia de la BandaEnrico PontelliIntroduction to the 24th international conference on logic programming special issue. TPLP 11(2-3): 131-133 (2011)
  • Hoang-Khoi NguyenDang-Vien TranTran Cao SonEnrico PontelliOn Improving Conformant Planners by Analyzing Domain-Structures.AAAI 2011
  • Son Thanh ToTran Cao SonEnrico PontelliConjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF Formula. AAAI 2011
  • Son Thanh ToTran Cao SonEnrico PontelliOn the Effectiveness of Belief State Representation in Contingent Planning. AAAI 2011
  • Tran Cao SonEnrico PontelliChiaki SakamaAn Experiment in Formalizing Commitments Using Action Languages. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011
  • Son Thanh ToTran Cao SonEnrico PontelliContingent Planning as AND/OR Forward Search with Disjunctive Representation. ICAPS 2011
  • Muhanad S. ManshadEnrico PontelliShakir J. ManshadMICOO (multimodal interactive cubes for object orientation): a tangible user interface for the blind and visually impaired. ASSETS 2011: 261-262
  • Agostino DovierAndrea FormisanoEnrico PontelliPerspectives on Logic-Based Approaches for Reasoning about Actions and Change.Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 259-279
  • Tran Cao SonEnrico PontelliChiaki SakamaFormalizing Commitments Using Action Languages. DALT 2011: 67-83
  • Nancy AlajarmehEnrico PontelliTran Cao SonFrom “Reading” Math to “Doing” Math: A New Direction in Non-visual Math Accessibility. HCI (8) 2011: 501-510
  • Agostino DovierAndrea FormisanoEnrico PontelliBAAC: A Prolog System for Action Description and Agents Coordination. ICLP (Technical Communications) 2011: 187-197
  • Brandon ChishamEnrico PontelliTran Cao SonBen WrightCDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services. ICLP (Technical Communications) 2011: 209-219
  • Chiaki SakamaTran Cao SonEnrico PontelliA Logical Formulation for Negotiation among Dishonest Agents. IJCAI 2011: 1069-1074
  • Son Thanh ToEnrico PontelliTran Cao SonOn the Effectiveness of CNF and DNF Representations in Contingent Planning. IJCAI 2011: 2033-2038
  • Alessandro Dal PalùAgostino DovierFederico FogolariEnrico PontelliExploring Protein Fragment Assembly Using CLP. IJCAI 2011: 2590-2595
  • Ngoc-Hieu NguyenTran Cao SonEnrico PontelliChiaki SakamaASP-Prolog for Negotiation among Dishonest Agents. LPNMR 2011: 331-344
  • Agostino DovierAndrea FormisanoEnrico PontelliAutonomous Agents Coordination: Action Languages meet CLP(FD) and Linda. CoRR abs/1110.0624 (2011)
  • Enrico PontelliTran Cao SonPhan Huy TuAnswer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. CoRR abs/1110.2205 (2011)
  • Abdulla Alqaddoumi, Enrico PontelliAn Implementation of Bubbling. CoRR abs/1112.3789 (2011)
  • Phan Huy TuTran Cao SonMichael GelfondA. Ricardo MoralesApproximation of action theories and its application to conformant planning. Artif. Intell. 175(1): 79-119 (2011)
  • Marcello BalducciniTran Cao Son (Eds.): Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning – Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 6565, Springer 2011, ISBN 978-3-642-20831-7

2010

  • 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)
  • 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 36(2): 158-202 (2010)
  • Agostino Dovier, Andrea Formisano, Enrico PontelliAn Investigation of Multi-Agent Planning in CLP. Fundam. Inform. 105(1-2): 79-103 (2010)
  • Alessandro Dal Palù, Agostino Dovier, Enrico PontelliComputing approximate solutions of the protein structure determination problem using global constraints on discrete crystal lattices. IJDMB 4(1): 1-20 (2010)
  • 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 3(2): 8 (2010)
  • Agostino Dovier, Andrea Formisano, Enrico PontelliMultivalued action languages with constraints in CLP(FD). TPLP 10(2): 167-235 (2010)
  • 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 10(4-6): 675-690 (2010)
  • Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico PontelliCLP-based protein fragment assembly. TPLP 10(4-6): 709-724 (2010)  (Best paper award)
  • Son Thanh To, Tran Cao Son, Enrico PontelliOn the Use of Prime Implicates in Conformant Planning. AAAI 2010
  • Son Thanh To, Tran Cao Son, Enrico PontelliA New Approach to Conformant Planning Using CNF*. ICAPS 2010: 169-176
  • Chitta Baral, Gregory Gelfond, Tran Cao Son, Enrico PontelliUsing answer set programming to model multi-agent scenarios involving agents’ knowledge about other’s knowledge. AAMAS 2010: 259-266
  • Agostino Dovier, Andrea Formisano, Enrico PontelliAutonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda. CILC 2010
  • Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico PontelliCLP-based Protein Fragment Assembly. CILC 2010
  • Iyad Abu Doush, Enrico PontelliDetecting and recognizing tables in spreadsheets. Document Analysis Systems 2010: 471-478
  • Iyad Abu Doush, Enrico PontelliNon-visual Navigation of Spreadsheet Tables. ICCHP (1) 2010: 108-115
  • Iyad Abu Doush, Enrico PontelliIntegrating Semantic Web and Folksonomies to Improve E-Learning Accessibility. ICCHP (1) 2010: 376-383
  • Enrico PontelliAnswer Set Programming in 2010: A Personal Perspective. PADL 2010: 1-3
  • Yu Pan, Enrico Pontelli, Tran Cao Son: BSIS: An Experiment in Automating Bioinformatics Tasks Through Intelligent Workflow Construction. Semantic e-Science 2010: 189-238
  • Agostino Dovier, Enrico Pontelli (Eds.): 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
  • Leaf Petersen, Enrico Pontelli (Eds.): 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
  • 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)
  • Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico PontelliCLP-based protein fragment assembly. CoRR abs/1007.5180 (2010)
  • Luis TariPhan Huy TuJörg HakenbergYi ChenTran Cao SonGraciela GonzalezChitta BaralGenerIE: Information extraction using database queries. ICDE 2010: 1121-1124