Buchumschlag

Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Murugesan, Anitha, Wong, Isaac, Arias, Joaquín, Stroud, Robert, Varadarajan, Srivatsan, Salazar, Elmer, Gupta, Gopal, Bloomfield, Robin, Rushby, John
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Quantifying Confidence in Assurance 2.0 Arguments
von: Bloomfield, Robin, et al.
Veröffentlicht: (2026)

Confidence in Assurance 2.0 Cases
von: Bloomfield, Robin, et al.
Veröffentlicht: (2024)

CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP
von: Dasgupta, Sopam, et al.
Veröffentlicht: (2024)

CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP
von: Dasgupta, Sopam, et al.
Veröffentlicht: (2024)

Defeaters and Eliminative Argumentation in Assurance 2.0
von: Bloomfield, Robin, et al.
Veröffentlicht: (2024)

Where AI Assurance Might Go Wrong: Initial lessons from engineering of critical systems
von: Bloomfield, Robin, et al.
Veröffentlicht: (2025)

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
von: Gupta, Gopal, et al.
Veröffentlicht: (2025)

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP
von: Zeng, Yankai, et al.
Veröffentlicht: (2024)

Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming
von: Vašíček, Ondřej, et al.
Veröffentlicht: (2024)

Autonomous Task Completion Based on Goal-directed Answer Set Programming
von: Tudor, Alexis R.
Veröffentlicht: (2025)

Assessing Confidence with Assurance 2.0
von: Bloomfield, Robin, et al.
Veröffentlicht: (2022)

Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs
von: Brancas, Ricardo, et al.
Veröffentlicht: (2024)

Assurance of AI Systems From a Dependability Perspective
von: Bloomfield, Robin, et al.
Veröffentlicht: (2024)

On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming
von: Vašíček, Ondřej, et al.
Veröffentlicht: (2026)

CoGS: Model Agnostic Causality Constrained Counterfactual Explanations using goal-directed ASP
von: Dasgupta, Sopam, et al.
Veröffentlicht: (2024)

Modular Assurance of Complex Systems Using Contract-Based Design Principles
von: McGeorge, Dag, et al.
Veröffentlicht: (2024)

P2C: Path to Counterfactuals
von: Dasgupta, Sopam, et al.
Veröffentlicht: (2025)

MC3G: Model Agnostic Causally Constrained Counterfactual Generation
von: Dasgupta, Sopam, et al.
Veröffentlicht: (2025)

Formal Evidence Generation for Assurance Cases for Robotic Software Models
von: Yan, Fang, et al.
Veröffentlicht: (2026)

Mechanized Analysis of Anselm's Modal Ontological Argument
von: Rushby, John
Veröffentlicht: (2022)

Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning
von: Tudor, Alexis R., et al.
Veröffentlicht: (2025)

VECSR: Virtually Embodied Common Sense Reasoning System
von: Tudor, Alexis R., et al.
Veröffentlicht: (2025)

ASP-driven User-interaction with Clinguin
von: Beiser, Alexander, et al.
Veröffentlicht: (2025)

PROMISE: Proof Automation as Structural Imitation of Human Reasoning
von: Ahn, Youngjoo, et al.
Veröffentlicht: (2026)

Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL
von: Munive, Jonathan Julián Huerta y, et al.
Veröffentlicht: (2024)

Formalizing UML State Machines for Automated Verification -- A Survey
von: André, Étienne, et al.
Veröffentlicht: (2024)

AutoDeduct: A Tool for Automated Deductive Verification of C Code
von: Amilon, Jesper, et al.
Veröffentlicht: (2025)

Verifying DNN-based Semantic Communication Against Generative Adversarial Noise
von: Le, Thanh, et al.
Veröffentlicht: (2026)

Tunable Automation in Automated Program Verification
von: Bai, Alexander Y., et al.
Veröffentlicht: (2025)

Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended version)
von: Lopez-Miguel, Ignacio D., et al.
Veröffentlicht: (2025)

Automated Verification of Silq Quantum Programs using SMT Solvers
von: Lewis, Marco, et al.
Veröffentlicht: (2024)

Understanding: reframing automation and assurance
von: Bloomfield, Robin
Veröffentlicht: (2026)

A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics
von: Fages, François
Veröffentlicht: (2024)

CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases
von: Orvalho, Pedro, et al.
Veröffentlicht: (2024)

Exact Exploration
von: Blass, Andreas, et al.
Veröffentlicht: (2024)

Proceedings 14th International Conference on Automated Deduction in Geometry
von: Quaresma, Pedro, et al.
Veröffentlicht: (2024)

Cargo Sherlock: An SMT-Based Checker for Software Trust Costs
von: Hassnain, Muhammad, et al.
Veröffentlicht: (2025)

Relevant HAL Interface Requirements for Embedded Systems
von: Bentele, Manuel, et al.
Veröffentlicht: (2025)

A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals
von: Cristiá, Maximiliano, et al.
Veröffentlicht: (2021)

Formal Analysis of the Sigmoid Function and Formal Proof of the Universal Approximation Theorem
von: Bryant, Dustin, et al.
Veröffentlicht: (2025)