Clare Dixon
TitelGeciteerd doorJaar
Evidence for variable selective pressures at MC1R
RM Harding, E Healy, AJ Ray, NS Ellis, N Flanagan, C Todd, C Dixon, ...
The American Journal of Human Genetics 66 (4), 1351-1361, 2000
4162000
Clausal temporal resolution
M Fisher, C Dixon, M Peim
ACM Transactions on Computational Logic (TOCL) 2 (1), 12-56, 2001
2362001
Resolution for temporal logics of knowledge
C Dixon, M Fisher, M Wooldridge
Journal of Logic and Computation 8 (3), 345-372, 1998
1011998
On formal specification of emergent behaviours in swarm robotic systems
AFT Winfield, J Sa, MC Fernández-Gago, C Dixon, M Fisher
International journal of advanced robotic systems 2 (4), 39, 2005
872005
Analysing robot swarm behaviour via probabilistic model checking
S Konur, C Dixon, M Fisher
Robotics and Autonomous Systems 60 (2), 199-213, 2012
832012
A tableau-based proof method for temporal logics of knowledge and belief
M Wooldridge, C Dixon, M Fisher
Journal of applied non-classical logics 8 (3), 225-258, 1998
691998
Towards temporal verification of swarm robotic systems
C Dixon, AFT Winfield, M Fisher, C Zeng
Robotics and Autonomous Systems 60 (11), 1429-1441, 2012
512012
Temporal resolution using a breadth-first search algorithm
C Dixon
Annals of Mathematics and Artificial Intelligence 22 (1-2), 87-115, 1998
481998
Search strategies for resolution in temporal logics
C Dixon
International Conference on Automated Deduction, 673-687, 1996
481996
Mechanising first-order temporal resolution
B Konev, A Degtyarev, C Dixon, M Fisher, U Hustadt
Information and Computation 199 (1-2), 55-86, 2005
462005
Combinations of modal logics
B Bennett, C Dixon, M Fisher, U Hustadt, E Franconi, I Horrocks, ...
Artificial Intelligence Review 17 (1), 1-20, 2002
432002
Using temporal logics of knowledge in the formal verification of security protocols
C Dixon, MCF Gago, M Fisher, W Van Der Hoek
Proceedings. 11th International Symposium on Temporal Representation and …, 2004
422004
Expression, candidate gene, and population studies of the melanocortin 5 receptor
N Hatta, C Dixon, AJ Ray, SR Phillips, WJ Cunliffe, M Dale, C Todd, ...
Journal of investigative dermatology 116 (4), 564-570, 2001
392001
Formal verification of an autonomous personal robotic assistant
M Webster, C Dixon, M Fisher, M Salem, J Saunders, KL Koay, ...
2014 AAAI Spring Symposium Series, 2014
332014
Toward reliable autonomous robotic assistants through formal verification: A case study
M Webster, C Dixon, M Fisher, M Salem, J Saunders, KL Koay, ...
IEEE Transactions on Human-Machine Systems 46 (2), 186-196, 2015
322015
Normal forms and proofs in combined modal and temporal logics
U Hustadt, C Dixon, RA Schmidt, M Fisher
International Workshop on Frontiers of Combining Systems, 73-87, 2000
322000
Tractable Temporal Reasoning.
C Dixon, M Fisher, B Konev
IJCAI 7, 318-323, 2007
312007
An intelligent process model: predicting springback in single point incremental forming
MS Khan, F Coenen, C Dixon, S El-Salhi, M Penalva, A Rivero
The International Journal of Advanced Manufacturing Technology 76 (9-12 …, 2015
302015
Temporal logics of knowledge and their applications in security
C Dixon, MCF Gago, M Fisher, W van der Hoek
Electronic Notes in Theoretical Computer Science 186, 27-42, 2007
302007
Formal specification and verification of autonomous robotic systems: A survey
M Luckcuck, M Farrell, LA Dennis, C Dixon, M Fisher
ACM Computing Surveys (CSUR) 52 (5), 1-41, 2019
272019
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20