MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Clausal temporal resolution." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

28 documents found, showing 1 through 10. Next 10 →

ATOM

Guiding Clausal Temporal Resolution
by Michael Fisher, Clare Dixon — 1999 — In Proceedings the Second International Conference on Temporal Logic (ICTL
…Guiding Clausal Temporal Resolution Michael Fisher and Clare Dixon Department of Computing…
Cited by 6 (3 self) – Add To MetaCart

Exploring the Monodic Fragment of First-Order Temporal Logic using Clausal Temporal Resolution
by Anatoli Degtyarev, Michael Fisher, Boris Konev — 2003
…Exploring the Monodic Fragment of First-Order Temporal Logic using Clausal Temporal Resolution…
Cited by 2 (2 self) – Add To MetaCart

Implementing Invariant Search via Temporal Resolution
by Alexei Lisitsa, James Brotherston
… in the theorem proving for first-order temporal logic. The method is based on clausal temporal resolution…
Add To MetaCart

Searching for Invariants using Temporal Resolution
by James Brotherston, Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa — 2002 — Proceedings of LPAR 2002
… the clausal temporal resolution technique developed for temporal logic provides an effective method…
Cited by 2 (2 self) – Add To MetaCart

Towards First-Order Temporal Resolution
by Anatoli Degtyarev, Michael Fisher — In KI 2001, Proceedings
…A.Degtyarev,M.Fisherg@(email omitted);) Abstract. In this paper we show how to extend clausal temporal resolution to the ground eventuality…
Cited by 28 (14 self) – Add To MetaCart

Is There a Future for Deductive Temporal Verification
by Clare Dixon, Michael Fisher, Boris Konev — 2006 — In Proc. TIME-06. IEEE Computer
… can be tractably carried out using clausal temporal resolution. The paper is organised as follows…
Cited by 5 (4 self) – Add To MetaCart

Using Otter for Temporal Resolution
by Clare Dixon — 2000 — In Advances in Temporal Logic
… to implement Fisher's temporal resolution method. Fisher's clausal temporal resolution method involves both…
Cited by 7 (1 self) – Add To MetaCart

Tractable Temporal Reasoning
by Clare Dixon, Michael Fisher, Boris Konev — 2007 — In Proc. International Joint Conference on Artificial Intelligence (IJCAI
… not only show that such fragments can be decided, tractably, via clausal temporal resolution, but also show…
Cited by 2 (2 self) – Add To MetaCart

The Set of Support Strategy in Temporal Resolution
by Clare Dixon, Michael Fisher — 1998 — In Proceedings of TIME-98 the Fifth International Workshop on Temporal Representation and Reasoning
… logic. While clausal temporal resolution has been successfully employed for a range of problems, a…
Cited by 4 (3 self) – Add To MetaCart

A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic
by Anatoly Degtyarev, Michael Fisher, Boris Konev — 2002 — In Tableaux 2002, Proceedings
…A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic ? Anatoly…
Cited by 13 (9 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB