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

93 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

MetateM: The story so far
by Michael Fisher — 2005 — In Proc. 3rd International Workshop on Programming Multiagent Systems (ProMAS), volume 3862 of LNAI
…METATEM: The Story so Far Michael Fisher Department of Computer Science, University of Liverpool…
Cited by 10 (6 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

A Normal Form for Temporal Logic and its Application in Theorem-Proving and Execution
by Michael Fisher — 1997 — Journal of Logic and Computation
… Michael Fisher Department of Computing Manchester Metropolitan University Manchester M1 5GD, U.K. EMAIL: M.Fisher…
Cited by 41 (26 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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