Search the dblp DataBase
Tran Cao Son :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Chitta Baral , Tran Cao Son Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information. [Citation Graph (1, 0)][DBLP ] ILPS, 1997, pp:387-401 [Conf ] Chitta Baral , Graciela Gonzalez , Tran Cao Son Conceptual Modeling and Querying in Multimedia Databases. [Citation Graph (1, 0)][DBLP ] Multimedia Tools Appl., 1998, v:7, n:1/2, pp:37-66 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, Vol. 2, 1996, pp:1350- [Conf ] Tran Cao Son , Chitta Baral , Le-Chi Tuan Adding Time and Intervals to Procedural and Hierarchical Control Specifications. [Citation Graph (0, 0)][DBLP ] AAAI, 2004, pp:92-97 [Conf ] Tran Cao Son , Enrico Pontelli , Phan Huy Tu Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. [Citation Graph (0, 0)][DBLP ] AAAI, 2006, pp:- [Conf ] Tran Cao Son , Phan Huy Tu , Michael Gelfond , A. Ricardo Morales Conformant Planning for Domains with Constraints-A New Approach. [Citation Graph (0, 0)][DBLP ] AAAI, 2005, pp:1211-1216 [Conf ] Tran Cao Son Reasoning about Sensing Actions and Reactivity. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, 1999, pp:955- [Conf ] Le-Chi Tuan , Chitta Baral , Xin Zhang , Tran Cao Son Regression with Respect to Sensing Actions and Partial States. [Citation Graph (0, 0)][DBLP ] AAAI, 2004, pp:556-561 [Conf ] Omar El-Khatib , Enrico Pontelli , Tran Cao Son Justification and debugging of answer set programs in ASP. [Citation Graph (0, 0)][DBLP ] AADEBUG, 2005, pp:49-58 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] Agents, 1998, pp:32-38 [Conf ] Tran Cao Son , Chitta Baral , Sheila A. McIlraith Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs. [Citation Graph (0, 0)][DBLP ] Answer Set Programming, 2001, pp:- [Conf ] Tran Cao Son , Jorge Lobo Reasoning about Policies using Logic Programs. [Citation Graph (0, 0)][DBLP ] Answer Set Programming, 2001, pp:- [Conf ] Enrico Pontelli , Tran Cao Son Planning, reasoning, and agents for non-visual navigation of tables and frames. [Citation Graph (0, 0)][DBLP ] ASSETS, 2002, pp:73-80 [Conf ] Chitta Baral , Tran Cao Son Extending ConGolog to Allow Partial Ordering. [Citation Graph (0, 0)][DBLP ] ATAL, 1999, pp:188-204 [Conf ] Phan Minh Dung , Tran Cao Son Default Reasoning with Specificity. [Citation Graph (0, 0)][DBLP ] Computational Logic, 2000, pp:792-806 [Conf ] Inna Pivkina , Enrico Pontelli , Tran Cao Son Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences. [Citation Graph (0, 0)][DBLP ] CLIMA IV, 2004, pp:134-158 [Conf ] Yu Pan , Phan Huy Tu , Enrico Pontelli , Tran Cao Son Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report. [Citation Graph (0, 0)][DBLP ] DALT, 2004, pp:92-111 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] DALT, 2003, pp:76-96 [Conf ] Gobinath Narayanasamy , Joe Cecil , Tran Cao Son A Collaborative Framework to Realize Virtual Enterprises Using 3APL. [Citation Graph (0, 0)][DBLP ] DALT, 2006, pp:191-206 [Conf ] Enrico Pontelli , Tran Cao Son Designing Intelligent Agents to Support Universal Accessibility. [Citation Graph (0, 0)][DBLP ] International Conference on Internet Computing, 2002, pp:726-732 [Conf ] Chitta Baral , Graciela Gonzalez , Tran Cao Son Design and Implementation of Display Specification for Multimedia Answers. [Citation Graph (0, 9)][DBLP ] ICDE, 1998, pp:558-565 [Conf ] Islam Elkabani , Enrico Pontelli , Tran Cao Son Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP. [Citation Graph (0, 0)][DBLP ] ICLP, 2004, pp:73-89 [Conf ] Enrico Pontelli , Tran Cao Son Justifications for Logic Programs Under Answer Set Semantics. [Citation Graph (0, 0)][DBLP ] ICLP, 2006, pp:196-210 [Conf ] Tran Cao Son , Enrico Pontelli Adding Preferences to Answer Set Planning. [Citation Graph (0, 0)][DBLP ] ICLP, 2003, pp:513-514 [Conf ] Pham Hong Hanh , Tran Cao Son Round-Table Architecture for Communication in Multi-agent Softbot Systems. [Citation Graph (0, 0)][DBLP ] IDEAL, 2000, pp:338-343 [Conf ] A. Ricardo Morales , Phan Huy Tu , Tran Cao Son An Extension to Conformant Planning Using Logic Programming. [Citation Graph (0, 0)][DBLP ] IJCAI, 2007, pp:1991-1996 [Conf ] Stefania Costantini , Ramón P. Otero , Alessandro Provetti , Tran Cao Son Disjunctive Logic Programs with Inheritance Revisited. [Citation Graph (0, 0)][DBLP ] ISMIS, 2002, pp:294-302 [Conf ] Tran Cao Son , Enrico Pontelli Reasoning about Actions in Prioritized Default Theory. [Citation Graph (0, 0)][DBLP ] JELIA, 2002, pp:369-381 [Conf ] Chitta Baral , Sheila A. McIlraith , Tran Cao Son Formulating diagnostic problem solving using an action language with narratives and sensing. [Citation Graph (0, 0)][DBLP ] KR, 2000, pp:311-322 [Conf ] Chitta Baral , Tran Cao Son , Le-Chi Tuan A Transition Function Based Characterization of Actions with Delayed and Continuous Effects. [Citation Graph (0, 0)][DBLP ] KR, 2002, pp:291-302 [Conf ] Phan Minh Dung , Tran Cao Son An Argumentation-theoretic Approach to Reasoning with Specificity. [Citation Graph (0, 0)][DBLP ] KR, 1996, pp:506-517 [Conf ] Sheila A. McIlraith , Tran Cao Son Adapting Golog for Composition of Semantic Web Services. [Citation Graph (0, 0)][DBLP ] KR, 2002, pp:482-496 [Conf ] Tran Cao Son , Phan Huy Tu On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information. [Citation Graph (0, 0)][DBLP ] KR, 2006, pp:481-491 [Conf ] Michael Gelfond , Tran Cao Son Reasoning with Prioritized Defaults. [Citation Graph (0, 0)][DBLP ] LPKR, 1997, pp:164-223 [Conf ] Phan Minh Dung , Tran Cao Son Nonmonotonic Inheritance, Argumentation and Logic Programming. [Citation Graph (0, 0)][DBLP ] LPNMR, 1995, pp:316-329 [Conf ] Islam Elkabani , Enrico Pontelli , Tran Cao Son SmodelsA - A System for Computing Answer Sets of Logic Programs with Aggregates. [Citation Graph (0, 0)][DBLP ] LPNMR, 2005, pp:427-431 [Conf ] Omar El-Khatib , Enrico Pontelli , Tran Cao Son Integrating an Answer Set Solver into Prolog: ASP-PROLOG. [Citation Graph (0, 0)][DBLP ] LPNMR, 2005, pp:399-404 [Conf ] Tran Cao Son , Chitta Baral , Sheila A. McIlraith Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:226-239 [Conf ] Tran Cao Son , Enrico Pontelli Planning with Preferences Using Logic Programming. [Citation Graph (0, 0)][DBLP ] LPNMR, 2004, pp:247-260 [Conf ] Tran Cao Son , Phan Huy Tu , Chitta Baral Planning with Sensing Actions and Incomplete Information Using Logic Programming. [Citation Graph (0, 0)][DBLP ] LPNMR, 2004, pp:261-274 [Conf ] Tran Cao Son , Phan Huy Tu , Michael Gelfond , A. Ricardo Morales An Approximation of Action Theories of and Its Application to Conformant Planning. [Citation Graph (0, 0)][DBLP ] LPNMR, 2005, pp:172-184 [Conf ] Enrico Pontelli , Tran Cao Son , Islam Elkabani Smodels with CLP?A Treatment of Aggregates in ASP. [Citation Graph (0, 0)][DBLP ] LPNMR, 2004, pp:356-360 [Conf ] Phan Huy Tu , Tran Cao Son , Enrico Pontelli CPP: A Constraint Logic Programming Based Planner with Preferences. [Citation Graph (0, 0)][DBLP ] LPNMR, 2007, pp:290-296 [Conf ] Omar El-Khatib , Enrico Pontelli , Tran Cao Son ASP-PROLOG: a system for reasoning about answer set programs in prolog. [Citation Graph (0, 0)][DBLP ] NMR, 2004, pp:155-163 [Conf ] Omar El-Khatib , Enrico Pontelli , Tran Cao Son ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. [Citation Graph (0, 0)][DBLP ] PADL, 2004, pp:148-162 [Conf ] Enrico Pontelli , Tran Cao Son , Yu Pan , T. Phan Developing Agents for Bioinformatics Applications: A Preliminary Design. [Citation Graph (0, 0)][DBLP ] PDPTA, 2003, pp:1005-1011 [Conf ] Enrico Pontelli , Tran Cao Son , Chitta Baral A Framework for Composition and Inter-operation of Rules in the Semantic Web. [Citation Graph (0, 0)][DBLP ] RuleML, 2006, pp:39-50 [Conf ] Sheila A. McIlraith , Tran Cao Son , Honglei Zeng Mobilizing the Semantic Web with DAML-enabled Web Services. [Citation Graph (0, 0)][DBLP ] SemWeb, 2001, pp:- [Conf ] Phan Minh Dung , Tran Cao Son An argument-based approach to reasoning with specificity. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2001, v:133, n:1-2, pp:35-85 [Journal ] Tran Cao Son , Chitta Baral Formalizing sensing actions A transition function based approach. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2001, v:125, n:1-2, pp:19-91 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] AI Magazine, 2001, v:22, n:3, pp:117-122 [Journal ] Tran Cao Son , Chitta Baral , Tran Hoai Nam , Sheila A. McIlraith Domain-Dependent Knowledge in Answer Set Planning [Citation Graph (0, 0)][DBLP ] CoRR, 2002, v:0, n:, pp:- [Journal ] Le-Chi Tuan , Chitta Baral , Tran Cao Son Regression with respect to sensing actions and partial states [Citation Graph (0, 0)][DBLP ] CoRR, 2004, v:0, n:, pp:- [Journal ] Enrico Pontelli , Tran Cao Son Designing intelligent agents to support universal accessibility of E-commerce services. [Citation Graph (0, 0)][DBLP ] Electronic Commerce Research and Applications, 2003, v:2, n:2, pp:147-161 [Journal ] Chitta Baral , Tran Cao Son Relating Theories of Actions and Reactive Control. [Citation Graph (0, 0)][DBLP ] Electron. Trans. Artif. Intell., 1998, v:2, n:, pp:211-271 [Journal ] Sheila A. McIlraith , Tran Cao Son , Honglei Zeng Semantic Web Services. [Citation Graph (0, 0)][DBLP ] IEEE Intelligent Systems, 2001, v:16, n:2, pp:46-53 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Interacting with Computers, 2004, v:16, n:3, pp:451-475 [Journal ] Le-Chi Tuan , Chitta Baral , Tran Cao Son A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information. [Citation Graph (0, 0)][DBLP ] Logical Methods in Computer Science, 2006, v:2, n:4, pp:- [Journal ] David Morales , Tran Cao Son Interval Methods in Robot Navigation. [Citation Graph (0, 0)][DBLP ] Reliable Computing, 1998, v:4, n:1, pp:55-61 [Journal ] Tran Cao Son , Phan Huy Tu , Xin Zhang Reasoning about Sensing Actions in Domains with Multi-Valued Fluents. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2005, v:79, n:1, pp:135-160 [Journal ] Tran Cao Son , Chitta Baral , Nam Tran , Sheila A. McIlraith Domain-dependent knowledge in answer set planning. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Log., 2006, v:7, n:4, pp:613-657 [Journal ] Chitta Baral , Alessandro Provetti , Tran Cao Son Introduction to the special issue on Programming with Answer Sets. [Citation Graph (0, 0)][DBLP ] TPLP, 2003, v:3, n:4-5, pp:387-391 [Journal ] Tran Cao Son , Enrico Pontelli Planning with preferences using logic programming. [Citation Graph (0, 0)][DBLP ] TPLP, 2006, v:6, n:5, pp:559-607 [Journal ] Lengning Liu , Enrico Pontelli , Tran Cao Son , Miroslaw Truszczynski Logic Programs with Abstract Constraint Atoms: The Role of Computations. [Citation Graph (0, 0)][DBLP ] ICLP, 2007, pp:286-301 [Conf ] Le-Chi Tuan , Chitta Baral , Tran Cao Son A State-Based Regression Formulation for Domains with Sensing Actions<br> and Incomplete Information [Citation Graph (0, 0)][DBLP ] CoRR, 2006, v:0, n:, pp:- [Journal ] Tran Cao Son , Enrico Pontelli A Constructive Semantic Characterization of Aggregates in ASP [Citation Graph (0, 0)][DBLP ] CoRR, 2006, v:0, n:, pp:- [Journal ] Phan Huy Tu , Tran Cao Son , Chitta Baral Reasoning and Planning with Sensing Actions, Incomplete Information, and Static Causal Laws using Answer Set Programming [Citation Graph (0, 0)][DBLP ] CoRR, 2006, v:0, n:, pp:- [Journal ] Tran Cao Son , Enrico Pontelli , Islam Elkabani An Unfolding-Based Semantics for Logic Programming with Aggregates [Citation Graph (0, 0)][DBLP ] CoRR, 2006, v:0, n:, pp:- [Journal ] Credulous Resolution for Answer Set Programming. [Citation Graph (, )][DBLP ] Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions. [Citation Graph (, )][DBLP ] On the Use of Prime Implicates in Conformant Planning. [Citation Graph (, )][DBLP ] A Conformant Planner with Explicit Disjunctive Representation of Belief States. [Citation Graph (, )][DBLP ] A New Approach to Conformant Planning Using CNF*. [Citation Graph (, )][DBLP ] Making Microsoft ExcelTM : multimodal presentation of charts. [Citation Graph (, )][DBLP ] Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge. [Citation Graph (, )][DBLP ] Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming. [Citation Graph (, )][DBLP ] GenerIE: Information extraction using database queries. [Citation Graph (, )][DBLP ] Logic Programming for Multiagent Planning with Negotiation. [Citation Graph (, )][DBLP ] Negotiation Using Logic Programming with Consistency Restoring Rules. [Citation Graph (, )][DBLP ] Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using . [Citation Graph (, )][DBLP ] Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications. [Citation Graph (, )][DBLP ] State-Based Regression with Sensing and Knowledge. [Citation Graph (, )][DBLP ] Some Results on the Completeness of Approximation Based Reasoning. [Citation Graph (, )][DBLP ] Logic programs with abstract constraint atoms: The role of computations. [Citation Graph (, )][DBLP ] Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory. [Citation Graph (, )][DBLP ] An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling. [Citation Graph (, )][DBLP ] Applications of parallel processing technologies in heuristic search planning: methodologies and experiments. [Citation Graph (, )][DBLP ] Planning with Preferences using Logic Programming [Citation Graph (, )][DBLP ] Justifications for Logic Programs under Answer Set Semantics [Citation Graph (, )][DBLP ] Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study [Citation Graph (, )][DBLP ] Search in 0.022secs, Finished in 0.025secs