MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

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

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

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

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

ATOM

Monodic temporal resolution
by Anatoli Degtyarev, Michael Fisher, Boris Konev — 2003 — ACM Transactions on Computational Logic
…Monodic Temporal Resolution Anatoli Degtyarev 1 , Michael Fisher 2 , and Boris Konev 2 1…
Cited by 18 (11 self) – Add To MetaCart

Monodic Temporal Resolution
by Anatoly Degtyarev Michael, Michael Fisher, Boris Konev — 2003
…Monodic Temporal Resolution Anatoly Degtyarev 2 , Michael Fisher 1 , and Boris Konev 1? 1…
Add To MetaCart

Handling equality in monodic temporal resolution
by Boris Konev? Anatoli Degtyarev — 2003 — In Proceedings of 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR). Lecture Notes in Computer Science
… Handling Equality in Monodic Temporal Resolution Boris Konev1?, Anatoli Degtyarev2, and Michael…
Cited by 6 (4 self) – Add To MetaCart

Handling Equality in Monodic Temporal Resolution
by Boris Konev, Anatoli Degtyarev, Michael Fisher
…Handling Equality in Monodic Temporal Resolution Boris Konev 1# , Anatoli Degtyarev 2…
Add To MetaCart

Monodic Temporal Resolution: the Expanding Domain Case
by Anatoli Degtyarev, Michael Fisher, Boris Konev — 2003
…Monodic Temporal Resolution: the Expanding Domain Case Anatoli Degtyarev 2 , Michael Fisher 1…
Cited by 3 (3 self) – Add To MetaCart

Deciding monodic fragments by temporal resolution
by Ullrich Hustadt, Boris Konev, Renate A. Schmidt — 2005 — In Proc. CADE-20
…Deciding monodic fragments by temporal resolution ⋆ Ullrich Hustadt 1 , Boris Konev 1 , and Renate…
Cited by 1 (0 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

Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case
by Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt
…. We sketch the monodic temporal resolution system here to make the paper self-contained. We use…
Cited by 10 (6 self) – Add To MetaCart

Mechanising First-Order Temporal Resolution
by Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt — 2003
…: clausal resolution, temporal logics, monodic fragment 1 Introduction In its propositional form, linear…
Cited by 1 (0 self) – Add To MetaCart

]:Mathematical Logic--Temporal logic; F.4.1 [MATHEMATICAL LOGIC AND FORMAL LANGUAGES]:
by unknown authors
… Monodic Temporal Resolution ANATOLY DEGTYAREVDepartment of Computer Science, King's College…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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