dblp.uni-trier.dewww.uni-trier.de

Tran Cao Son Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
86EEMatteo 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
85EEIyad Abu Doush, Enrico Pontelli, Dominic Simon, Tran Cao Son, Ou Ma: Making Microsoft ExcelTM: multimodal presentation of charts. ASSETS 2009: 147-154
84EETran Cao Son, Enrico Pontelli, Chiaki Sakama: Logic Programming for Multiagent Planning with Negotiation. ICLP 2009: 99-114
83EETran Cao Son, Chiaki Sakama: Negotiation Using Logic Programming with Consistency Restoring Rules. IJCAI 2009: 930-935
82EEChitta Baral, Tran Cao Son, Enrico Pontelli: Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using . LPNMR 2009: 409-415
81EEDang-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
80EEEnrico Pontelli, Tran Cao Son, Omar El-Khatib: Justifications for logic programs under answer set semantics. TPLP 9(1): 1-56 (2009)
2008
79 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
78 Piero A. Bonatti, Enrico Pontelli, Tran Cao Son: Credulous Resolution for Answer Set Programming. AAAI 2008: 418-423
77 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
76EERichard B. Scherl, Tran Cao Son, Chitta Baral: State-Based Regression with Sensing and Knowledge. PRICAI 2008: 345-357
75EETran Cao Son, Enrico Pontelli: Some Results on the Completeness of Approximation Based Reasoning. PRICAI 2008: 358-369
74EEEnrico Pontelli, Tran Cao Son, Omar El-Khatib: Justifications for Logic Programs under Answer Set Semantics CoRR abs/0812.0790: (2008)
2007
73EELengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski: Logic Programs with Abstract Constraint Atoms: The Role of Computations. ICLP 2007: 286-301
72EEA. Ricardo Morales, Phan Huy Tu, Tran Cao Son: An Extension to Conformant Planning Using Logic Programming. IJCAI 2007: 1991-1996
71EEPhan Huy Tu, Tran Cao Son, Enrico Pontelli: CPP: A Constraint Logic Programming Based Planner with Preferences. LPNMR 2007: 290-296
70EETran 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)
69EETran Cao Son, Enrico Pontelli: A Constructive semantic characterization of aggregates in answer set programming. TPLP 7(3): 355-375 (2007)
68EEPhan 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
67 Tran Cao Son, Enrico Pontelli, Phan Huy Tu: Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. AAAI 2006
66EEGobinath Narayanasamy, Joe Cecil, Tran Cao Son: A Collaborative Framework to Realize Virtual Enterprises Using 3APL. DALT 2006: 191-206
65EEEnrico 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
63EEEnrico Pontelli, Tran Cao Son, Chitta Baral: A Framework for Composition and Inter-operation of Rules in the Semantic Web. RuleML 2006: 39-50
62EETran 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)
61EETran Cao Son, Enrico Pontelli: A Constructive Semantic Characterization of Aggregates in ASP CoRR abs/cs/0601051: (2006)
60EEPhan 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)
59EETran Cao Son, Enrico Pontelli, Islam Elkabani: An Unfolding-Based Semantics for Logic Programming with Aggregates CoRR abs/cs/0605038: (2006)
58EELe-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)
57EELe-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)
56EETran 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
54EEOmar El-Khatib, Enrico Pontelli, Tran Cao Son: Justification and debugging of answer set programs in ASP. AADEBUG 2005: 49-58
53EETran 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
52EEOmar El-Khatib, Enrico Pontelli, Tran Cao Son: Integrating an Answer Set Solver into Prolog: ASP-PROLOG. LPNMR 2005: 399-404
51EEIslam Elkabani, Enrico Pontelli, Tran Cao Son: SmodelsA - A System for Computing Answer Sets of Logic Programs with Aggregates. LPNMR 2005: 427-431
50EETran Cao Son, Enrico Pontelli: Planning with Preferences using Logic Programming CoRR abs/cs/0508132: (2005)
49EETran 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
46EEInna Pivkina, Enrico Pontelli, Tran Cao Son: Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences. CLIMA IV 2004: 134-158
45EEYu 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
44EEIslam 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
43EETran Cao Son, Enrico Pontelli: Planning with Preferences Using Logic Programming. LPNMR 2004: 247-260
42EETran Cao Son, Phan Huy Tu, Chitta Baral: Planning with Sensing Actions and Incomplete Information Using Logic Programming. LPNMR 2004: 261-274
41EEEnrico Pontelli, Tran Cao Son, Islam Elkabani: Smodels with CLP?A Treatment of Aggregates in ASP. LPNMR 2004: 356-360
40EEOmar El-Khatib, Enrico Pontelli, Tran Cao Son: ASP-PROLOG: a system for reasoning about answer set programs in prolog. NMR 2004: 155-163
39EEOmar El-Khatib, Enrico Pontelli, Tran Cao Son: ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. PADL 2004: 148-162
38EELe-Chi Tuan, Chitta Baral, Tran Cao Son: Regression with respect to sensing actions and partial states CoRR cs.AI/0405071: (2004)
37EEEnrico 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
36EETran 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
35EETran 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
33EEEnrico 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
31EEEnrico Pontelli, Tran Cao Son: Planning, reasoning, and agents for non-visual navigation of tables and frames. ASSETS 2002: 73-80
30EEStefania 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
28EETran 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
25EETran 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
23EETran 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
22EETran Cao Son, Jorge Lobo: Reasoning about Policies using Logic Programs. Answer Set Programming 2001
21EETran 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
20EESheila 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)
18EETran Cao Son, Chitta Baral: Formalizing sensing actions A transition function based approach. Artif. Intell. 125(1-2): 19-91 (2001)
17EEPhan Minh Dung, Tran Cao Son: An argument-based approach to reasoning with specificity. Artif. Intell. 133(1-2): 35-85 (2001)
16EESheila A. McIlraith, Tran Cao Son, Honglei Zeng: Semantic Web Services. IEEE Intelligent Systems 16(2): 46-53 (2001)
2000
15EEPhan Minh Dung, Tran Cao Son: Default Reasoning with Specificity. Computational Logic 2000: 792-806
14EEPham 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
10EEChitta 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
9EEChitta Baral, Graciela Gonzalez, Tran Cao Son: Design and Implementation of Display Specification for Multimedia Answers. ICDE 1998: 558-565
8EEChitta 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)
6EEDavid 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
4EEMichael 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)