Reports of the Workshops of the Thirty-First AAAI Conference on Artificial Intelligence. - Monica Anderson 001; 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; et al. (AI Mag., 2017)

Automatic Web Services Composition for Phylotastic. - Thanh Hai Nguyen 002; Tran Cao Son; Enrico Pontelli (PADL, 2018)

Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming. - Thanh Hai Nguyen 002; Enrico Pontelli; Tran Cao Son (Theory Pract. Log. Program., 2018)

On Repairing Web Services Workflows. - Thanh Hai Nguyen 002; Enrico Pontelli; Tran Cao Son (PADL, 2020)

Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP. - Thanh Hai Nguyen 002; Tran Cao Son; Matthew Bundas; Marcello Balduccini; Kathleen Campbell Garwood; Edward R. Griffor (PRIMA, 2020)

Design and Implementation of Phylotastic, a Service Architecture for Evolutionary Biology. - Abu Saleh Md Tayeen; Thanh Hai Nguyen 002; Van Duc Nguyen; Enrico Pontelli (Int. J. Softw. Eng. Knowl. Eng., 2020)

Towards a Framework for Characterizing the Behavior of AI-Enabled Cyber-Physical and IoT Systems. - Matthew Bundas; Chasity Nadeau; Thanh Hai Nguyen 002; Jeannine Shantz; Marcello Balduccini; Tran Cao Son (WF-IoT, 2021)

Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework. - Thanh Hai Nguyen 002; Matthew Bundas; Tran Cao Son; Marcello Balduccini; Kathleen Campbell Garwood; Edward R. Griffor (Theory Pract. Log. Program., 2023)