- Default Reasoning with Specificity Phan Minh Dung \Lambda Tran Cao Son y
- Reasoning about Sensing Actions in Domains with Multi-Valued Fluents
- ASP -PROLOG : A System for Reasoning about Answer Set Programs in Prolog
- Extending Answer Set Planning with Sequence, Conditional, Loop, NonDeterministic Choice, and Procedure Constructs
- Formulating diagnostic problem solving using an action language with narratives and sensing
- --A System for Computing Answer Sets of Logic Programs with Aggregates
- Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming
- Extending ConGolog to allow partial ordering Chitta Baral \Lambda Tran Cao Son y
- From theory to practice: The UTEP robot in the AAAI 96 and AAAI 97 robot contests
- On Logic Programming with Aggregates Tran Cao Son, Enrico Pontelli, Islam Elkabani
- DomainDependent Knowledge in Answer Set TRAN CAO SON
- Golog+HTNTI : Adding time and intervals to procedural and hierarchical control
- Designing Intelligent Agents to Support Universal Accessibility of ECommerce Services 1 Designing Intelligent Agents to Support Universal
- CPP: A Constraint Logic Programming Based Planner with Preferences
- A New Approach to Conformant Planning using CNF Son Thanh To and Tran Cao Son and Enrico Pontelli
- Formalizing Commitments Using Action Languages Tran Cao Son and Enrico Pontelli Chiaki Sakama
- CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2000; 00:17 Prepared using cpeauth.cls [Version: 2002/09/19 v2.02]
- On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information
- Integrating an Answer Set Solver into Prolog: ASP -PROLOG
- Adapting Golog for Programming the Semantic Web Sheila McIlraith
- Under consideration for publication in Theory and Practice of Logic Programming 1 Justifications for Logic Programs under Answer
- Credulous Resolution for Answer Set Programming Piero A. Bonatti
- Under consideration for publication in Theory and Practice of Logic Programming 1 Reasoning and Planning with Sensing Actions,
- Under consideration for publication in Theory and Practice of Logic Programming 1 Planning with Preferences using Logic
- A Tool for Knowledge Base Integration and Querying Omar Elkhatib, Enrico Pontelli, Tran Cao Son
- Justifications for Logic Programs under Answer Set Enrico Pontelli, Tran Cao Son
- Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory
- Regression With Respect to Sensing Actions and Partial States Le-chi Tuan, Chitta Baral, and Xin Zhang
- Smodels with CLP and its Applications: A Simple and Effective Approach to Aggregates in ASP
- An Agent-based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology
- Artificial Intelligence 133 (2001) 3585 An argument-based approach
- Construction of an Agent-based Framework for Evolutionary Biology: a Progress Report
- A Conformant Planner with Explicit Disjunctive Representation of Belief States Son Thanh To and Enrico Pontelli and Tran Cao Son
- Approximation of Action Theories and Its Application to Conformant Planning
- Logic Programs with Abstract Constraint Atoms: The Role of Computations
- Artificial Intelligence 125 (2001) 1991 Formalizing sensing actions--
- Reasoning about Sensing Actions in Domains with Multi-Valued Fluents Tran Cao Son
- Journal of Artificial Intelligence Research 29 ( 2007 ) Submitted 9/06; published 8/07 Answer Sets for Logic Programs with Arbitrary Abstract
- Adding Preferences to Answer Set Planning Tran Cao Son Enrico Pontelli
- Reasoning about Policies using Logic Programs Tran Cao Son
- Nonmonotonic Inheritance, Argumentation and Logic Programming
- Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms Tran Cao Son
- Planning with Preferences using Logic Programming Tran Cao Son Enrico Pontelli
- Conformant Planning for Domains with Constraints --A New Approach Tran Cao Son and Phan Huy Tu
- Pham H.H & Tran C.S., A Round-Table Architecture for Communication IDEAL-2000 Round-Table Architecture
- An Approximation of Action Theories of AL and Its Application to Conformant Planning
- An Argumentationtheoretic Approach to Reasoning with Specificity
- Adding Time and Intervals to Procedural and Hierarchical Control Specifications Tran Cao Son
- Under consideration for publication in Theory and Practice of Logic Programming 1 A Constructive Semantic Characterization of
- Logic Programming for Multiagent Planning with Negotiation
