Thanh Hai Nguyen

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 10

Top Topics

Defeasible Argumentation

Conference On Artificial Intelligence

Knowledge Representation Language

Top Venues

Theory Pract. Log. Program.

Publications

Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework. Theory Pract. Log. Program. 23 (5) (2023)
Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework. CoRR (2022)
Matthew Bundas, Chasity Nadeau, Thanh Hai Nguyen, Jeannine Shantz, Marcello Balduccini, Tran Cao Son
Towards a Framework for Characterizing the Behavior of AI-Enabled Cyber-Physical and IoT Systems. WF-IoT (2021)
Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son
On Repairing Web Services Workflows. PADL (2020)
Thanh Hai Nguyen, Tran Cao Son, Matthew Bundas, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor
Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP. PRIMA (2020)
Abu Saleh Md Tayeen, Thanh Hai Nguyen, Van Duc Nguyen, Enrico Pontelli
Design and Implementation of Phylotastic, a Service Architecture for Evolutionary Biology. Int. J. Softw. Eng. Knowl. Eng. 30 (10) (2020)
Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming. Theory Pract. Log. Program. 18 (3-4) (2018)
Thanh Hai Nguyen, Tran Cao Son, Enrico Pontelli
Automatic Web Services Composition for Phylotastic. PADL (2018)
Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming. CoRR (2018)
Monica Anderson, Roman Barták, John S. Brownstein, David L. Buckeridge, Hoda Eldardiry, Christopher W. Geib, Maria L. Gini, Aaron Isaksen, Sarah Keren, Robert Laddaga, Viliam Lisý, Rodney Martin, David R. Martinez, Martin Michalowski, Loizos Michael, Reuth Mirsky, Thanh Hai Nguyen, Michael J. Paul, Enrico Pontelli, Scott Sanner, Arash Shaban-Nejad, Arunesh Sinha, Shirin Sohrabi, Kumar Sricharan, Biplav Srivastava, Mark Stefik, William W. Streilein, Nathan R. Sturtevant, Kartik Talamadupula, Michael Thielscher, Julian Togelius, Tran Cao Son, Long Tran-Thanh, Neal Wagner, Byron C. Wallace, Szymon Wilk, Jichen Zhu
Reports of the Workshops of the Thirty-First AAAI Conference on Artificial Intelligence. AI Mag. 38 (3) (2017)