%0 Conference Paper %1 journals/corr/abs-2109-04634 %A Hall, Brendan %A Varanasi, Sarat Chandra %A Fiedor, Jan %A Arias, Joaquín %A Basu, Kinjal %A Li, Fang %A Bhatt, Devesh %A Driscoll, Kevin %A Salazar, Elmer %A Gupta, Gopal %B HCVS@ETAPS %D 2021 %E Hojjat, Hossein %E Kafle, Bishoksan %K dblp %P 79-90 %T Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs344.html#abs-2109-04634 %V 344

@inproceedings{journals/corr/abs-2109-04634, added-at = {2023-01-08T00:00:00.000+0100}, author = {Hall, Brendan and Varanasi, Sarat Chandra and Fiedor, Jan and Arias, Joaquín and Basu, Kinjal and Li, Fang and Bhatt, Devesh and Driscoll, Kevin and Salazar, Elmer and Gupta, Gopal}, biburl = {https://www.bibsonomy.org/bibtex/2c3a10a1a7f203d61302ebaa2910406b1/dblp}, booktitle = {HCVS@ETAPS}, crossref = {journals/corr/abs-2109-03988}, editor = {Hojjat, Hossein and Kafle, Bishoksan}, ee = {https://arxiv.org/abs/2109.04634}, interhash = {cb4aab6c3761fda5e39dd8e9f6901b0a}, intrahash = {c3a10a1a7f203d61302ebaa2910406b1}, keywords = {dblp}, pages = {79-90}, series = {EPTCS}, timestamp = {2024-04-09T09:30:07.000+0200}, title = {Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs344.html#abs-2109-04634}, volume = 344, year = 2021 }