Login / Signup
Modelling and Verification of Timed Systems with the Event Calculus and s(CASP).
Sarat Chandra Varanasi
Brendan Hall
Joaquín Arias
Elmer Salazar
Fang Li
Kinjal Basu
Kevin Driscoll
Gopal Gupta
Published in:
ICLP Workshops (2021)
Keyphrases
</>
event calculus
situation calculus
petri net
reasoning tasks
reasoning about actions and change
database
artificial intelligence
programming language