Sciweavers

AMAI
2006
Springer

87views Artificial Intelligence» more AMAI 2006»

15 years 3 months ago

We expand the applicability of the clausal resolution technique to the branching-time temporal logic ECTL

Alexander Bolotov, Artie Basukoski

claim paper

Read More »