Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Tran Cao Son

Tran Cao Son

New Mexico State University

exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules


Sep 17, 2021
Ly Ly Trieu, Tran Cao Son, Marcello Balduccini

* EPTCS 345, 2021, pp. 155-161 
* In Proceedings ICLP 2021, arXiv:2109.07914. In Proceedings the 37th International Conference on Logic Programming (ICLP 2021) 

  Access Paper or Ask Questions

Planning with Incomplete Information in Quantified Answer Set Programming


Aug 13, 2021
Jorge Fandinno, François Laferrière, Javier Romero, Torsten Schaub, Tran Cao Son

* Under consideration for publication in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

Generating explanations for answer set programming applications


Apr 18, 2021
Ly Ly Trieu, Tran Cao Son, Enrico Pontelli, Marcello Balduccini

* Paper presented at SPIE 11746, Artificial Intelligence and Machine Learning for Multi-Domain Operations Applications III, 117461L (12 April 2021), 14 pages. arXiv admin note: text overlap with arXiv:2008.01253 

  Access Paper or Ask Questions

On the Relationship Between KR Approaches for Explainable Planning


Dec 16, 2020
Stylianos Loukas Vasileiou, William Yeoh, Tran Cao Son


  Access Paper or Ask Questions

Natural Language Generation for Non-Expert Users


Sep 18, 2019
Van Duc Nguyen, Tran Cao Son, Enrico Pontelli

* EPTCS 306, 2019, pp. 280-294 
* In Proceedings ICLP 2019, arXiv:1909.07646 

  Access Paper or Ask Questions

Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming


May 01, 2018
Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son

* Paper presented at the 34th International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018 17 pages, LaTeX, 10 PDF figures (arXiv:YYMM.NNNNN) 

  Access Paper or Ask Questions

Experimenting with robotic intra-logistics domains


Apr 26, 2018
Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son

* Paper presented at the 34nd International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018 18 pages, LaTeX, 8 PDF figures (arXiv:YYMM.NNNNN) 

  Access Paper or Ask Questions

Solving Distributed Constraint Optimization Problems Using Logic Programming


May 10, 2017
Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh

* Under consideration in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, Better, Faster


Oct 13, 2016
Patrick Thor Kahl, Anthony P. Leclerc, Tran Cao Son

* Paper presented at the 9th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2016), New York City, USA, 16 October 2016 

  Access Paper or Ask Questions

An Action Language for Multi-Agent Domains: Foundations


Nov 06, 2015
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son

* 55 pages, 18 figures 

  Access Paper or Ask Questions

Logic and Constraint Logic Programming for Distributed Constraint Optimization


May 14, 2014
Tiep Le, Enrico Pontelli, Tran Cao Son, William Yeoh

* To appear in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP


Dec 20, 2013
Vinay K. Chaudhri, Stijn Heymans, Michael Wessel, Tran Cao Son

* Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey 

  Access Paper or Ask Questions

Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study


Jul 21, 2010
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son

* Theory and Practice of Logic Programming, Volume 10, Special Issue 4-6, July 2010, pages 675-690 
* 16 pages, 1 figure, International Conference on Logic Programming 2010 

  Access Paper or Ask Questions

Justifications for Logic Programs under Answer Set Semantics


Dec 03, 2008
Enrico Pontelli, Tran Cao Son, Omar Elkhatib

* 59 pages, 7 figures 

  Access Paper or Ask Questions

A State-Based Regression Formulation for Domains with Sensing Actions<br> and Incomplete Information


Oct 01, 2006
Le-Chi Tuan, Chitta Baral, Tran Cao Son

* Logical Methods in Computer Science, Volume 2, Issue 4 (October 2, 2006) lmcs:2238 
* 34 pages, 7 Figures 

  Access Paper or Ask Questions

An Unfolding-Based Semantics for Logic Programming with Aggregates


May 09, 2006
Tran Cao Son, Enrico Pontelli, Islam Elkabani


  Access Paper or Ask Questions

Reasoning and Planning with Sensing Actions, Incomplete Information, and Static Causal Laws using Answer Set Programming


May 04, 2006
Phan Huy Tu, Tran Cao Son, Chitta Baral

* 72 pages, 3 figures, a preliminary version of this paper appeared in the proceedings of the 7th International Conference on Logic Programming and Non-Monotonic Reasoning, 2004. To appear in Theory and Practice of Logic Programming 

  Access Paper or Ask Questions

A Constructive Semantic Characterization of Aggregates in ASP


Feb 08, 2006
Tran Cao Son, Enrico Pontelli

* 21 pages 

  Access Paper or Ask Questions

Planning with Preferences using Logic Programming


Aug 31, 2005
Tran Cao Son, Enrico Pontelli

* 47 pages, to appear in TPLP 

  Access Paper or Ask Questions

Domain-Dependent Knowledge in Answer Set Planning


Aug 29, 2005
Tran Cao Son, Chitta Baral, Nam Tran, Sheila McIlraith

* 70 pages, accepted for publication, TOCL Version with all proofs 

  Access Paper or Ask Questions

Regression with respect to sensing actions and partial states


May 21, 2004
Le-Chi Tuan, Chitta Baral, Tran Cao Son

* 38 pages 

  Access Paper or Ask Questions