Using Prolog to Represent and Reason about Protein Structure. - Christopher J. Rawlings; W. R. Taylor; J. Nyakairu; John Fox 001; Michael J. E. Sternberg (ICLP, 1986)

Responses to "An AI view of the treatment of uncertainty" by Alessandro Saffiotti. - Dominic A. Clark; Jim F. Baldwin; Hamid R. Berenji; Paul R. Cohen; Didier Dubois; John Fox 001; John F. Lemmer; Henri Prade; David J. Spiegelhalter; Philippe Smets; Lotfi A. Zadeh (Knowl. Eng. Rev., 1988)

Design of a generic information system and its application to Primary Care. - Andrzej J. Glowinski; Mike O'Neil; John Fox 001 (AIME, 1989)

A symbolic theory of decision-making applied to several medical tasks. - Mike O'Neil; Andrzej J. Glowinski; John Fox 001 (AIME, 1989)

Logic engineering for knowledge engineering: design and implementation of the Oxford System of Medicine. - John Fox 001; Andrzej J. Glowinski; Colin Gordon; Saki Hajnal; Mike O'Neil (Artif. Intell. Medicine, 1990)

Using predicate logic to integrate qualitative reasoning and classical decision theory. - John Fox 001; Dominic A. Clark; Andrzej J. Glowinski; Michael J. O'Neil (IEEE Trans. Syst. Man Cybern., 1990)

An Extended Logic Language For Representing Belief. - John Fox 001; Paul J. Krause; Mirko Dohnal (ECSQARU, 1991)

Decision Theory and Autonomous Systems. - John Fox 001; Paul J. Krause (UAI, 1991)

Arguments, Contradicitions and Practical Reasoning. - John Fox 001; Paul J. Krause; Simon Ambler (ECAI, 1992)

The Development of a "Logic of Argumentation". - Paul J. Krause; Simon Ambler; John Fox 001 (IPMU, 1992)

Qualitative frameworks for decision support: lessons from medicine. - John Fox 001; Paul J. Krause (Knowl. Eng. Rev., 1992)

A Logic for Reasoning about Safety in Decision Support Systems. - Subrata Kumar Das; John Fox 001 (ECSQARU, 1993)

Acceptability of arguments as 'logical uncertainty'. - Morten Elvang-Gøransson; Paul J. Krause; John Fox 001 (ECSQARU, 1993)

Dialectic reasoning with inconsistent information. - Morten Elvang-Gøransson; Paul J. Krause; John Fox 001 (UAI, 1993)

Argumentation as a General Framework for Uncertain Reasoning. - John Fox 001; Paul J. Krause; Morten Elvang-Gøransson (UAI, 1993)

DRUMS: Defeasible Reasoning and Uncertainty Management Systems. - Philippe Besnard; Yves Moinard; Wilmer Pereira; Michael Clarke; Nic Wilson; Miguel Delgado 001; Serafín Moral; Juan Cano; Didier Dubois; Henri Prade; Luis Fariñas del Cerro; Jérôme Lang; et al. (AI Commun., 1993)

On the soundness and safety of expert systems. - John P. Fox 001 (Artif. Intell. Medicine, 1993)

Symbolic decision support in medical care. - Jiandong Huang; John P. Fox 001; C. Gordon; Andrew David Jackson-Smale (Artif. Intell. Medicine, 1993)

Can we Formally Specify a Medical Decision Support System? - Paul J. Krause; John Fox 001; Mike O'Neil; Andrzej J. Glowinski (IEEE Expert, 1993)

Cooperation in Distributed Medcal Care. - Jun Huang; Nicholas R. Jennings; John Fox 001 (CoopIS, 1994)

An Agent Architecture for Distributed Medical Care. - Jun Huang; Nicholas R. Jennings; John Fox 001 (ECAI Workshop on Agent Theories, Architectures, and Languages, 1994)

Artificial intellugence and knowledge based systems in molecular biology. - John Fox 001; Christopher J. Rawlings (Knowl. Eng. Rev., 1994)

Is There a Role for Qualitative Risk Assessment? - Paul J. Krause; John Fox 001; Philip N. Judson (UAI, 1995)

Agent-based approach to health care management. - Jun Huang; Nicholas R. Jennings; John Fox 001 (Appl. Artif. Intell., 1995)

A Logic of Argumentation for Reasoning under Uncertainty. - Paul J. Krause; Simon Ambler; Morten Elvang-Gøransson; John Fox 001 (Comput. Intell., 1995)

Knowledge representation and reasoning: The view from cognitive psychology. - John Fox 001; Paul J. Krause (Knowl. Eng. Rev., 1995)

A Unified Framework for Hypothetical and Practical Reasoning (1): Theoretical Foundations. - Subrata Kumar Das; John Fox 001; Paul J. Krause (FAPR, 1996)

A Unified Framework for Hypothetical and Practical Reasoning (2): Lessons from Medical Applications. - John Fox 001; Subrata Kumar Das (FAPR, 1996)

Argumentation and Decision Making: A Position Paper. - Simon Parsons; John Fox 001 (FAPR, 1996)

A Systematic Methodology for Cognitive Modelling. - Richard P. Cooper 002; John P. Fox 001; Jonny Farringdon; Tim Shallice (Artif. Intell., 1996)

Using New Reasoning Technology in Chemical Information Systems. - Philip N. Judson; John Fox 001; Paul J. Krause (J. Chem. Inf. Comput. Sci., 1996)

Decision Making and Plan Management by Autonomous Agents: Theory, Implementation and Applications. - Subrata Kumar Das; John Fox 001; D. Elsdon; Peter Hammond (Agents, 1997)

Protocols for Medical Procedures and Therapies: A Provisional Description of the PROforma Language and Tools. - John Fox 001; Nicky Johns; Ali Rahmanzadeh (AIME, 1997)

A model for integrating image processing into decision aids for diagnostic radiology. - Paul Taylor; John Fox 001; Andrew Todd-Pokropek (Artif. Intell. Medicine, 1997)

Representation of Chemical Structures in Knowledge-Based Systems: The StAR System. - Christian A. G. Tonnelier; John Fox 001; Philip N. Judson; Paul J. Krause; Nicola Pappas; Mukesh Patel (J. Chem. Inf. Comput. Sci., 1997)

A flexible architecture for autonomous agents. - Subrata Kumar Das; John Fox 001; D. Elsdon; Peter Hammond (J. Exp. Theor. Artif. Intell., 1997)

Arguing about beliefs and actions. - John Fox 001; Simon Parsons (Applications of Uncertainty Formalisms, 1998)

Qualitative risk assessment fulfils a need. - Paul J. Krause; John Fox 001; Philip N. Judson; Mukesh Patel (Applications of Uncertainty Formalisms, 1998)

Evaluation of a Decision Aid for the Classification of Microcalcifictions. - Paul Taylor; John Fox 001; Andrew Todd-Pokropek (Digital Mammography / IWDM, 1998)

Disseminating medical knowledge: the PROforma approach. - John Fox 001; Nicky Johns; Ali Rahmanzadeh (Artif. Intell. Medicine, 1998)

Decision support and disease management: a logic engineering approach. - John Fox 001; Richard Thomson (IEEE Trans. Inf. Technol. Biomed., 1998)

The development and evaluation of CADMIUM: a prototype system to assist in the interpretation of mammograms. - Paul Taylor; John Fox 001; Andrew Todd-Pokropek (Medical Image Anal., 1999)

Safe and sound - artificial intelligence in hazardous applications. - John Fox 001; Subrata Kumar Das (MIT Press, 2000)

CADMIUM II: acquisition and representation of radiological knowledge for computerized decision support in mammography. - Eugenio Alberdi; Paul Taylor; Richard Lee 001; John Fox 001; Margarita Sordo; Andrew Todd-Pokropek (AMIA, 2000)

A quality and safety framework for point-of-care clinical guidelines. - John Fox 001; Jonathan Bury (AMIA, 2000)

The PROforma Guideline Specification Language: Progress and Prospects. - Jonathan Bury; John Fox 001; David R. Sutton (EWGLP, 2000)

CADMIUM II: combining image processing and symbolic reasoning for computer-aided diagnosis. - Paul Taylor; Eugenio Alberdi; Richard Lee 001; John Fox 001; Margarita Sordo; Andrew Todd-Pokropek (Image Processing, 2000)

Quantitative and Qualitative Approaches to Reasoning under Uncertainty in Medical Decision Making. - John Fox 001; David Glasspool; Jonathan Bury (AIME, 2001)

Supporting "Scenarios" in the PROforma Guideline Modelling Format. - Jonathan Bury; Vaskar Saha; John Fox 001 (AMIA, 2001)

Publets: clinical judgement on the web. - John Fox 001; Jonathan Bury; Michael Humber; Ali Rahmanzadeh; Richard Thomson (AMIA, 2001)

REACT - A Decision-support System for Medical Planning. - David Glasspool; John Fox 001 (AMIA, 2001)

OpenClinical: Promoting Knowledge Management for Patient Care. - Richard Thomson; John Fox 001 (AMIA, 2001)

Incorporating Image Processing in a Clinical Decision Support System. - Paul Taylor; Eugenio Alberdi; Richard Lee 001; John Fox 001; Margarita Sordo; Andrew Todd-Pokropek (IPMI, 2001)

Integrating Decision Support with Electronic Referrals. - Jonathan Bury; Michael Humber; Robert Dunlop; John Fox 001 (MedInfo, 2001)

Risk Assessment in Genetics: A Semi-quantitative Approach. - David Glasspool; John Fox 001; Andrew S. Coulson; Jon Emery (MedInfo, 2001)

Medical Decision Support via the Internet: PROforma and Solo. - Michael Humber; Huon Butterworth; John Fox 001; Richard Thomson (MedInfo, 2001)

Combining Decision Support and Image Processing: A PROforma Model. - Margarita Sordo; John Fox 001; Christian Blum 001; Paul Taylor; Richard Lee 001; Eugenio Alberdi (MedInfo, 2001)

LISA: A Clinical Information and Decision Support System for Childhood Acute Lymphoblastic Leukaemia. - Jonathan Bury; Chris Hurt; C. Bateman; Sharanjeet Atwal; K. Riddy; John Fox 001; Vaskar Saha (AMIA, 2002)

Clinical decision support systems: a discussion of quality, safety and legal liability issues. - John Fox 001; Richard Thomson (AMIA, 2002)

Decision making by intelligent agents: logical argument, probabilistic inference and the maintenance of beliefs and acts. - John Fox 001; Peter McBurney (NMR, 2002)

Speech Interfaces for Point-of-Care Guideline Systems. - Martin Beveridge; John Fox 001; David Milward (AIME, 2003)

Interactive Decision Support for Medical Planning. - David Glasspool; John Fox 001; Fortunato D. Castillo; Victoria E. L. Monaghan (AIME, 2003)

Computerised Advice on Drug Dosage Decisions in Childhood Leukaemia: A Method and a Safety Strategy. - Chris Hurt; John Fox 001; Jonathan Bury; Vaskar Saha (AIME, 2003)

Enhancing Conventional Web Content with Intelligent Knowledge Processing. - Rory Steele; John Fox 001 (AIME, 2003)

Understanding intelligent agents: analysis and synthesis. - John Fox 001; Martin Beveridge; David Glasspool (AI Commun., 2003)

Research Paper: Comparing Computer-interpretable Guideline Models: A Case-study Approach. - Mor Peleg; Samson W. Tu; Jonathan Bury; Paolo Ciccarese; John Fox 001; Robert A. Greenes; Richard W. Hall; Peter D. Johnson 001; Neill Jones; Anand Kumar; Silvia Miksch; Silvana Quaglini; et al. (J. Am. Medical Informatics Assoc., 2003)

Application of Information Technology: The Syntax and Semantics of the PROforma Guideline Modeling Language. - David R. Sutton; John Fox 001 (J. Am. Medical Informatics Assoc., 2003)

Modelling Clinical Goals: a Corpus of Examples and a Tentative Ontology. - John Fox 001; Alyssa Alabassi; Elizabeth Black; Chris Hurt; Tony Rose (CGP, 2004)

A quantitative and qualitative evaluation of LISA, a decision support system for chemotherapy dosing in childhood Acute Lymphoblastic Leukaemia. - Jonathan Bury; Chris Hurt; Anindita Roy; Mike Bradburn; Simon S. Cross; John Fox 001; Vaskar Saha (MedInfo, 2004)

Computational Models of Rhetorical Argument. - Jim Crosswhite; John Fox 001; Chris Reed 001; Theodore Scaltsas; Simone Stumpf (Argumentation Machines, 2004)

AI Planning Technology as a Component of Computerised Clinical Practice Guidelines. - Kirsty Bradbrook; Graham Winstanley; David Glasspool; John Fox 001; Richard N. Griffiths (AIME, 2005)

Open-Source Publishing of Medical Knowledge for Creation of Computer-Interpretable Guidelines. - Mor Peleg; Rory Steele; Richard Thomson; Vivek Patkar; Tony Rose; John Fox 001 (AIME, 2005)

Towards a General Model for Argumentation Services. - John Fox 001; Liz Black; David Glasspool; Sanjay Modgil; Ayelet Oettinger; Vivek Patkar; Matthew Williams 001 (AAAI Spring Symposium: Argumentation for Consumers of Healthcare, 2006)

Argumentation in Decision Support for Medical Care Planning for Patients and Clinicians. - David Glasspool; John Fox 001; Ayelet Oettinger; James Smith-Spark (AAAI Spring Symposium: Argumentation for Consumers of Healthcare, 2006)

Capturing expert knowledge with argumentation: a case study in bioinformatics. - Benjamin R. Jefferys; Lawrence A. Kelley; Marek J. Sergot; John Fox 001; Michael J. E. Sternberg (Bioinform., 2006)

An ontological approach to modelling tasks and goals. - John Fox 001; Alyssa Alabassi; Vivek Patkar; Tony Rose; Elizabeth Black (Comput. Biol. Medicine, 2006)

A Canonical Agent Model for Healthcare Applications. - John Fox 001; David Glasspool; Sanjay Modgil (IEEE Intell. Syst., 2006)

Automatic generation of spoken dialogue from medical plans and ontologies. - Martin Beveridge; John Fox 001 (J. Biomed. Informatics, 2006)

From Arguments to Decisions: Extending the Toulmin View. - John Fox 001; Sanjay Modgil (Arguing on the Toulmin Model, 2006)

Careflow: Theory and Practice. - John Fox 001; Robert Dunlop (Business Process Management Workshops, 2007)

Argumentation-Based Inference and Decision Making–A Medical Perspective. - John Fox 001; David Glasspool; Dan Grecu; Sanjay Modgil; Matthew South; Vivek Patkar (IEEE Intell. Syst., 2007)

From Guidelines to Careflows: Modelling and Supporting Complex Clinical Processes. - John Fox 001; Elizabeth Black; Ioannis Chronakis; Robert Dunlop; Vivek Patkar; Matthew South; Richard Thomson (Computer-based Medical Guidelines and Protocols, 2008)

Clinical Guidelines and Care Pathways: A Case Study Applying PROforma Decision Support Technology to the Breast Cancer Care Pathway. - Vivek Patkar; John Fox 001 (Computer-based Medical Guidelines and Protocols, 2008)

Petri Nets as a Formalism for Comparing Expressiveness of Workflow-Based Clinical Guideline Languages. - María Adela Grando; David Glasspool; John Fox 001 (Business Process Management Workshops, 2008)

Dungine: A Java Dung Reasoner. - Matthew South; Gerard Vreeswijk; John Fox 001 (COMMA, 2008)

Neuronal population oscillations of rat hippocampus during epileptic seizures. - Xiaoli Li 002; John G. R. Jefferys; John Fox 001; Xin Yao 001 (Neural Networks, 2008)

Challenges in Delivering Decision Support Systems: The MATE Experience. - Dionisio Acosta; Vivek Patkar; Mo Keshtgar; John Fox 001 (KR4HC, 2009)

Goal-Based Decisions for Dynamic Planning. - Elizabeth Black; David Glasspool; María Adela Grando; Vivek Patkar; John Fox 001 (AIME, 2009)

A Guardian Agent Approach to Safety in Medical Multi-agent Systems. - S. Modgil; John P. Fox 001 (Safety and Security in Multiagent Systems, 2009)

Delivering clinical decision support services: There is nothing as practical as a good theory. - John Fox 001; David Glasspool; Vivek Patkar; Mark Austin; Liz Black; Matthew South; Dave Robertson 001; Charles Vincent (J. Biomed. Informatics, 2010)

Survival Prediction and Treatment Recommendation with Bayesian Techniques in Lung Cancer. - Mustafa Sesen; Timor Kadir; René Bañares-Alcántara; John Fox 001; Michael Brady 001 (AMIA, 2012)

Lung Cancer Assistant: an Ontology-Driven, Online Decision Support Prototype. - M. Berkan Sesen; René Bañares-Alcántara; John Fox 001; Timor Kadir; J. Michael Brady (OWLED, 2012)

A formal approach to the analysis of clinical computer-interpretable guideline modeling languages. - María Adela Grando; David Glasspool; John Fox 001 (Artif. Intell. Medicine, 2012)

An Agent-Oriented Approach to Support Multidisciplinary Care Decisions. - Liang Xiao 006; John Fox 001; Hong Zhu 002 (ECBS-EERC, 2013)

Symbolic Decision Theory and Autonomous Systems - John Fox 001; Paul J. Krause (CoRR, 2013)

OpenClinical.net: A platform for creating and sharing knowledge and promoting best practice in healthcare. - John Fox 001; Marc Gutenstein; Omar Khan; Matthew South; Richard Thomson (Comput. Ind., 2015)

A Distributed Decision Support Architecture for the Diagnosis and Treatment of Breast Cancer. - Liang Xiao 006; John Fox 001 (HIS, 2016)

Goal Modelling in Clinical Decision Support. - Liang Xiao 006; John Fox 001 (RE Workshops, 2016)

A knowledge model and its application to agent-oriented clinical decision support. - Liang Xiao 006; John Fox 001 (CISP-BMEI, 2017)

Towards an Agent-Oriented Framework for Multidisciplinary Decision Support and Its Application to Triple Assessment of Breast Cancer. - Liang Xiao 006; John Fox 001 (COMPSAC (1), 2017)

Cognitive systems at the point of care: The CREDO program. - John Fox 001 (J. Biomed. Informatics, 2017)

A Group Decision Description Language and its Clinical Application. - Liang Xiao 006; Kanyi Hu; John Fox 001 (WSSE, 2021)