Kevin Driscoll
发表
Michael Paulitsch,
Brendan Hall,
Kevin Driscoll,
2007
.
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming
pdf
Devesh Bhatt,
Kinjal Basu,
Gopal Gupta,
2021,
Electronic Proceedings in Theoretical Computer Science.