A clausal resolution method for branching-time logic ECTL+

14 years 16 days ago

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

Alexander Bolotov, Artie Basukoski

AMAI 2006 | Artificial Intelligence | Branching-time Temporal Logic | Clausal Resolution Technique | Resolution Technique |

claim paper

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2006
Where	AMAI
Authors	Alexander Bolotov, Artie Basukoski

Comments (0)