Searching for "Monodic temporal resolution" – sorted by Relevance.
-
Monodic temporal resolution
- 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
- Monodic Temporal Resolution Anatoly Degtyarev 2 , Michael Fisher 1 , and Boris Konev 1? 1
- Add To MetaCart
-
Handling equality in monodic temporal resolution
- 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
- Handling Equality in Monodic Temporal Resolution Boris Konev 1# , Anatoli Degtyarev 2
- Add To MetaCart
-
Monodic Temporal Resolution: the Expanding Domain Case
- 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
- 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
- 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
- . 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
- : 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]:
- Monodic Temporal Resolution ANATOLY DEGTYAREVDepartment of Computer Science, King's College
- Add To MetaCart

