MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Michael Fisher – sorted by Relevance.

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

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

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

ATOM

Exploring the Future with Resource-Bounded Agents ∗ [INVITED CONTRIBUTION]
by Michael Fisher
…Exploring the Future with Resource-Bounded Agents ∗ [INVITED CONTRIBUTION] Michael Fisher (mfisher…
Add To MetaCart

Concurrent METATEM - A Language for Modelling Reactive Systems
by Michael Fisher — 1993 — In Parallel Architectures and Languages
…Concurrent METATEM --- A Language for Modelling Reactive Systems Michael Fisher ? Department…
Cited by 22 (14 self) – Add To MetaCart

A Normal Form for First-Order Temporal Formulae
by Michael Fisher — 1992 — In Proceedings of Eleventh International Conference on Automated Deduction (CADE
…A Normal Form for First-Order Temporal Formulae Michael Fisher * Department of Computer Science…
Cited by 25 (16 self) – Add To MetaCart

Towards a Semantics for Concurrent METATEM
by Michael Fisher — 1995 — Journal of Symbolic Computation
…Towards a Semantics for Concurrent METATEM Michael Fisher Abstract. Concurrent METATEM is a…
Cited by 15 (2 self) – Add To MetaCart

A Model Checker for Linear Time Temporal Logic
by Michael Fisher — 1992 — Formal Aspects of Computing
…A Model Checker for Linear Time Temporal Logic Michael Fisher * The TEMPLE Group Department…
Cited by 6 (1 self) – Add To MetaCart

Implementing Temporal Logics: Tools for Execution and Proof
by Michael Fisher — Proceedings of CLIMA VI, LNAI 3900
…Implementing Temporal Logics: Tools for Execution and Proof [EXTENDED ABSTRACT] Michael Fisher…
Cited by 1 (0 self) – Add To MetaCart

Agent Deliberation in an Executable Temporal Framework
by Michael Fisher
…Agent Deliberation in an Executable Temporal Framework Michael Fisher Department of Computer…
Add To MetaCart

A Resolution Method for Temporal Logic
by Michael Fisher — 1991 — In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI
…A Resolution Method for Temporal Logic Michael Fisher * Department of Computer Science University…
Cited by 59 (25 self) – Add To MetaCart

An Open Approach to Concurrent Theorem-Proving
by Michael Fisher — 1997 — Parallel Processing for Artificial Intelligence
…An Open Approach to Concurrent Theorem-Proving Michael Fisher Department of Computing Manchester…
Cited by 20 (2 self) – Add To MetaCart

A Survey of Concurrent METATEM - The Language and its Applications
by Michael Fisher — 1994 — Temporal Logic — Proceedings of the First International Conference (LNAI Volume 827
…A Survey of Concurrent METATEM --- The Language and its Applications Michael Fisher Department…
Cited by 89 (7 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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