Tran Cao Son

2008
72		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
2007
71	EE	Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski: Logic Programs with Abstract Constraint Atoms: The Role of Computations. ICLP 2007: 286-301
70	EE	A. Ricardo Morales, Phan Huy Tu, Tran Cao Son: An Extension to Conformant Planning Using Logic Programming. IJCAI 2007: 1991-1996
69	EE	Phan Huy Tu, Tran Cao Son, Enrico Pontelli: CPP: A Constraint Logic Programming Based Planner with Preferences. LPNMR 2007: 290-296
68	EE	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)
2006
67		Tran Cao Son, Enrico Pontelli, Phan Huy Tu: Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. AAAI 2006
66	EE	Gobinath Narayanasamy, Joe Cecil, Tran Cao Son: A Collaborative Framework to Realize Virtual Enterprises Using 3APL. DALT 2006: 191-206
65	EE	Enrico Pontelli, Tran Cao Son: Justifications for Logic Programs Under Answer Set Semantics. ICLP 2006: 196-210
64		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
63	EE	Enrico Pontelli, Tran Cao Son, Chitta Baral: A Framework for Composition and Inter-operation of Rules in the Semantic Web. RuleML 2006: 39-50
62	EE	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)
61	EE	Tran Cao Son, Enrico Pontelli: A Constructive Semantic Characterization of Aggregates in ASP CoRR abs/cs/0601051: (2006)
60	EE	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)
59	EE	Tran Cao Son, Enrico Pontelli, Islam Elkabani: An Unfolding-Based Semantics for Logic Programming with Aggregates CoRR abs/cs/0605038: (2006)
58	EE	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)
57	EE	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)
56	EE	Tran Cao Son, Enrico Pontelli: Planning with preferences using logic programming. TPLP 6(5): 559-607 (2006)
2005
55		Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales: Conformant Planning for Domains with Constraints-A New Approach. AAAI 2005: 1211-1216
54	EE	Omar El-Khatib, Enrico Pontelli, Tran Cao Son: Justification and debugging of answer set programs in ASP. AADEBUG 2005: 49-58
53	EE	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
52	EE	Omar El-Khatib, Enrico Pontelli, Tran Cao Son: Integrating an Answer Set Solver into Prolog: ASP-PROLOG. LPNMR 2005: 399-404
51	EE	Islam Elkabani, Enrico Pontelli, Tran Cao Son: SmodelsA - A System for Computing Answer Sets of Logic Programs with Aggregates. LPNMR 2005: 427-431
50	EE	Tran Cao Son, Enrico Pontelli: Planning with Preferences using Logic Programming CoRR abs/cs/0508132: (2005)
49	EE	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
48		Le-Chi Tuan, Chitta Baral, Xin Zhang, Tran Cao Son: Regression with Respect to Sensing Actions and Partial States. AAAI 2004: 556-561
47		Tran Cao Son, Chitta Baral, Le-Chi Tuan: Adding Time and Intervals to Procedural and Hierarchical Control Specifications. AAAI 2004: 92-97
46	EE	Inna Pivkina, Enrico Pontelli, Tran Cao Son: Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences. CLIMA IV 2004: 134-158
45	EE	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
44	EE	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
43	EE	Tran Cao Son, Enrico Pontelli: Planning with Preferences Using Logic Programming. LPNMR 2004: 247-260
42	EE	Tran Cao Son, Phan Huy Tu, Chitta Baral: Planning with Sensing Actions and Incomplete Information Using Logic Programming. LPNMR 2004: 261-274
41	EE	Enrico Pontelli, Tran Cao Son, Islam Elkabani: Smodels with CLP?A Treatment of Aggregates in ASP. LPNMR 2004: 356-360
40	EE	Omar El-Khatib, Enrico Pontelli, Tran Cao Son: ASP-PROLOG: a system for reasoning about answer set programs in prolog. NMR 2004: 155-163
39	EE	Omar El-Khatib, Enrico Pontelli, Tran Cao Son: ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. PADL 2004: 148-162
38	EE	Le-Chi Tuan, Chitta Baral, Tran Cao Son: Regression with respect to sensing actions and partial states CoRR cs.AI/0405071: (2004)
37	EE	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	EE	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	EE	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	EE	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	EE	Enrico Pontelli, Tran Cao Son: Planning, reasoning, and agents for non-visual navigation of tables and frames. ASSETS 2002: 73-80
30	EE	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	EE	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	EE	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	EE	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	EE	Tran Cao Son, Jorge Lobo: Reasoning about Policies using Logic Programs. Answer Set Programming 2001
21	EE	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	EE	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	EE	Tran Cao Son, Chitta Baral: Formalizing sensing actions A transition function based approach. Artif. Intell. 125(1-2): 19-91 (2001)
17	EE	Phan Minh Dung, Tran Cao Son: An argument-based approach to reasoning with specificity. Artif. Intell. 133(1-2): 35-85 (2001)
16	EE	Sheila A. McIlraith, Tran Cao Son, Honglei Zeng: Semantic Web Services. IEEE Intelligent Systems 16(2): 46-53 (2001)
2000
15	EE	Phan Minh Dung, Tran Cao Son: Default Reasoning with Specificity. Computational Logic 2000: 792-806
14	EE	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	EE	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	EE	Chitta Baral, Graciela Gonzalez, Tran Cao Son: Design and Implementation of Display Specification for Multimedia Answers. ICDE 1998: 558-565
8	EE	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	EE	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	EE	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

Coauthor Index

1	Ella M. Atkins	[19]
2	Matteo Baldoni	[72]
3	Chitta Baral	[3] [5] [7] [8] [9] [10] [11] [13] [18] [21] [23] [25] [27] [32] [38] [42] [47] [48] [57] [58] [60] [62] [63]
4	Joe Cecil	[66]
5	Paul R. Cohen	[19]
6	Stefania Costantini	[30]
7	Phan Minh Dung	[1] [2] [15] [17]
8	Omar El-Khatib	[39] [40] [52] [54]
9	Islam Elkabani	[41] [44] [51] [59]
10	Lorraine M. Fesq	[19]
11	Luis Floriano	[3] [10]
12	Alfredo Gabaldon	[3]
13	Michael Gelfond	[4] [53] [55]
14	Douglas J. Gillan	[37]
15	Graciela Gonzalez	[7] [9]
16	Gopal Gupta	[36]
17	Pham Hong Hanh	[14]
18	Aaron Hardesty	[10]
19	Lina Khatib	[19]
20	Keshav Reddy Kottapally	[37]
21	Ravikumar Reddy Kotthuru	[37]
22	John E. Laird	[19]
23	Michael van Lent	[19]
24	Lengning Liu	[71]
25	Jorge Lobo	[22]
26	Sheila A. McIlraith	[13] [16] [20] [21] [23] [25] [26] [62]
27	Brook Milligan	[36]
28	A. Ricardo Morales	[53] [55] [70]
29	David Morales	[3] [6] [10]
30	Tran Hoai Nam	[25]
31	Gobinath Narayanasamy	[66]
32	Co Thai Ngo	[37]
33	Monica Nogueira	[10]
34	Ramón P. Otero	[30]
35	Yu Pan	[34] [45]
36	Charles Pecheur	[19]
37	T. Phan	[34]
38	Inna Pivkina	[46]
39	Enrico Pontelli	[28] [29] [31] [33] [34] [35] [36] [37] [39] [40] [41] [43] [44] [45] [46] [50] [51] [52] [54] [56] [59] [61] [63] [65] [67] [68] [69] [71]
40	Alessandro Provetti	[19] [24] [30] [32]
41	Desh Ranjan	[36]
42	M. Birna van Riemsdijk (Birna van Riemsdijk)	[72]
43	Lynn Andrea Stein	[19]
44	Nam Tran	[62]
45	Miroslaw Truszczynski	[71]
46	Phan Huy Tu	[42] [45] [49] [53] [55] [60] [64] [67] [68] [69] [70]
47	Le-Chi Tuan	[27] [38] [47] [48] [57] [58]
48	Richard G. Watson	[3]
49	Michael Winikoff	[72]
50	Honglei Zeng	[16] [20]
51	Xin Zhang	[48] [49]

Colors in the list of coauthors