Christoph Brzoska Temporal Logic Programming with Metric and Past Operators. [Citation Graph (0, 0)][DBLP] Executable Modal and Temporal Logics, 1993, pp:21-39 [Conf]
Shinji Kono A Combination of Clausal and Non Clausal Temporal Logic Programs. [Citation Graph (0, 0)][DBLP] Executable Modal and Temporal Logics, 1993, pp:40-57 [Conf]
Thom W. Frühwirth Temporal Logic and Annotated Constraint Logic Programming. [Citation Graph (0, 0)][DBLP] Executable Modal and Temporal Logics, 1993, pp:58-68 [Conf]
Stephan Merz Efficiently Executable Temporal Logic Programs. [Citation Graph (0, 0)][DBLP] Executable Modal and Temporal Logics, 1993, pp:69-85 [Conf]
Michael Fisher Towards a Semantics for Concurrent METATEM. [Citation Graph (0, 0)][DBLP] Executable Modal and Temporal Logics, 1993, pp:86-102 [Conf]
Mark Reynolds Towards First-Order Concurrent METATEM. [Citation Graph (0, 0)][DBLP] Executable Modal and Temporal Logics, 1993, pp:118-143 [Conf]
Marcos Cavalcanti Solving Air-Traffic Problems with "Possible Worlds". [Citation Graph (0, 0)][DBLP] Executable Modal and Temporal Logics, 1993, pp:144-156 [Conf]
Nienke den Haan Investigations into the Applications of Deontic Logic. [Citation Graph (0, 0)][DBLP] Executable Modal and Temporal Logics, 1993, pp:157-178 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP