Clare Dixon

Viittaukset

	Kaikki	2016 lähtien
Sitaatit	2122	693
h-indeksi	24	13
i10-indeksi	56	18

220

110

165

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020219 12 13 25 43 30 65 54 68 121 95 101 77 87 63 81 92 96 102 130 129 82 121 146 201 13

Muut kirjoittajat

Michael FisherProfessor of Computer Science, University of ManchesterVahvistettu sähköpostiosoite verkkotunnuksessa manchester.ac.uk
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolVahvistettu sähköpostiosoite verkkotunnuksessa liverpool.ac.uk
Boris KonevProfessor of Computer Science, Liverpool UniversityVahvistettu sähköpostiosoite verkkotunnuksessa liverpool.ac.uk
Carmen Fernandez GagoUniversity of Malaga (Spain)Vahvistettu sähköpostiosoite verkkotunnuksessa lcc.uma.es
Louise DennisDepartment of Computer Science, University of ManchesterVahvistettu sähköpostiosoite verkkotunnuksessa manchester.ac.uk
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupVahvistettu sähköpostiosoite verkkotunnuksessa liverpool.ac.uk
Renate A SchmidtSchool of Computer Science, The University of ManchesterVahvistettu sähköpostiosoite verkkotunnuksessa cs.man.ac.uk
Frans CoenenProfessor in Computer Science, University of Liverpool, Data Mining and Machine Learning GroupVahvistettu sähköpostiosoite verkkotunnuksessa liverpool.ac.uk
Michael WooldridgeUniversity of OxfordVahvistettu sähköpostiosoite verkkotunnuksessa cs.ox.ac.uk
Mark ReynoldsProfessor of Computer Science, University of Western AustraliaVahvistettu sähköpostiosoite verkkotunnuksessa uwa.edu.au
John-Jules MeyerUtrecht University / Emotional Brain BVVahvistettu sähköpostiosoite verkkotunnuksessa cs.uu.nl
Enrico FranconiProfessor of Computer Science, KRDB, Free University of Bozen-BolzanoVahvistettu sähköpostiosoite verkkotunnuksessa inf.unibz.it
Dmitry TishkovskyResearch Fellow, School of Computer Science, University of ManchesterVahvistettu sähköpostiosoite verkkotunnuksessa manchester.ac.uk

Clare Dixon

University of Liverpool;

Vahvistettu sähköpostiosoite verkkotunnuksessa liverpool.ac.uk

Artificial Intelligence Formal Methods Verification Automated Reasoning


Nimike Lajittele sitaattien mukaan Lajittele vuoden mukaan Lajittele otsikon mukaan	Viittaukset Viittaukset	Vuosi
Clausal temporal resolution M Fisher, C Dixon, M Peim ACM Transactions on Computational Logic (TOCL) 2 (1), 12-56, 2001	238	2001
Resolution for temporal logics of knowledge C Dixon, M Fisher, M Wooldridge Journal of Logic and Computation 8 (3), 345-372, 1998	98	1998
Analysing robot swarm behaviour via probabilistic model checking S Konur, C Dixon, M Fisher Robotics and Autonomous Systems 60 (2), 199-213, 2012	96	2012
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	95	2005
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	72	2019
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	69	1998
Towards temporal verification of swarm robotic systems C Dixon, AFT Winfield, M Fisher, C Zeng Robotics and Autonomous Systems 60 (11), 1429-1441, 2012	60	2012
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	48	2015
Mechanising first-order temporal resolution B Konev, A Degtyarev, C Dixon, M Fisher, U Hustadt Information and Computation 199 (1-2), 55-86, 2005	46	2005
Search strategies for resolution in temporal logics C Dixon International Conference on Automated Deduction, 673-687, 1996	46	1996
Temporal resolution using a breadth-first search algorithm C Dixon Annals of Mathematics and Artificial Intelligence 22 (1-2), 87-115, 1998	45	1998
Formal verification of an autonomous personal robotic assistant M Webster, M Salem, C Dixon, M Fisher, K Dautenhahn AIAA, 2014	42	2014
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	42	2004
Combinations of modal logics B Bennett, C Dixon, M Fisher, U Hustadt, E Franconi, I Horrocks, ... Artificial Intelligence Review 17 (1), 1-20, 2002	42	2002
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	36	2015
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	32	2007
Tractable Temporal Reasoning. C Dixon, M Fisher, B Konev IJCAI 7, 318-323, 2007	31	2007
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	30	2000
Clausal resolution for normal modal logics C Nalon, C Dixon Journal of Algorithms 62 (3-4), 117-134, 2007	29	2007
Clausal resolution in a logic of rational agency C Dixon, M Fisher, A Bolotov Artificial Intelligence 139 (1), 47-89, 2002	28	2002

Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.

Artikkelit 1–20

Sitaatteja vuodessa

Päällekkäiset lähteet

Yhdistetyt sitaatit

Lisää muut kirjoittajatMuut kirjoittajat

Lähetä PDF

Seuraa tätä tekijää

Viittaukset

Muut kirjoittajat