Picture for Marcello Balduccini

Marcello Balduccini

Saint Joseph's University

Explanations for Answer Set Programming

Add code
Aug 30, 2023
Viaarxiv icon

Answer Set Planning: A Survey

Add code
Feb 11, 2022
Figure 1 for Answer Set Planning: A Survey
Figure 2 for Answer Set Planning: A Survey
Figure 3 for Answer Set Planning: A Survey
Figure 4 for Answer Set Planning: A Survey
Viaarxiv icon

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

Add code
Jan 14, 2022
Figure 1 for Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework
Figure 2 for Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework
Figure 3 for Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework
Figure 4 for Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework
Viaarxiv icon

exp : Explaining ASP Programs with Choice Atoms and Constraint Rules

Add code
Sep 17, 2021
Figure 1 for exp : Explaining ASP Programs with Choice Atoms and Constraint Rules
Viaarxiv icon

Generating explanations for answer set programming applications

Add code
Apr 18, 2021
Figure 1 for Generating explanations for answer set programming applications
Figure 2 for Generating explanations for answer set programming applications
Figure 3 for Generating explanations for answer set programming applications
Figure 4 for Generating explanations for answer set programming applications
Viaarxiv icon

Action-Centered Information Retrieval

Add code
Mar 23, 2019
Figure 1 for Action-Centered Information Retrieval
Viaarxiv icon

CASP Solutions for Planning in Hybrid Domains

Add code
Jun 25, 2018
Figure 1 for CASP Solutions for Planning in Hybrid Domains
Figure 2 for CASP Solutions for Planning in Hybrid Domains
Figure 3 for CASP Solutions for Planning in Hybrid Domains
Figure 4 for CASP Solutions for Planning in Hybrid Domains
Viaarxiv icon

An ASP Methodology for Understanding Narratives about Stereotypical Activities

Add code
Apr 26, 2018
Figure 1 for An ASP Methodology for Understanding Narratives about Stereotypical Activities
Figure 2 for An ASP Methodology for Understanding Narratives about Stereotypical Activities
Figure 3 for An ASP Methodology for Understanding Narratives about Stereotypical Activities
Figure 4 for An ASP Methodology for Understanding Narratives about Stereotypical Activities
Viaarxiv icon

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

Add code
Mar 20, 2018
Figure 1 for Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems
Figure 2 for Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems
Figure 3 for Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems
Figure 4 for Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems
Viaarxiv icon

Constraint Answer Set Solver EZCSP and Why Integration Schemas Matter

Add code
Dec 01, 2017
Figure 1 for Constraint Answer Set Solver EZCSP and Why Integration Schemas Matter
Figure 2 for Constraint Answer Set Solver EZCSP and Why Integration Schemas Matter
Figure 3 for Constraint Answer Set Solver EZCSP and Why Integration Schemas Matter
Figure 4 for Constraint Answer Set Solver EZCSP and Why Integration Schemas Matter
Viaarxiv icon