Between 2017 and 2023, NIST’s The Office of Cyber Physical Systems funded a series of cooperative agreements. The principal investigator, Dr. Marcello Balduccini, is a subject matter expert in knowledge representation and reasoning. The agreements included the following multi year projects:

• A Theoretical Representation & Reasoning Framework for the Integrated Modeling of Trustworthiness in Cyber-Physical Systems
• A Study of Hybrid Discrete-Continuous- Probabilistic Modeling Techniques for Trustworthiness in Cyber-Physical Systems
• Towards Explainable Behavior of ‘Black- Box’ Autonomous Systems
• Achieving Resilience in Supply Chain via Composition of Trust

Ms. Monika Blaumueller worked with Dr. Balduccini’s team during 2022 and 2023 to develop and validate use cases with stakeholders. Another related work stream with the Observatory of Economic Complexity, was led by Dr. Caesar Hidalgo of Toulouse University in France. 

These initiatives were inspired by industry leaders who advise NIST. The result is an automated reasoning engine, a novel artificial intelligence capability. We have published a book chapter and numerous articles in peer reviewed journals. These include: 

Matthew Bundas, Chasity Nadeau, Thanh H. Nguyen, Jeannine Shantz, Marcello Balduccini, Edward Griffor, and Tran Cao Son

Facilitating Stakeholder Communication around AI-Enabled Systems and Business Processes

In Research Handbook on Artificial Intelligence and Communication, in press.

Mario Alviano, Ly Ly Trieu, Tran Cao Son, and Marcello Balduccini.

Advancements in xASP, an XAI System for Answer Set Programming.

In Proceedings of the 38th Italian Conference on Computational Logic (CILC2023), 2023.

(PDF)

Marcello Balduccini, Tran Cao Son, Ly Ly Trieu, and Mario Alviano.

Explanations for Answer Set Programming.

In Technical Communications of the 39th International Conference on Logic Programming (ICLP 2023), 2023.

(PDF)

Dylan Flynn, Chasity Nadeau, Jeannine Shantz, Marcello Balduccini, Tran Cao Son, and Edward Griffor.

Formalizing and Reasoning about Supply Chain Contracts between Agents.

In 25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023), volume 13880, 2023.

(PDF)

Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son, Marcello Balduccini, Kathleen Campbell Garwood, and Edward Griffor.

Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework.

Journal of Theory and Practice of Logic Programming (TPLP), 2022.

(PDF)

Ly Ly Trieu, Tran Cao Son, and Marcello Balduccini.

xASP: an Explanation Generation System for Answer Set Programming.

In 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR2022), 2022.

(PDF)

Matthew Bundas, Chasity Nadeau, Thanh Hai Nguyen, Jeannine Shantz, Marcello Balduccini, and Tran Cao Son.

Towards a Framework for Characterizing the Behavior of AI-Enabled Cyber-Physical and IoT Systems.

In 2021 IEEE World Forum on Internet of Things (WF-IOT 2021), 2021.

(PDF)

Ly Ly Trieu, Tran Cao Son, and Marcello Balduccini.

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

In Third Workshop on Causal Reasoning and Explanation in Logic Programming (CAUSAL2021), 2021.

(PDF)

Ly Ly Trieu, Tran Cao Son, and Marcello Balduccini.

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

In 37th International Conference on Logic Programming (ICLP2021), 2021.

(PDF)

Marcello Balduccini, Michael Gelfond, Enrico Pontelli, and Tran Cao Son.

An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements.

In 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020.

(PDF)

Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son, Marcello Balduccini, and Kathleen Campbell Garwood.

Reasoning about Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP.

In The 23rd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA2020), 2020.

(PDF)

Marcello Balduccini, Edward Griffor, Michael Huth, Claire Vishik, David Wollman, and Patrick Kamongi.

Decision Support for Smart Grid: Using Reasoning to Contextualize Complex Decision Making.

In 7th IEEE Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES19), 2019.

(PDF)

Marcello Balduccini, Edward Griffor, Michael Huth, Claire Vishik, Martin Burns, and David Wollman.

Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems.

In Living in the Internet of Things: Cybersecurity of the IoT, 2018.

(PDF)

Marcello Balduccini, Edward Griffor, Michael Huth, Claire Vishik, Martin Burns, and David Wollman.

Reasoning about Smart City.

In 4th IEEE International Workshop on Sensors and Smart Cities, 2018.

(PDF)