| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Luis Tari, Phan Huy Tu, Jörg Hakenberg, Yi Chen, Tran Cao Son, Graciela Gonzalez, Chitta Baral |
Incremental Information Extraction Using Relational Databases.  |
IEEE Trans. Knowl. Data Eng.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Brandon Chisham, Ben Wright, Trung Le, Tran Cao Son, Enrico Pontelli |
CDAO-Store: Ontology-driven Data Integration for Phylogenetic Analysis. |
BMC Bioinformatics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli, Tran Cao Son, Phan Huy Tu |
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Phan Huy Tu, Tran Cao Son, Michael Gelfond, A. Ricardo Morales |
Approximation of action theories and its application to conformant planning. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiaki Sakama, Tran Cao Son, Enrico Pontelli |
A Logical Formulation for Negotiation among Dishonest Agents. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Son Thanh To, Enrico Pontelli, Tran Cao Son |
On the Effectiveness of CNF and DNF Representations in Contingent Planning. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Son Thanh To, Tran Cao Son, Enrico Pontelli |
Contingent Planning as AND/OR Forward Search with Disjunctive Representation. |
ICAPS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Brandon Chisham, Enrico Pontelli, Tran Cao Son, Ben Wright |
CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services. |
ICLP (Technical Communications) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli, Chiaki Sakama |
Formalizing Commitments Using Action Languages. |
DALT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy Alajarmeh, Enrico Pontelli, Tran Cao Son |
From "Reading" Math to "Doing" Math: A New Direction in Non-visual Math Accessibility. |
HCI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli, Chiaki Sakama |
An Experiment in Formalizing Commitments Using Action Languages. |
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ngoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli, Chiaki Sakama |
ASP-Prolog for Negotiation among Dishonest Agents. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello Balduccini, Tran Cao Son (eds.) |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Son Thanh To, Tran Cao Son, Enrico Pontelli |
Conjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF Formula. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Hoang-Khoi Nguyen, Dang-Vien Tran, Tran Cao Son, Enrico Pontelli |
On Improving Conformant Planners by Analyzing Domain-Structures. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Son Thanh To, Tran Cao Son, Enrico Pontelli |
On the Effectiveness of Belief State Representation in Contingent Planning. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son |
Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Iyad Abu Doush, Enrico Pontelli, Tran Cao Son, Dominic Simon, Ou Ma |
Multimodal Presentation of Two-Dimensional Charts: An Investigation Using Open Office XML and Microsoft Excel. |
TACCESS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski |
Logic programs with abstract constraint atoms: The role of computations. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son |
Logic programming for finding models in the logics of knowledge and its applications: A case study. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli, Hung Viet Le, Tran Cao Son |
An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling. |
Computer Languages, Systems & Structures |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Pan, Enrico Pontelli, Tran Cao Son |
BSIS: An Experiment in Automating Bioinformatics Tasks Through Intelligent Workflow Construction. |
Semantic e-Science |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Son Thanh To, Tran Cao Son, Enrico Pontelli |
A New Approach to Conformant Planning Using CNF*. |
ICAPS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Luis Tari, Phan Huy Tu, Jörg Hakenberg, Yi Chen, Tran Cao Son, Graciela Gonzalez, Chitta Baral |
GenerIE: Information extraction using database queries. |
ICDE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Gregory Gelfond, Tran Cao Son, Enrico Pontelli |
Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Son Thanh To, Tran Cao Son, Enrico Pontelli |
On the Use of Prime Implicates in Conformant Planning. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Phan Huy Tu, Enrico Pontelli, Tran Cao Son, Son Thanh To |
Applications of parallel processing technologies in heuristic search planning: methodologies and experiments. |
Concurrency and Computation: Practice and Experience |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard B. Scherl, Tran Cao Son, Chitta Baral |
State-Based Regression with Sensing and Knowledge. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Enrico Pontelli, Tran Cao Son, Omar El-Khatib |
Justifications for logic programs under answer set semantics. |
TPLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen |
Planning for Multiagent Using ASP-Prolog. |
CLIMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiaki Sakama, Tran Cao Son |
Interacting Answer Sets. |
CLIMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Tran Cao Son, Enrico Pontelli |
Reasoning about Multi-agent Domains Using Action Language C\mathcal{C}: A Preliminary Study. |
CLIMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Conformant Planning, Planning, Reasoning about Actions |
| 1 | Tran Cao Son, Chiaki Sakama |
Negotiation Using Logic Programming with Consistency Restoring Rules. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Son Thanh To, Enrico Pontelli, Tran Cao Son |
A Conformant Planner with Explicit Disjunctive Representation of Belief States. |
ICAPS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli, Chiaki Sakama |
Logic Programming for Multiagent Planning with Negotiation. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff (eds.) |
Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers |
DALT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Chiaki Sakama |
Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming. |
DALT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Tran Cao Son, Enrico Pontelli |
Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using . |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Iyad Abu Doush, Enrico Pontelli, Dominic Simon, Tran Cao Son, Ou Ma |
Making Microsoft ExcelTM: multimodal presentation of charts. |
ASSETS |
2009 |
DBLP DOI BibTeX RDF |
accessible graphs, haptic, assistive technology |
| 1 | Enrico Pontelli, Tran Cao Son, Omar El-Khatib |
Justifications for Logic Programs under Answer Set Semantics |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff (eds.) |
Declarative Agent Languages and Technologies V, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers |
DALT |
2008 |
DBLP BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli, Son Thanh To |
Some Results on the Completeness of Approximation Based Reasoning. |
AAAI Spring Symposium: Emotion, Personality, and Social Behavior |
2008 |
DBLP BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli |
Some Results on the Completeness of Approximation Based Reasoning. |
PRICAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard B. Scherl, Tran Cao Son, Chitta Baral |
State-Based Regression with Sensing and Knowledge. |
PRICAI |
2008 |
DBLP DOI BibTeX RDF |
Plans, Regression, Knowledge, Sensing |
| 1 | Piero A. Bonatti, Enrico Pontelli, Tran Cao Son |
Credulous Resolution for Answer Set Programming. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli, Phan Huy Tu |
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. |
J. Artif. Intell. Res. (JAIR) |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli |
A Constructive semantic characterization of aggregates in answer set programming. |
TPLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Ricardo Morales, Phan Huy Tu, Tran Cao Son |
An Extension to Conformant Planning Using Logic Programming. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski |
Logic Programs with Abstract Constraint Atoms: The Role of Computations. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Huy Tu, Tran Cao Son, Enrico Pontelli |
CPP: A Constraint Logic Programming Based Planner with Preferences. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Le-Chi Tuan, Chitta Baral, Tran Cao Son |
A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli, Islam Elkabani |
An Unfolding-Based Semantics for Logic Programming with Aggregates |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli |
A Constructive Semantic Characterization of Aggregates in ASP |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Tran Cao Son, Chitta Baral, Nam Tran, Sheila A. McIlraith |
Domain-dependent knowledge in answer set planning. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
answer set planning, control knowledge, planning, Reasoning about actions, procedural knowledge |
| 1 | Tran Cao Son, Enrico Pontelli |
Planning with preferences using logic programming. |
TPLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli, Tran Cao Son |
Justifications for Logic Programs Under Answer Set Semantics. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gobinath Narayanasamy, Joe Cecil, Tran Cao Son |
A Collaborative Framework to Realize Virtual Enterprises Using 3APL. |
DALT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Omar El-Khatib, Enrico Pontelli, Tran Cao Son |
A Tool for Knowledge Base Integration and Querying. |
AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering |
2006 |
DBLP BibTeX RDF |
|
| 1 | Enrico Pontelli, Tran Cao Son, Chitta Baral |
A Framework for Composition and Inter-operation of Rules in the Semantic Web. |
RuleML |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Phan Huy Tu |
On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli, Phan Huy Tu |
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Tran Cao Son, Phan Huy Tu, Xin Zhang 0005 |
Reasoning about Sensing Actions in Domains with Multi-Valued Fluents. |
Studia Logica |
2005 |
DBLP DOI BibTeX RDF |
Sensing Actions, Multi-valued Fluents, Incomplete Information, Actions Languages |
| 1 | Tran Cao Son, Enrico Pontelli |
Planning with Preferences using Logic Programming |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Omar El-Khatib, Enrico Pontelli, Tran Cao Son |
Justification and debugging of answer set programs in ASP. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
small answer set programming, logic programming, justifications |
| 1 | Omar El-Khatib, Enrico Pontelli, Tran Cao Son |
Integrating an Answer Set Solver into Prolog: ASP-PROLOG. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Islam Elkabani, Enrico Pontelli, Tran Cao Son |
SmodelsA - A System for Computing Answer Sets of Logic Programs with Aggregates. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales |
Conformant Planning for Domains with Constraints-A New Approach. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Le-Chi Tuan, Chitta Baral, Tran Cao Son |
Regression with respect to sensing actions and partial states |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli |
Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory. |
Computational Intelligence |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Inna Pivkina, Enrico Pontelli, Tran Cao Son |
Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences. |
CLIMA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Omar El-Khatib, Enrico Pontelli, Tran Cao Son |
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Islam Elkabani, Enrico Pontelli, Tran Cao Son |
Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Pan, Phan Huy Tu, Enrico Pontelli, Tran Cao Son |
Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report. |
DALT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Phan Huy Tu, Chitta Baral |
Planning with Sensing Actions and Incomplete Information Using Logic Programming. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli |
Planning with Preferences Using Logic Programming. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli, Tran Cao Son, Islam Elkabani |
Smodels with CLP?A Treatment of Aggregates in ASP. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Omar El-Khatib, Enrico Pontelli, Tran Cao Son |
ASP-PROLOG: a system for reasoning about answer set programs in prolog. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Le-Chi Tuan, Chitta Baral, Xin Zhang 0005, Tran Cao Son |
Regression with Respect to Sensing Actions and Partial States. |
AAAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Tran Cao Son, Chitta Baral, Le-Chi Tuan |
Adding Time and Intervals to Procedural and Hierarchical Control Specifications. |
AAAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Enrico Pontelli, Tran Cao Son |
Designing intelligent agents to support universal accessibility of E-commerce services. |
Electronic Commerce Research and Applications |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Alessandro Provetti, Tran Cao Son |
Introduction to the special issue on Programming with Answer Sets. |
TPLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli |
Adding Preferences to Answer Set Planning. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli, Tran Cao Son, Yu Pan, T. Phan |
Developing Agents for Bioinformatics Applications: A Preliminary Design. |
PDPTA |
2003 |
DBLP BibTeX RDF |
|
| 1 | Tran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila A. McIlraith |
Domain-Dependent Knowledge in Answer Set Planning |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Ramón P. Otero, Alessandro Provetti, Tran Cao Son |
Disjunctive Logic Programs with Inheritance Revisited. |
ISMIS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli, Tran Cao Son |
Designing Intelligent Agents to Support Universal Accessibility. |
International Conference on Internet Computing |
2002 |
DBLP BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli |
Reasoning about Actions in Prioritized Default Theory. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheila A. McIlraith, Tran Cao Son |
Adapting Golog for Composition of Semantic Web Services. |
KR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Tran Cao Son, Le-Chi Tuan |
A Transition Function Based Characterization of Actions with Delayed and Continuous Effects. |
KR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Enrico Pontelli, Tran Cao Son |
Planning, reasoning, and agents for non-visual navigation of tables and frames. |
ASSETS |
2002 |
DBLP DOI BibTeX RDF |
semantics navigation, agents, domain specific language |
| 1 | Tran Cao Son, Chitta Baral |
Formalizing sensing actions A transition function based approach. |
Artif. Intell. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung, Tran Cao Son |
An argument-based approach to reasoning with specificity. |
Artif. Intell. |
2001 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")