2008 |
56 | | Matthew South,
Gerard Vreeswijk,
John Fox:
Dungine: A Java Dung Reasoner.
COMMA 2008: 360-368 |
55 | EE | Xiaoli Li,
John G. R. Jefferys,
John Fox,
Xin Yao:
Neuronal population oscillations of rat hippocampus during epileptic seizures.
Neural Networks 21(8): 1105-1111 (2008) |
2007 |
54 | EE | John Fox,
Robert Dunlop:
Careflow: Theory and Practice.
Business Process Management Workshops 2007: 321 |
53 | EE | John Fox,
David Glasspool,
Dan Grecu,
Sanjay Modgil,
Matthew South,
Vivek Patkar:
Argumentation-Based Inference and Decision Making--A Medical Perspective.
IEEE Intelligent Systems 22(6): 34-41 (2007) |
2006 |
52 | EE | Benjamin R. Jefferys,
Lawrence A. Kelley,
Marek J. Sergot,
John Fox,
Michael J. E. Sternberg:
Capturing expert knowledge with argumentation: a case study in bioinformatics.
Bioinformatics 22(8): 924-933 (2006) |
51 | EE | John Fox,
David Glasspool,
Sanjay Modgil:
A Canonical Agent Model for Healthcare Applications.
IEEE Intelligent Systems 21(6): 21-28 (2006) |
50 | EE | John Fox,
Pawel Gburzynski:
Special Issue on Voice Over IP - Theory and Practice.
Int. J. Communication Systems 19(4): 359-361 (2006) |
49 | EE | Martin Beveridge,
John Fox:
Automatic generation of spoken dialogue from medical plans and ontologies.
Journal of Biomedical Informatics: 482-499 (2006) |
2005 |
48 | EE | Mor Peleg,
Rory Steele,
Richard Thomson,
Vivek Patkar,
Tony Rose,
John Fox:
Open-Source Publishing of Medical Knowledge for Creation of Computer-Interpretable Guidelines.
AIME 2005: 156-160 |
47 | EE | Kirsty Bradbrook,
Graham Winstanley,
David Glasspool,
John Fox,
Richard N. Griffiths:
AI Planning Technology as a Component of Computerised Clinical Practice Guidelines.
AIME 2005: 171-180 |
46 | EE | John Fox,
Mohammad S. Obaidat:
International Journal of Communication Systems.
Int. J. Communication Systems 18(1): 1 (2005) |
2003 |
45 | EE | Rory Steele,
John Fox:
Enhancing Conventional Web Content with Intelligent Knowledge Processing.
AIME 2003: 142-151 |
44 | EE | Chris Hurt,
John Fox,
Jonathan Bury,
Vaskar Saha:
Computerised Advice on Drug Dosage Decisions in Childhood Leukaemia: A Method and a Safety Strategy.
AIME 2003: 158-162 |
43 | EE | David Glasspool,
John Fox,
Fortunato D. Castillo,
Victoria E. L. Monaghan:
Interactive Decision Support for Medical Planning.
AIME 2003: 335-339 |
42 | EE | Martin Beveridge,
John Fox,
David Milward:
Speech Interfaces for Point-of-Care Guideline Systems.
AIME 2003: 76-80 |
41 | EE | John Fox,
Martin Beveridge,
David Glasspool:
Understanding intelligent agents: analysis and synthesis.
AI Commun. 16(3): 139-152 (2003) |
40 | EE | John Fox:
Probability, logic and the cognitive foundations of rational belief.
J. Applied Logic 1(3-4): 197-224 (2003) |
2002 |
39 | | John Fox,
Peter McBurney:
Decision making by intelligent agents: logical argument, probabilistic inference and the maintenance of beliefs and acts.
NMR 2002: 293-301 |
2001 |
38 | EE | John Fox,
David Glasspool,
Jonathan Bury:
Quantitative and Qualitative Approaches to Reasoning under Uncertainty in Medical Decision Making.
AIME 2001: 272-282 |
37 | EE | Paul Taylor,
Eugenio Alberdi,
Richard Lee,
John Fox,
Margarita Sordo,
Andrew Todd-Pokropek:
Incorporating Image Processing in a Clinical Decision Support System.
IPMI 2001: 134-140 |
36 | EE | John Fox:
Designing Safety into Medical Decisions and Clinical Processes.
SAFECOMP 2001: 1-13 |
1998 |
35 | EE | Paul J. Krause,
John Fox,
Philip N. Judson,
Mukesh Patel:
Qualitative risk assessment fulfils a need.
Applications of Uncertainty Formalisms 1998: 138-156 |
34 | EE | John Fox,
Simon Parsons:
Arguing about beliefs and actions.
Applications of Uncertainty Formalisms 1998: 266-302 |
33 | | John Fox,
Nicky Johns,
Ali Rahmanzadeh:
Disseminating medical knowledge: the PROforma approach.
Artificial Intelligence in Medicine 14(1-2): 157-182 (1998) |
32 | | John Fox,
Richard Thomson:
Decision support and disease management: a logic engineering approach.
IEEE Transactions on Information Technology in Biomedicine 2(4): 217-228 (1998) |
1997 |
31 | | John Fox,
Nicky Johns,
Ali Rahmanzadeh:
Protocols for Medical Procedures and Therapies: A Provisional Description of the PROforma Language and Tools.
AIME 1997: 21-38 |
30 | | Subrata Kumar Das,
John Fox,
D. Elsdon,
Peter Hammond:
Decision Making and Plan Management by Autonomous Agents: Theory, Implementation and Applications.
Agents 1997: 276-283 |
29 | | Paul Taylor,
John Fox,
Andrew Todd-Pokropek:
A model for integrating image processing into decision aids for diagnostic radiology.
Artificial Intelligence in Medicine 9(3): 205-225 (1997) |
28 | | Subrata Kumar Das,
John Fox,
D. Elsdon,
Peter Hammond:
A flexible architecture for autonomous agents.
J. Exp. Theor. Artif. Intell. 9(4): 407-440 (1997) |
27 | EE | Christian A. G. Tonnelier,
John Fox,
Philip N. Judson,
Paul J. Krause,
N. Pappas,
Mukesh Patel:
Representation of Chemical Structures in Knowledge-Based Systems: The StAR System.
Journal of Chemical Information and Computer Sciences 37(1): 117-123 (1997) |
1996 |
26 | | Subrata Kumar Das,
John Fox,
Paul Krause:
A Unified Framework for Hypothetical and Practical Reasoning (1): Theoretical Foundations.
FAPR 1996: 58-72 |
25 | | Simon Parsons,
John Fox:
Argumentation and Decision Making: A Position Paper.
FAPR 1996: 705-709 |
24 | | John Fox,
Subrata Kumar Das:
A Unified Framework for Hypothetical and Practical Reasoning (2): Lessons from Medical Applications.
FAPR 1996: 73-92 |
23 | EE | Philip N. Judson,
John Fox,
Paul J. Krause:
Using New Reasoning Technology in Chemical Information Systems.
Journal of Chemical Information and Computer Sciences 36(4): 621-624 (1996) |
1995 |
22 | EE | Paul J. Krause,
John Fox,
Philip N. Judson:
Is There a Role for Qualitative Risk Assessment?
UAI 1995: 386-393 |
21 | | Jun Huang,
Nicholas R. Jennings,
John Fox:
Agent-based approach to health care management.
Applied Artificial Intelligence 9(4): 401-420 (1995) |
20 | | Paul Krause,
Simon Ambler,
Morten Elvang-Gøransson,
John Fox:
A Logic of Argumentation for Reasoning under Uncertainty.
Computational Intelligence 11: 113-131 (1995) |
1994 |
19 | | Jun Huang,
Nicholas R. Jennings,
John Fox:
Cooperation in Distributed Medcal Care.
CoopIS 1994: 255-263 |
18 | | Jun Huang,
Nicholas R. Jennings,
John Fox:
An Agent Architecture for Distributed Medical Care.
ECAI Workshop on Agent Theories, Architectures, and Languages 1994: 219-232 |
1993 |
17 | | Subrata Kumar Das,
John Fox:
A Logic for Reasoning about Safety in Decision Support Systems.
ECSQARU 1993: 79-84 |
16 | | Morten Elvang-Gøransson,
Paul Krause,
John Fox:
Acceptability of arguments as `logical uncertainty'.
ECSQARU 1993: 85-90 |
15 | EE | Morten Elvang-Gøransson,
Paul Krause,
John Fox:
Dialectic reasoning with inconsistent information.
UAI 1993: 114-121 |
14 | EE | John Fox,
Paul Krause,
Morten Elvang-Gøransson:
Argumentation as a General Framework for Uncertain Reasoning.
UAI 1993: 428-434 |
13 | | Philippe Besnard,
Yves Moinard,
Wilmer Pereira,
Michael Clarke,
Nic Wilson,
Miguel Delgado,
Serafín Moral,
Juan Cano,
Didier Dubois,
Henri Prade,
Luis Fariñas del Cerro,
Jérôme Lang,
Stéphane Amarger,
John Fox,
Paul Krause,
Michael Dohnal,
Christine Froidevaux,
Jérôme Mengin,
Ramon López de Mántaras,
Lluis Godo,
E. H. Mamdani,
John Bigham,
Simon Parsons,
Rudolf Kruse,
Olivier Paillet,
Pierre Siegel,
Philippe Smets,
Yen-Teh Hsia,
Alessandro Saffiotti,
Robert Kennes,
Hong Xu,
Elizabeth Umkehrer,
Kurt Sundermeyer,
Chris Whitney:
DRUMS: Defeasible Reasoning and Uncertainty Management Systems.
AI Commun. 6(1): 27-46 (1993) |
12 | EE | Paul Krause,
John Fox,
Mike O'Neil,
Andrzej J. Glowinski:
Can we Formally Specify a Medical Decision Support System?
IEEE Expert 8(3): 56-61 (1993) |
1992 |
11 | | John Fox,
Paul Krause,
Simon Ambler:
Arguments, Contradicitions and Practical Reasoning.
ECAI 1992: 623-627 |
10 | | Paul Krause,
Simon Ambler,
John Fox:
The Development of a "Logic of Argumentation".
IPMU 1992: 109-118 |
9 | | John Fox:
Logic Engineering and Clinical Dilemmas.
Logic Programming Summer School 1992: 100-108 |
1991 |
8 | | John Fox,
Paul Krause,
Mirko Dohnal:
An Extended Logic Language For Representing Belief.
ECSQARU 1991: 63-69 |
7 | EE | John Fox,
Paul Krause:
Decision Theory and Autonomous Systems.
UAI 1991: 103-110 |
1990 |
6 | | John Fox:
Motivation and Demotivation of a Four-Valued Logic.
Notre Dame Journal of Formal Logic 31(1): 76-80 (1990) |
1986 |
5 | | Christopher J. Rawlings,
W. R. Taylor,
J. Nyakairu,
John Fox,
Michael J. E. Sternberg:
Using Prolog to Represent and Reason about Protein Structure.
ICLP 1986: 536-543 |
1985 |
4 | | John Fox:
Judgement, Policy, and the Harmony Machine.
IJCAI 1985: 1284-1288 |
3 | EE | John Fox:
Three Arguments for Extending the Framework of Probability.
UAI 1985: 447-458 |
1981 |
2 | | John Fox:
Towards a Reconciliation of Fuzzy Logic and Standard Logic.
International Journal of Man-Machine Studies 15(2): 213-220 (1981) |
1977 |
1 | | John Fox:
Medical Computing and the User.
International Journal of Man-Machine Studies 9(6): 669-686 (1977) |