BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Son:Tran_Cao

Facilitated 1 volumes:

PADL 2015Ed

Contributed to:

PADL 20142014
ICLP 20122012
KR 20122012
ICLP 20112011
ICLP 20102010
ICLP 20092009
PADL 20092009
ICLP 20072007
ICLP 20062006
KR 20062006
ICLP 20042004
PADL 20042004
ICLP 20032003
KR 20022002
CL 20002000
KR 20002000
ILPS 19971997
KR 19961996

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.