| 2009 | ||
|---|---|---|
| 89 | Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff: Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers Springer 2009 | |
| 88 | Iyad Abu Doush, Enrico Pontelli, Dominic Simon, Tran Cao Son, Ou Ma: Making Microsoft ExcelTM: multimodal presentation of charts. ASSETS 2009: 147-154 | |
| 87 | Tran Cao Son, Chiaki Sakama: Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming. DALT 2009: 208-227 | |
| 86 | Son Thanh To, Enrico Pontelli, Tran Cao Son: A Conformant Planner with Explicit Disjunctive Representation of Belief States. ICAPS 2009 | |
| 85 | Tran Cao Son, Enrico Pontelli, Chiaki Sakama: Logic Programming for Multiagent Planning with Negotiation. ICLP 2009: 99-114 | |
| 84 | Tran Cao Son, Chiaki Sakama: Negotiation Using Logic Programming with Consistency Restoring Rules. IJCAI 2009: 930-935 | |
| 83 | Chitta Baral, Tran Cao Son, Enrico Pontelli: Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using . LPNMR 2009: 409-415 | |
| 82 | 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 | |
| 81 | Enrico Pontelli, Tran Cao Son, Omar El-Khatib: Justifications for logic programs under answer set semantics. TPLP 9(1): 1-56 (2009) | |
| 2008 | ||
| 80 | Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff: Declarative Agent Languages and Technologies V, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers Springer 2008 | |
| 79 | Piero A. Bonatti, Enrico Pontelli, Tran Cao Son: Credulous Resolution for Answer Set Programming. AAAI 2008: 418-423 | |
| 78 | 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 | |
| 77 | Richard B. Scherl, Tran Cao Son, Chitta Baral: State-Based Regression with Sensing and Knowledge. PRICAI 2008: 345-357 | |
| 76 | Tran Cao Son, Enrico Pontelli: Some Results on the Completeness of Approximation Based Reasoning. PRICAI 2008: 358-369 | |
| 75 | Enrico Pontelli, Tran Cao Son, Omar El-Khatib: Justifications for Logic Programs under Answer Set Semantics CoRR abs/0812.0790: (2008) | |
| 2007 | ||
| 74 | Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski: Logic Programs with Abstract Constraint Atoms: The Role of Computations. ICLP 2007: 286-301 | |
| 73 | A. Ricardo Morales, Phan Huy Tu, Tran Cao Son: An Extension to Conformant Planning Using Logic Programming. IJCAI 2007: 1991-1996 | |
| 72 | Phan Huy Tu, Tran Cao Son, Enrico Pontelli: CPP: A Constraint Logic Programming Based Planner with Preferences. LPNMR 2007: 290-296 | |
| 71 | 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) | |
| 70 | Tran Cao Son, Enrico Pontelli: A Constructive semantic characterization of aggregates in answer set programming. TPLP 7(3): 355-375 (2007) | |
| 69 | 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) | |
| 2006 | ||
| 68 | Tran Cao Son, Enrico Pontelli, Phan Huy Tu: Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. AAAI 2006 | |
| 67 | Gobinath Narayanasamy, Joe Cecil, Tran Cao Son: A Collaborative Framework to Realize Virtual Enterprises Using 3APL. DALT 2006: 191-206 | |
| 66 | Enrico Pontelli, Tran Cao Son: Justifications for Logic Programs Under Answer Set Semantics. ICLP 2006: 196-210 | |
| 65 | 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 | |
| 64 | Enrico Pontelli, Tran Cao Son, Chitta Baral: A Framework for Composition and Inter-operation of Rules in the Semantic Web. RuleML 2006: 39-50 | |
| 63 | 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) | |
| 62 | Tran Cao Son, Enrico Pontelli: A Constructive Semantic Characterization of Aggregates in ASP CoRR abs/cs/0601051: (2006) | |
| 61 | 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) | |
| 60 | Tran Cao Son, Enrico Pontelli, Islam Elkabani: An Unfolding-Based Semantics for Logic Programming with Aggregates CoRR abs/cs/0605038: (2006) | |
| 59 | Le-Chi Tuan, Chitta Baral, Tran Cao Son: A State-Based Regression Formulation for Domains with Sensing Actions<br> and Incomplete Information CoRR abs/cs/0609111: (2006) | |
| 58 | 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) | |
| 57 | Tran Cao Son, Enrico Pontelli: Planning with preferences using logic programming. TPLP 6(5): 559-607 (2006) | |
| 2005 | ||
| 56 | Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales: Conformant Planning for Domains with Constraints-A New Approach. AAAI 2005: 1211-1216 | |
| 55 | Omar El-Khatib, Enrico Pontelli, Tran Cao Son: Justification and debugging of answer set programs in ASP. AADEBUG 2005: 49-58 | |
| 54 | 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 | |
| 53 | Omar El-Khatib, Enrico Pontelli, Tran Cao Son: Integrating an Answer Set Solver into Prolog: ASP-PROLOG. LPNMR 2005: 399-404 | |
| 52 | Islam Elkabani, Enrico Pontelli, Tran Cao Son: SmodelsA - A System for Computing Answer Sets of Logic Programs with Aggregates. LPNMR 2005: 427-431 | |
| 51 | Tran Cao Son, Enrico Pontelli: Planning with Preferences using Logic Programming CoRR abs/cs/0508132: (2005) | |
| 50 | 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) | |
| 2004 | ||
| 49 | Le-Chi Tuan, Chitta Baral, Xin Zhang, Tran Cao Son: Regression with Respect to Sensing Actions and Partial States. AAAI 2004: 556-561 | |
| 48 | Tran Cao Son, Chitta Baral, Le-Chi Tuan: Adding Time and Intervals to Procedural and Hierarchical Control Specifications. AAAI 2004: 92-97 | |
| 47 | Inna Pivkina, Enrico Pontelli, Tran Cao Son: Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences. CLIMA IV 2004: 134-158 | |
| 46 | 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 | |
| 45 | 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 | |
| 44 | Tran Cao Son, Enrico Pontelli: Planning with Preferences Using Logic Programming. LPNMR 2004: 247-260 | |
| 43 | Tran Cao Son, Phan Huy Tu, Chitta Baral: Planning with Sensing Actions and Incomplete Information Using Logic Programming. LPNMR 2004: 261-274 | |
| 42 | Enrico Pontelli, Tran Cao Son, Islam Elkabani: Smodels with CLP?A Treatment of Aggregates in ASP. LPNMR 2004: 356-360 | |
| 41 | Omar El-Khatib, Enrico Pontelli, Tran Cao Son: ASP-PROLOG: a system for reasoning about answer set programs in prolog. NMR 2004: 155-163 | |
| 40 | Omar El-Khatib, Enrico Pontelli, Tran Cao Son: ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. PADL 2004: 148-162 | |
| 39 | Le-Chi Tuan, Chitta Baral, Tran Cao Son: Regression with respect to sensing actions and partial states CoRR cs.AI/0405071: (2004) | |
| 38 | Tran Cao Son, Enrico Pontelli: Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory. Computational Intelligence 20(2): 358-404 (2004) | |
| 37 | 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) | |
| 2003 | ||
| 36 | 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 | |
| 35 | Tran Cao Son, Enrico Pontelli: Adding Preferences to Answer Set Planning. ICLP 2003: 513-514 | |
| 34 | Enrico Pontelli, Tran Cao Son, Yu Pan, T. Phan: Developing Agents for Bioinformatics Applications: A Preliminary Design. PDPTA 2003: 1005-1011 | |
| 33 | 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) | |
| 32 | Chitta Baral, Alessandro Provetti, Tran Cao Son: Introduction to the special issue on Programming with Answer Sets. TPLP 3(4-5): 387-391 (2003) | |
| 2002 | ||
| 31 | Enrico Pontelli, Tran Cao Son: Planning, reasoning, and agents for non-visual navigation of tables and frames. ASSETS 2002: 73-80 | |
| 30 | Stefania Costantini, Ramón P. Otero, Alessandro Provetti, Tran Cao Son: Disjunctive Logic Programs with Inheritance Revisited. ISMIS 2002: 294-302 | |
| 29 | Enrico Pontelli, Tran Cao Son: Designing Intelligent Agents to Support Universal Accessibility. International Conference on Internet Computing 2002: 726-732 | |
| 28 | Tran Cao Son, Enrico Pontelli: Reasoning about Actions in Prioritized Default Theory. JELIA 2002: 369-381 | |
| 27 | Chitta Baral, Tran Cao Son, Le-Chi Tuan: A Transition Function Based Characterization of Actions with Delayed and Continuous Effects. KR 2002: 291-302 | |
| 26 | Sheila A. McIlraith, Tran Cao Son: Adapting Golog for Composition of Semantic Web Services. KR 2002: 482-496 | |
| 25 | Tran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila A. McIlraith: Domain-Dependent Knowledge in Answer Set Planning CoRR cs.AI/0207023: (2002) | |
| 2001 | ||
| 24 | Alessandro Provetti, Tran Cao Son: Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford, March 26-28, 2001 Answer Set Programming 2001 | |
| 23 | 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 | |
| 22 | Tran Cao Son, Jorge Lobo: Reasoning about Policies using Logic Programs. Answer Set Programming 2001 | |
| 21 | 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 | |
| 20 | Sheila A. McIlraith, Tran Cao Son, Honglei Zeng: Mobilizing the Semantic Web with DAML-enabled Web Services. SemWeb 2001 | |
| 19 | Lorraine M. Fesq, Ella M. Atkins, Lina Khatib, Charles Pecheur, Paul R. Cohen, Lynn Andrea Stein, Michael van Lent, John E. Laird, Alessandro Provetti, Tran Cao Son: AAAI 2001 Spring Symposium Series Reports. AI Magazine 22(3): 117-122 (2001) | |
| 18 | Tran Cao Son, Chitta Baral: Formalizing sensing actions A transition function based approach. Artif. Intell. 125(1-2): 19-91 (2001) | |
| 17 | Phan Minh Dung, Tran Cao Son: An argument-based approach to reasoning with specificity. Artif. Intell. 133(1-2): 35-85 (2001) | |
| 16 | Sheila A. McIlraith, Tran Cao Son, Honglei Zeng: Semantic Web Services. IEEE Intelligent Systems 16(2): 46-53 (2001) | |
| 2000 | ||
| 15 | Phan Minh Dung, Tran Cao Son: Default Reasoning with Specificity. Computational Logic 2000: 792-806 | |
| 14 | Pham Hong Hanh, Tran Cao Son: Round-Table Architecture for Communication in Multi-agent Softbot Systems. IDEAL 2000: 338-343 | |
| 13 | 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 | ||
| 12 | Tran Cao Son: Reasoning about Sensing Actions and Reactivity. AAAI/IAAI 1999: 955 | |
| 11 | Chitta Baral, Tran Cao Son: Extending ConGolog to Allow Partial Ordering. ATAL 1999: 188-204 | |
| 1998 | ||
| 10 | 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 | |
| 9 | Chitta Baral, Graciela Gonzalez, Tran Cao Son: Design and Implementation of Display Specification for Multimedia Answers. ICDE 1998: 558-565 | |
| 8 | Chitta Baral, Tran Cao Son: Relating Theories of Actions and Reactive Control. Electron. Trans. Artif. Intell. 2: 211-271 (1998) | |
| 7 | Chitta Baral, Graciela Gonzalez, Tran Cao Son: Conceptual Modeling and Querying in Multimedia Databases. Multimedia Tools Appl. 7(1/2): 37-66 (1998) | |
| 6 | David Morales, Tran Cao Son: Interval Methods in Robot Navigation. Reliable Computing 4(1): 55-61 (1998) | |
| 1997 | ||
| 5 | Chitta Baral, Tran Cao Son: Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information. ILPS 1997: 387-401 | |
| 4 | Michael Gelfond, Tran Cao Son: Reasoning with Prioritized Defaults. LPKR 1997: 164-223 | |
| 1996 | ||
| 3 | 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 | |
| 2 | Phan Minh Dung, Tran Cao Son: An Argumentation-theoretic Approach to Reasoning with Specificity. KR 1996: 506-517 | |
| 1995 | ||
| 1 | Phan Minh Dung, Tran Cao Son: Nonmonotonic Inheritance, Argumentation and Logic Programming. LPNMR 1995: 316-329 | |