Browse by People

Up a level
Export as [feed] RSS [feed] RSSPD
Group by: Item Type | No Grouping
Number of items: 3.

Dixon, Clare, 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

Bolotov, Alexander, 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

Dixon, Clare, 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

This list was generated on Sat May 28 23:40:50 2016 BST.