2009 |
82 | EE | 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 |
81 | EE | 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 |
80 | EE | Enrico 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 |
76 | EE | Richard B. Scherl,
Tran Cao Son,
Chitta Baral:
State-Based Regression with Sensing and Knowledge.
PRICAI 2008: 345-357 |
75 | EE | Tran Cao Son,
Enrico Pontelli:
Some Results on the Completeness of Approximation Based Reasoning.
PRICAI 2008: 358-369 |
74 | EE | Enrico Pontelli,
Tran Cao Son,
Omar El-Khatib:
Justifications for Logic Programs under Answer Set Semantics
CoRR abs/0812.0790: (2008) |
2007 |
73 | EE | Lengning Liu,
Enrico Pontelli,
Tran Cao Son,
Miroslaw Truszczynski:
Logic Programs with Abstract Constraint Atoms: The Role of Computations.
ICLP 2007: 286-301 |
72 | EE | A. Ricardo Morales,
Phan Huy Tu,
Tran Cao Son:
An Extension to Conformant Planning Using Logic Programming.
IJCAI 2007: 1991-1996 |
71 | EE | Phan Huy Tu,
Tran Cao Son,
Enrico Pontelli:
CPP: A Constraint Logic Programming Based Planner with Preferences.
LPNMR 2007: 290-296 |
70 | 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) |
69 | EE | Tran Cao Son,
Enrico Pontelli:
A Constructive semantic characterization of aggregates in answer set programming.
TPLP 7(3): 355-375 (2007) |
68 | 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.
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 |
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 |