WestminsterResearch

Items where Author is Fisher, Michael

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] RSSPD [feed] Atom
Group by: Date | Item Type | Creators | No Grouping
Number of items: 6.

Ashri, R

Ashri, Ronald and Luck, Michael and d'Inverno, Mark (2002) Infrastructure support for agent-based development. In: d'Inverno, Mark and Luck, Michael and Fisher, Michael and Preist, C., (eds.) Foundations and applications of multi-agent systems: UKMAS Workshops 1996-2000. Lecture notes in computer science (2403). Springer, Berlin, Germany, pp. 73-88. ISBN 3540439625

Bolotov, A

Bolotov, Alexander and Fisher, Michael and Dixon, Clare (2002) On the relationship between w-automata and temporal logic normal forms. Journal of Logic and Computation, 12 (4). pp. 561-581. ISSN 0955-792X

Bolotov, Alexander and Basukoski, Artie and Grigoriev, Oleg and Shangin, Vasilyi (2006) Natural deduction calculus for linear-time temporal logic. In: Fisher, Michael and van der Hoek, W. and Konev, B. and Lisitsa, A., (eds.) Logics in artificial intelligence: 10th European conference, JELIA 2006: Liverpool, UK September 13-15 2006: proceedings. Lecture notes in computer science. Lecture notes in artificial intelligence (4160). Springer, Berlin, Germany, pp. 56-68. ISBN 354039625X

Dixon, C

Dixon, Clare and Fisher, Michael and Bolotov, Alexander (2002) Clausal resolution in a logic of rational agency. Artificial Intelligence: an international journal, 139 (1). pp. 47-89. ISSN 0004-3702

Dixon, Clare and Bolotov, Alexander and Fisher, Michael (2005) Alternating automata and temporal logic normal forms. Annals of Pure and Applied Logic, 135 (1-3). pp. 263-285. ISSN 0168-0072

This list was generated on Wed Jul 30 18:36:59 2014 BST.