| Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP | |
|---|---|
Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP |
|
| Author | |
| Year of Publication |
2025
|
| Journal |
Theory and Practice of Logic Programming
|
| URL | |
| DOI |
10.1017/S1471068424000425
|
| Alternate Journal |
Cambridge University Pres
|
| Google Scholar | BibTeX | DOI | |
Feedback
Feedback
If you experience a bug or would like to see an addition on the current page, feel free to leave us a message.