BibSLEIGH — Tran_Cao

Travelled to:

1 × Hungary
1 × India
1 × Italy
1 × Portugal
1 × United Kingdom
2 × France
8 × USA

Collaborated with:

E.Pontelli C.Baral P.M.Dung S.A.McIlraith T.Le V.K.Chaudhri P.H.Tu C.Sakama I.Elkabani O.El-Khatib L.Tuan H.Nguyen B.Chisham B.Wright G.Gelfond D.Tran H.Nguyen L.Liu M.Truszczynski

Talks about:

program (8) reason (6) logic (6) asp (5) answer (4) action (4) plan (4) set (4) system (3) specif (3)

Person: Tran Cao Son

DBLP: Son:Tran_Cao

Facilitated 1 volumes:

Contributed to:

2014

2012

2011

2010

2009

2007

2006

2004

2003

2002

2000

1997

1996

Wrote 19 papers:

PADL-2014-SonPL #multi #prolog #source code: Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems (TCS, EP, TL), pp. 87–103.
ICLP-2012-LeNPS #implementation: ASP at Work: An ASP Implementation of PhyloWS (TL, HN, EP, TCS), pp. 359–369.
KR-2012-ChaudhriS #knowledge base #programming #reasoning #set #specification #using: Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming (VKC, TCS).
ICLP-2011-ChishamPSW #logic programming #named #repository #using #web #web service: CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services (BC, EP, TCS, BW), pp. 209–219.
ICLP-J-2010-BaralGPS #case study #logic #logic programming #modelling: Logic programming for finding models in the logics of knowledge and its applications: A case study (CB, GG, EP, TCS), pp. 675–690.
ICLP-2009-SonPS #logic programming #multi: Logic Programming for Multiagent Planning with Negotiation (TCS, EP, CS), pp. 99–114.
PADL-2009-TranNPS #consistency #declarative #performance #specification #static analysis: Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications (DVT, HKN, EP, TCS), pp. 239–253.
ICLP-2007-LiuPST #constraints #logic programming #source code: Logic Programs with Abstract Constraint Atoms: The Role of Computations (LL, EP, TCS, MT), pp. 286–301.
ICLP-2006-PontelliS #logic programming #semantics #set #source code: Justifications for Logic Programs Under Answer Set Semantics (EP, TCS), pp. 196–210.
KR-2006-SonT #approximate #on the #reasoning: On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information (TCS, PHT), pp. 481–491.
ICLP-2004-ElkabaniPS #approach #effectiveness: Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP (IE, EP, TCS), pp. 73–89.
PADL-2004-ElkhatibPS #named #prolog #reasoning #set #source code: ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog (OEK, EP, TCS), pp. 148–162.
ICLP-2003-SonP #set: Adding Preferences to Answer Set Planning (TCS, EP), pp. 513–514.
KR-2002-BaralST: A Transition Function Based Characterization of Actions with Delayed and Continuous Effects (CB, TCS, LCT), pp. 291–302.
KR-2002-McIlraithS #adaptation #composition #semantics #web #web service: Adapting Golog for Composition of Semantic Web Services (SAM, TCS), pp. 482–496.
CL-2000-DungS #reasoning: Default Reasoning with Specificity (PMD, TCS), pp. 792–806.
KR-2000-BaralMS #problem #using: Formulating diagnostic problem solving using an action language with narratives and sensing (CB, SAM, TCS), pp. 311–322.
ILPS-1997-BaralS #approximate #reasoning: Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information (CB, TCS), pp. 387–401.
KR-1996-DungS #approach #reasoning: An Argumentation-theoretic Approach to Reasoning with Specificity (PMD, TCS), pp. 506–517.