Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Kellett, A.
and
Fisher, M.
1997.
Automata representations for Concurrent METATEM.
p.
12.
Fisher, Michael
1997.
Formal Methods for Open Object-based Distributed Systems.
p.
439.
Wooldridge, Michael
1997.
Cooperative Information Agents.
Vol. 1202,
Issue. ,
p.
1.
Kellett, Adam
and
Fisher, Michael
1997.
Coordination Languages and Models.
Vol. 1282,
Issue. ,
p.
418.
Fisher, Michael
1997.
Intelligent Agents III Agent Theories, Architectures, and Languages.
Vol. 1193,
Issue. ,
p.
65.
Fisher, Michael
1999.
Intelligent Agents V: Agents Theories, Architectures, and Languages.
Vol. 1555,
Issue. ,
p.
227.
Feng Chen
Miao Li
and
Tingjian Fang
2000.
A research and application of mechanism of multi-agent cooperative inference.
Vol. 1,
Issue. ,
p.
250.
de Boer, F.S.
Gabbrielli, M.
and
Meo, M.C.
2000.
A Timed Concurrent Constraint Language.
Information and Computation,
Vol. 161,
Issue. 1,
p.
45.
Wooldridgey, Michael
and
Ciancarini, Paolo
2001.
Agent-Oriented Software Engineering.
Vol. 1957,
Issue. ,
p.
1.
de Boer, F.S.
Gabbrielli, M.
and
Meo, M.C.
2001.
A temporal logic for reasoning about timed concurrent constraint programs.
p.
227.
de Boer, Frank S.
Gabbrielli, Maurizio
and
Meo, Maria Chiara
2002.
Foundations of Software Science and Computation Structures.
Vol. 2303,
Issue. ,
p.
37.
Kellett, Adam
and
Fisher, Michael
2002.
Agent-Based Defeasible Control in Dynamic Environments.
p.
99.
Degtyarev, Anatoli
Fisher, Michael
and
Konev, Boris
2002.
Automated Reasoning with Analytic Tableaux and Related Methods.
Vol. 2381,
Issue. ,
p.
85.
Fisher, Michael
Ghidini, Chiara
and
Hirsch, Benjamin
2004.
Computational Logic in Multi-Agent Systems.
Vol. 3259,
Issue. ,
p.
16.
Hirsch, Benjamin
Fisher, Michael
Ghidini, Chiara
and
Busetta, Paolo
2005.
Computational Logic in Multi-Agent Systems.
Vol. 3487,
Issue. ,
p.
265.
Clancy, Dan
and
Kuipers, Benjamin
2005.
Vol. 1,
Issue. ,
p.
655.
Fisher, Michael
2005.
Temporal Development Methods for Agent-Based.
Autonomous Agents and Multi-Agent Systems,
Vol. 10,
Issue. 1,
p.
41.
Konev, Boris
Degtyarev, Anatoli
Dixon, Clare
Fisher, Michael
and
Hustadt, Ullrich
2005.
Mechanising first-order temporal resolution.
Information and Computation,
Vol. 199,
Issue. 1-2,
p.
55.
Fisher, Michael
2006.
Programming Multi-Agent Systems.
Vol. 3862,
Issue. ,
p.
3.
Fisher, Michael
2006.
Computational Logic in Multi-Agent Systems.
Vol. 3900,
Issue. ,
p.
129.