| Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming | |
|---|---|
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming |
|
| Author | |
| Year of Publication |
2021
|
| Conference Name |
HCVS@ETAPS 2021
|
| Other Numbers |
79-90
|
| Google Scholar | BibTeX | |
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.