Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

AMAI
2006
Springer

favoriteEmaildiscussreport

87views Artificial Intelligence» more AMAI 2006»

A clausal resolution method for branching-time logic ECTL+

13 years 4 months ago

A clausal resolution method for branching-time logic ECTL+

Download www2.wmin.ac.uk

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

Alexander Bolotov, Artie Basukoski

Real-time Traffic

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

claim paper

Related Content

» A Clausal Resolution Method for Extended Computation Tree Logic ECTL

» Search Strategies for Resolution in CTLType Logics Extension and Complexity

» A Clausal Approach to Proof Analysis in SecondOrder Logic

» A Consequence Finding Approach for Full Clausal Abduction

» Temporal Logics of Knowledge and their Applications in Security

» Tractable Temporal Reasoning

Post Info
More Details (n/a)

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

Comments (0)