Tran Cao Son Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
j29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vien Tran, Khoi Nguyen, Tran Cao Son, Enrico Pontelli: A conformant planner based on approximation: CpA(H). ACM TIST 4(2): 36 (2013)
2012
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ben Wright, Enrico Pontelli, Tran Cao Son: Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning. CLIMA 2012: 163-180
c81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tiep Le, Hieu Nguyen, Enrico Pontelli, Tran Cao Son: ASP at Work: An ASP Implementation of PhyloWS. ICLP (Technical Communications) 2012: 359-369
c80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vinay K. Chaudhri, Tran Cao Son: Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming. KR 2012
2011
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Phan Huy Tu, Tran Cao Son, Michael Gelfond, A. Ricardo Morales: Approximation of action theories and its application to conformant planning. Artif. Intell. 175(1): 79-119 (2011)
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Brandon Chisham, Ben Wright, Trung Le, Tran Cao Son, Enrico Pontelli: CDAO-Store: Ontology-driven Data Integration for Phylogenetic Analysis. BMC Bioinformatics 12: 98 (2011)
c79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hoang-Khoi Nguyen, Dang-Vien Tran, Tran Cao Son, Enrico Pontelli: On Improving Conformant Planners by Analyzing Domain-Structures. AAAI 2011
c78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Son Thanh To, Tran Cao Son, Enrico Pontelli: Conjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF Formula. AAAI 2011
c77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Son Thanh To, Tran Cao Son, Enrico Pontelli: On the Effectiveness of Belief State Representation in Contingent Planning. AAAI 2011
c76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Enrico Pontelli, Chiaki Sakama: An Experiment in Formalizing Commitments Using Action Languages. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011
c75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Son Thanh To, Tran Cao Son, Enrico Pontelli: Contingent Planning as AND/OR Forward Search with Disjunctive Representation. ICAPS 2011
c74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Enrico Pontelli, Chiaki Sakama: Formalizing Commitments Using Action Languages. DALT 2011: 67-83
c73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiaki Sakama, Tran Cao Son, Enrico Pontelli: A Logical Formulation for Negotiation among Dishonest Agents. IJCAI 2011: 1069-1074
c70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Son Thanh To, Enrico Pontelli, Tran Cao Son: On the Effectiveness of CNF and DNF Representations in Contingent Planning. IJCAI 2011: 2033-2038
c69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ngoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli, Chiaki Sakama: ASP-Prolog for Negotiation among Dishonest Agents. LPNMR 2011: 331-344
e4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marcello Balduccini, Tran 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
i10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Tran Cao Son, Phan Huy Tu: Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. CoRR abs/1110.2205 (2011)
2010
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Son Thanh To, Tran Cao Son, Enrico Pontelli: On the Use of Prime Implicates in Conformant Planning. AAAI 2010
c67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Son Thanh To, Tran Cao Son, Enrico Pontelli: A New Approach to Conformant Planning Using CNF*. ICAPS 2010: 169-176
c66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luis Tari, Phan Huy Tu, Jörg Hakenberg, Yi Chen, Tran Cao Son, Graciela Gonzalez, Chitta Baral: GenerIE: Information extraction using database queries. ICDE 2010: 1121-1124
p1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yu Pan, Enrico Pontelli, Tran Cao Son: BSIS: An Experiment in Automating Bioinformatics Tasks Through Intelligent Workflow Construction. Semantic e-Science 2010: 189-238
i9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
2009
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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 21(15): 1928-1960 (2009)
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard B. Scherl, Tran Cao Son, Chitta Baral: State-Based Regression with Sensing and Knowledge. Int. J. Software and Informatics 3(1): 3-30 (2009)
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Tran Cao Son, Omar El-Khatib: Justifications for logic programs under answer set semantics. TPLP 9(1): 1-56 (2009)
c64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Son Thanh To, Enrico Pontelli, Tran Cao Son: A Conformant Planner with Explicit Disjunctive Representation of Belief States. ICAPS 2009
c63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Iyad Abu Doush, Enrico Pontelli, Dominic Simon, Tran Cao Son, Ou Ma: Making Microsoft ExcelTM: multimodal presentation of charts. ASSETS 2009: 147-154
c62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen: Planning for Multiagent Using ASP-Prolog. CLIMA 2009: 1-21
c61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiaki Sakama, Tran Cao Son: Interacting Answer Sets. CLIMA 2009: 122-140
c59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Chiaki Sakama: Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming. DALT 2009: 208-227
c58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Enrico Pontelli, Chiaki Sakama: Logic Programming for Multiagent Planning with Negotiation. ICLP 2009: 99-114
c57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Chiaki Sakama: Negotiation Using Logic Programming with Consistency Restoring Rules. IJCAI 2009: 930-935
c56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chitta Baral, Tran Cao Son, Enrico Pontelli: Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using . LPNMR 2009: 409-415
c55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
e3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff (Eds.): Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers. Lecture Notes in Computer Science 5397, Springer 2009, isbn 978-3-540-93919-1
2008
c54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Enrico Pontelli, Tran Cao Son: Credulous Resolution for Answer Set Programming. AAAI 2008: 418-423
c53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chitta Baral, Juraj Dzifcak, Tran Cao Son: Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions. AAAI 2008: 818-823
c52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard B. Scherl, Tran Cao Son, Chitta Baral: State-Based Regression with Sensing and Knowledge. PRICAI 2008: 345-357
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Enrico Pontelli: Some Results on the Completeness of Approximation Based Reasoning. PRICAI 2008: 358-369
e2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff (Eds.): Declarative Agent Languages and Technologies V, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers. Lecture Notes in Computer Science 4897, Springer 2008, isbn 978-3-540-77563-8
i8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Tran Cao Son, Omar El-Khatib: Justifications for Logic Programs under Answer Set Semantics. CoRR abs/0812.0790 (2008)
2007
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Enrico Pontelli, Phan Huy Tu: Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. J. Artif. Intell. Res. (JAIR) 29: 353-389 (2007)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Enrico Pontelli: A Constructive semantic characterization of aggregates in answer set programming. TPLP 7(3): 355-375 (2007)
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Phan Huy Tu, Tran Cao Son, Chitta Baral: Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming. TPLP 7(4): 377-450 (2007)
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski: Logic Programs with Abstract Constraint Atoms: The Role of Computations. ICLP 2007: 286-301
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
A. Ricardo Morales, Phan Huy Tu, Tran Cao Son: An Extension to Conformant Planning Using Logic Programming. IJCAI 2007: 1991-1996
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Phan Huy Tu, Tran Cao Son, Enrico Pontelli: CPP: A Constraint Logic Programming Based Planner with Preferences. LPNMR 2007: 290-296
2006
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Le-Chi Tuan, Chitta Baral, Tran Cao Son: A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information. Logical Methods in Computer Science 2(4) (2006)
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Chitta Baral, Nam Tran, Sheila A. McIlraith: Domain-dependent knowledge in answer set planning. ACM Trans. Comput. Log. 7(4): 613-657 (2006)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Enrico Pontelli: Planning with preferences using logic programming. TPLP 6(5): 559-607 (2006)
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Enrico Pontelli, Phan Huy Tu: Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. AAAI 2006: 129-134
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gobinath Narayanasamy, Joe Cecil, Tran Cao Son: A Collaborative Framework to Realize Virtual Enterprises Using 3APL. DALT 2006: 191-206
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Tran Cao Son: Justifications for Logic Programs Under Answer Set Semantics. ICLP 2006: 196-210
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Phan Huy Tu: On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information. KR 2006: 481-491
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Tran Cao Son, Chitta Baral: A Framework for Composition and Inter-operation of Rules in the Semantic Web. RuleML 2006: 39-50
i7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Enrico Pontelli: A Constructive Semantic Characterization of Aggregates in ASP. CoRR abs/cs/0601051 (2006)
i6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Phan Huy Tu, Tran Cao Son, Chitta Baral: Reasoning and Planning with Sensing Actions, Incomplete Information, and Static Causal Laws using Answer Set Programming. CoRR abs/cs/0605017 (2006)
i5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Enrico Pontelli, Islam Elkabani: An Unfolding-Based Semantics for Logic Programming with Aggregates. CoRR abs/cs/0605038 (2006)
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Le-Chi Tuan, Chitta Baral, Tran Cao Son: A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information. CoRR abs/cs/0609111 (2006)
2005
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Phan Huy Tu, Xin Zhang: Reasoning about Sensing Actions in Domains with Multi-Valued Fluents. Studia Logica 79(1): 135-160 (2005)
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales: Conformant Planning for Domains with Constraints-A New Approach. AAAI 2005: 1211-1216
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Omar El-Khatib, Enrico Pontelli, Tran Cao Son: Justification and debugging of answer set programs in ASP. AADEBUG 2005: 49-58
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales: An Approximation of Action Theories of and Its Application to Conformant Planning. LPNMR 2005: 172-184
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Omar El-Khatib, Enrico Pontelli, Tran Cao Son: Integrating an Answer Set Solver into Prolog: ASP-PROLOG. LPNMR 2005: 399-404
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Islam Elkabani, Enrico Pontelli, Tran Cao Son: SmodelsA - A System for Computing Answer Sets of Logic Programs with Aggregates. LPNMR 2005: 427-431
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Enrico Pontelli: Planning with Preferences using Logic Programming. CoRR abs/cs/0508132 (2005)
2004
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Enrico Pontelli: Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory. Computational Intelligence 20(2): 358-404 (2004)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. Interacting with Computers 16(3): 451-475 (2004)
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Chitta Baral, Le-Chi Tuan: Adding Time and Intervals to Procedural and Hierarchical Control Specifications. AAAI 2004: 92-97
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Le-Chi Tuan, Chitta Baral, Xin Zhang, Tran Cao Son: Regression with Respect to Sensing Actions and Partial States. AAAI 2004: 556-561
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Inna Pivkina, Enrico Pontelli, Tran Cao Son: Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences. CLIMA 2004: 134-158
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Enrico Pontelli: Planning with Preferences Using Logic Programming. LPNMR 2004: 247-260
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Phan Huy Tu, Chitta Baral: Planning with Sensing Actions and Incomplete Information Using Logic Programming. LPNMR 2004: 261-274
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Tran Cao Son, Islam Elkabani: Smodels with CLP?A Treatment of Aggregates in ASP. LPNMR 2004: 356-360
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Omar El-Khatib, Enrico Pontelli, Tran Cao Son: ASP-PROLOG: a system for reasoning about answer set programs in prolog. NMR 2004: 155-163
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Omar El-Khatib, Enrico Pontelli, Tran Cao Son: ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. PADL 2004: 148-162
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Le-Chi Tuan, Chitta Baral, Tran Cao Son: Regression with respect to sensing actions and partial states. CoRR cs.AI/0405071 (2004)
2003
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Tran Cao Son: Designing intelligent agents to support universal accessibility of E-commerce services. Electronic Commerce Research and Applications 2(2): 147-161 (2003)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chitta Baral, Alessandro Provetti, Tran Cao Son: Introduction to the special issue on Programming with Answer Sets. TPLP 3(4-5): 387-391 (2003)
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Enrico Pontelli: Adding Preferences to Answer Set Planning. ICLP 2003: 513-514
c23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Tran Cao Son, Yu Pan, T. Phan: Developing Agents for Bioinformatics Applications: A Preliminary Design. PDPTA 2003: 1005-1011
2002
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Tran Cao Son: Planning, reasoning, and agents for non-visual navigation of tables and frames. ASSETS 2002: 73-80
c21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Tran Cao Son: Designing Intelligent Agents to Support Universal Accessibility. International Conference on Internet Computing 2002: 726-732
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Ramón P. Otero, Alessandro Provetti, Tran Cao Son: Disjunctive Logic Programs with Inheritance Revisited. ISMIS 2002: 294-302
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Enrico Pontelli: Reasoning about Actions in Prioritized Default Theory. JELIA 2002: 369-381
c18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chitta Baral, Tran Cao Son, Le-Chi Tuan: A Transition Function Based Characterization of Actions with Delayed and Continuous Effects. KR 2002: 291-302
c17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sheila A. McIlraith, Tran Cao Son: Adapting Golog for Composition of Semantic Web Services. KR 2002: 482-496
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila A. McIlraith: Domain-Dependent Knowledge in Answer Set Planning. CoRR cs.AI/0207023 (2002)
2001
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Chitta Baral: Formalizing sensing actions A transition function based approach. Artif. Intell. 125(1-2): 19-91 (2001)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Phan Minh Dung, Tran Cao Son: An argument-based approach to reasoning with specificity. Artif. Intell. 133(1-2): 35-85 (2001)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sheila A. McIlraith, Tran Cao Son, Honglei Zeng: Semantic Web Services. IEEE Intelligent Systems 16(2): 46-53 (2001)
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Chitta Baral, Sheila A. McIlraith: Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs. Answer Set Programming 2001
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Jorge Lobo: Reasoning about Policies using Logic Programs. Answer Set Programming 2001
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son, Chitta Baral, Sheila A. McIlraith: Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach. LPNMR 2001: 226-239
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sheila A. McIlraith, Tran Cao Son, Honglei Zeng: Mobilizing the Semantic Web with DAML-enabled Web Services. SemWeb 2001
e1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alessandro Provetti, Tran Cao Son (Eds.): Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford, March 26-28, 2001. 2001
2000
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Phan Minh Dung, Tran Cao Son: Default Reasoning with Specificity. Computational Logic 2000: 792-806
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pham Hong Hanh, Tran Cao Son: Round-Table Architecture for Communication in Multi-agent Softbot Systems. IDEAL 2000: 338-343
c10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chitta Baral, Sheila A. McIlraith, Tran Cao Son: Formulating diagnostic problem solving using an action language with narratives and sensing. KR 2000: 311-322
1999
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tran Cao Son: Reasoning about Sensing Actions and Reactivity. AAAI/IAAI 1999: 955
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chitta Baral, Tran Cao Son: Extending ConGolog to Allow Partial Ordering. ATAL 1999: 188-204
1998
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chitta Baral, Tran Cao Son: Relating Theories of Actions and Reactive Control. Electron. Trans. Artif. Intell. 2: 211-271 (1998)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chitta Baral, Graciela Gonzalez, Tran Cao Son: Conceptual Modeling and Querying in Multimedia Databases. Multimedia Tools Appl. 7(1/2): 37-66 (1998)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Morales, Tran Cao Son: Interval Methods in Robot Navigation. Reliable Computing 4(1): 55-61 (1998)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chitta Baral, Luis Floriano, Aaron Hardesty, David Morales, Monica Nogueira, Tran Cao Son: From Theory to Practice: The UTEP Robot in the AAAI 96 AAAI 97 Robot Contests. Agents 1998: 32-38
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chitta Baral, Graciela Gonzalez, Tran Cao Son: Design and Implementation of Display Specification for Multimedia Answers. ICDE 1998: 558-565
1997
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael Gelfond, Tran Cao Son: Reasoning with Prioritized Defaults. LPKR 1997: 164-223
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chitta Baral, Tran Cao Son: Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information. ILPS 1997: 387-401
1996
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chitta Baral, Luis Floriano, Alfredo Gabaldon, David Morales, Tran Cao Son, Richard G. Watson: A Reactive Mobile Robot Based on a Formal Theory of Action. AAAI/IAAI, Vol. 2 1996: 1350
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Phan Minh Dung, Tran Cao Son: An Argumentation-theoretic Approach to Reasoning with Specificity. KR 1996: 506-517
1995
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Phan Minh Dung, Tran Cao Son: Nonmonotonic Inheritance, Argumentation and Logic Programming. LPNMR 1995: 316-329

Coauthor Index

1Nancy Alajarmeh
[c73]
2Ella M. Atkins
[j5]
3Matteo Baldoni
[e3] [e2]
4Marcello Balduccini
[e4]
5Chitta Baral
[j28] [c83] [j22] [c66] [c65] [i9] [j20] [c61] [c56] [c53] [c51] [j16] [j15] [j14] [c41] [i6] [i4] [c35] [c34] [c29] [i2] [j8] [c18] [i1] [j7] [c16] [c14] [c10] [c8] [j3] [j2] [c7] [c6] [c4] [c3]
6Piero A. Bonatti
[c54]
7Joe Cecil
[c44]
8Vinay K. Chaudhri
[c80]
9Yi Chen
[j28] [c65]
10Brandon Chisham
[j26] [c72]
11Paul R. Cohen
[j5]
12Stefania Costantini
[c20]
13Iyad Abu Doush
[j23] [c63]
14Phan Minh Dung
[j6] [c12] [c2] [c1]
15Juraj Dzifcak
[c53]
16Omar El-Khatib
[j19] [i8] [c45] [c39] [c37] [c27] [c26]
17Islam Elkabani
[i5] [c36] [c31] [c28]
18Lorraine M. Fesq
[j5]
19Luis Floriano
[c7] [c3]
20Alfredo Gabaldon
[c3]
21Gregory Gelfond
[c83] [j22] [c66] [i9]
22Michael Gelfond
[j27] [c40] [c38] [c5]
23Douglas J. Gillan
[j10]
24Graciela Gonzalez
[j28] [c65] [j2] [c6]
25Gopal Gupta
[c25]
26Jörg Hakenberg
[j28] [c65]
27Pham Hong Hanh
[c11]
28Aaron Hardesty
[c7]
29Lina Khatib
[j5]
30Keshav Reddy Kottapally
[j10]
31Ravikumar Reddy Kotthuru
[j10]
32John E. Laird
[j5]
33Hung Viet Le
[j24]
34Tiep Le
[c81]
35Trung Le
[j26]
36Michael van Lent
[j5]
37Lengning Liu
[j25] [c49]
38Jorge Lobo
[c15]
39Ou Ma
[j23] [c63]
40Sheila A. McIlraith
[j14] [c17] [i1] [j4] [c16] [c14] [c13] [c10]
41Brook Milligan
[c25]
42A. Ricardo Morales
[j27] [c48] [c40] [c38]
43David Morales
[j1] [c7] [c3]
44Tran Hoai Nam
[i1]
45Gobinath Narayanasamy
[c44]
46Co Thai Ngo
[j10]
47Hieu Nguyen
[c81]
48Hoang-Khoi Nguyen
[c84] [c79] [c55]
49Khoi Nguyen
[j29]
50Ngoc-Hieu Nguyen
[c69] [c62]
51Monica Nogueira
[c7]
52Ramón P. Otero
[c20]
53Yu Pan
[p1] [c32] [c23]
54Charles Pecheur
[j5]
55T. Phan
[c23]
56Inna Pivkina
[c33]
57Enrico Pontelli
[j29] [c84] [c83] [c82] [c81] [j26] [c79] [c78] [c77] [c76] [c75] [c74] [c73] [c72] [c71] [c70] [c69] [i10] [j25] [j24] [j23] [j22] [c68] [c67] [c66] [p1] [i9] [j21] [j19] [c64] [c63] [c62] [c61] [c58] [c56] [c55] [c54] [c52] [c50] [i8] [j18] [j17] [c49] [c47] [j13] [c46] [c45] [c43] [c41] [i7] [i5] [c39] [c37] [c36] [i3] [j11] [j10] [c33] [c32] [c31] [c30] [c28] [c27] [c26] [j9] [c25] [c24] [c23] [c22] [c21] [c19]
58Alessandro Provetti
[j8] [c20] [j5] [e1]
59Desh Ranjan
[c25]
60M. Birna van Riemsdijk (Birna van Riemsdijk)
[e3] [e2]
61Chiaki Sakama
[c76] [c74] [c71] [c69] [c60] [c59] [c58] [c57]
62Richard B. Scherl
[j20] [c51]
63Dominic Simon
[j23] [c63]
64Lynn Andrea Stein
[j5]
65Luis Tari
[j28] [c65]
66Son Thanh To
[c78] [c77] [c75] [c70] [c68] [c67] [j21] [c64] [c52]
67Dang-Vien Tran
[c84] [c79] [c55]
68Nam Tran
[j14]
69Vien Tran
[j29]
70Miroslaw Truszczynski
[j25] [c49]
71Phan Huy Tu
[j28] [j27] [i10] [c65] [j21] [j18] [j16] [c48] [c47] [c46] [c42] [i6] [j12] [c40] [c38] [c32] [c29]
72Le-Chi Tuan
[j15] [i4] [c35] [c34] [i2] [c18]
73Richard G. Watson
[c3]
74Michael Winikoff
[e3] [e2]
75Ben Wright
[c82] [j26] [c72]
76Honglei Zeng
[j4] [c13]
77Xin Zhang 0005
[j12] [c34]

Colors in the list of coauthors

Last update Tue May 21 13:56:37 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page