( en | de | ru )

 

Disambiguation of "Son, Tran Cao"

Author of the publication

copydeleteadd this publication to your clipboard
Justification and debugging of answer set programs in ASP.

, , and . AADEBUG, page 49-58. ACM, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Son Tran

Truong Cao Son

Do Tran Son

Tri Tran-Cao

Le-Thanh-Son Tran

 

Other publications of authors with the same name

Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming., , and . Theory Pract. Log. Program., 18 (3-4): 656-672 (2018)ASPER: Answer Set Programming Enhanced Neural Network Models for Joint Entity-Relation Extraction., , and . Theory Pract. Log. Program., 23 (4): 765-781 (July 2023)A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems., , , , , and . J. Artif. Intell. Res., (2022)Epistemic Argumentation Framework., and . PRICAI (1), volume 11670 of Lecture Notes in Computer Science, page 718-732. Springer, (2019)Adding Preferences to Answer Set Planning., and . ICLP, volume 2916 of Lecture Notes in Computer Science, page 513-514. Springer, (2003)Extending ConGolog to Allow Partial Ordering., and . ATAL, volume 1757 of Lecture Notes in Computer Science, page 188-204. Springer, (1999)A parallel memory-efficient epistemic logic program solver: harder, better, faster., , and . Ann. Math. Artif. Intell., 86 (1-3): 61-85 (2019)Goal Recognition Design with Stochastic Agent Action Outcomes., , , and . IJCAI, page 3279-3285. IJCAI/AAAI Press, (2016)Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems., , and . PADL, volume 8324 of Lecture Notes in Computer Science, page 87-103. Springer, (2014)Multimodal Presentation of Two-Dimensional Charts: An Investigation Using Open Office XML and Microsoft Excel., , , , and . ACM Trans. Access. Comput., 3 (2): 8:1-8:50 (2010)