A graph-theoretic approach to efficiently reason about partially ordered events in the Event Calculus
Keyword(s):
Keyword(s):
1987 ◽
Vol 63
(2-3)
◽
pp. 279-295
◽
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
2020 ◽
Vol 1706
◽
pp. 012115
Keyword(s):
2010 ◽
Vol 33
(17)
◽
pp. 2093-2104
◽
Keyword(s):
Keyword(s):