John Fox

Paul J. Krause, John Fox, Philip N. Judson: Is There a Role for Qualitative Risk Assessment? CoRR abs/1302.4970 (2013)

Morten Elvang-Gøransson, Paul J. Krause, John Fox: Dialectic Reasoning with Inconsistent Information. CoRR abs/1303.1467 (2013)

John Fox, Paul J. Krause, Morten Elvang-Gøransson: Argumentation as a General Framework for Uncertain Reasoning. CoRR abs/1303.1505 (2013)

John Fox, Paul J. Krause: Symbolic Decision Theory and Autonomous Systems. CoRR abs/1303.5716 (2013)

John Fox: Strong & Weak Methods: A Logical View of Uncertainty. CoRR abs/1304.3448 (2013)

María Adela Grando, David Glasspool, John Fox: A formal approach to the analysis of clinical computer-interpretable guideline modeling languages. Artificial Intelligence in Medicine 54(1): 1-13 (2012)

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

John Fox: Safe, Sound and Ethical: Rolling Out the Intelligent Systems of the Future. ERCIM News 2011(84): 40-41 (2011)

John Fox: Formalizing knowledge and expertise: where have we been and where are we going? Knowledge Eng. Review 26(1): 5-10 (2011)

John Fox, David Glasspool, Vivek Patkar, Mark Austin, Liz Black, Matthew South, Dave Robertson, Charles Vincent: Delivering clinical decision support services: There is nothing as practical as a good theory. Journal of Biomedical Informatics 43(5): 831-843 (2010)

Elizabeth Black, David Glasspool, María Adela Grando, Vivek Patkar, John Fox: Goal-Based Decisions for Dynamic Planning. AIME 2009: 96-100

Dionisio Acosta, Vivek Patkar, Mo Keshtgar, John Fox: Challenges in Delivering Decision Support Systems: The MATE Experience. KR4HC 2009: 124-140

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)

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

Matthew South, Gerard Vreeswijk, John Fox: Dungine: A Java Dung Reasoner. COMMA 2008: 360-368

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)

John Fox, Robert Dunlop: Careflow: Theory and Practice. Business Process Management Workshops 2007: 321

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)

John Fox, Alyssa Alabassi, Vivek Patkar, Tony Rose, Elizabeth Black: An ontological approach to modelling tasks and goals. Comp. in Bio. and Med. 36(7-8): 837-856 (2006)

John Fox, David Glasspool, Sanjay Modgil: A Canonical Agent Model for Healthcare Applications. IEEE Intelligent Systems 21(6): 21-28 (2006)

John Fox, Pawel Gburzynski: Special Issue on Voice Over IP - Theory and Practice. Int. J. Communication Systems 19(4): 359-361 (2006)

Martin Beveridge, John Fox: Automatic generation of spoken dialogue from medical plans and ontologies. : 482-499 (2006)

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

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

John Fox, Mohammad S. Obaidat: International Journal of Communication Systems. Int. J. Communication Systems 18(1): 1 (2005)

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

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

John Fox, Martin Beveridge, David Glasspool: Understanding intelligent agents: analysis and synthesis. AI Commun. 16(3): 139-152 (2003)

Mor Peleg, Samson W. Tu, Jonathan Bury, Paolo Ciccarese, John Fox, Robert A. Greenes, Richard Hall, Peter D. Johnson, Neill Jones, Anand Kumar, Silvia Miksch, Silvana Quaglini, Andreas Seyfang, Edward H. Shortliffe, Mario Stefanelli: Research Paper: Comparing Computer-interpretable Guideline Models: A Case-study Approach. JAMIA 10(1): 52-68 (2003)

David R. Sutton, John Fox: Application of Information Technology: The Syntax and Semantics of the PROforma Guideline Modeling Language. JAMIA 10(5): 433-443 (2003)

John Fox: Probability, logic and the cognitive foundations of rational belief. J. Applied Logic 1(3-4): 197-224 (2003)

Martin Beveridge, John Fox, David Milward: Speech Interfaces for Point-of-Care Guideline Systems. AIME 2003: 76-80

Rory Steele, John Fox: Enhancing Conventional Web Content with Intelligent Knowledge Processing. AIME 2003: 142-151

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

David Glasspool, John Fox, Fortunato D. Castillo, Victoria E. L. Monaghan: Interactive Decision Support for Medical Planning. AIME 2003: 335-339

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

John Fox, David Glasspool, Jonathan Bury: Quantitative and Qualitative Approaches to Reasoning under Uncertainty in Medical Decision Making. AIME 2001: 272-282

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

John Fox: Designing Safety into Medical Decisions and Clinical Processes. SAFECOMP 2001: 1-13

John Fox, Subrata Kumar Das: Safe and sound - artificial intelligence in hazardous applications. MIT Press 2000, isbn 978-0-262-06211-4, pp. I-XXXII, 1-293

Paul Taylor, John Fox, Andrew Todd-Pokropek: The development and evaluation of CADMIUM: a prototype system to assist in the interpretation of mammograms. Medical Image Analysis 3(4): 321-337 (1999)

John Fox, Nicky Johns, Ali Rahmanzadeh: Disseminating medical knowledge: the PROforma approach. Artificial Intelligence in Medicine 14(1-2): 157-182 (1998)

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)

Paul J. Krause, John Fox, Philip N. Judson, Mukesh Patel: Qualitative risk assessment fulfils a need. Applications of Uncertainty Formalisms 1998: 138-156

John Fox, Simon Parsons: Arguing about beliefs and actions. Applications of Uncertainty Formalisms 1998: 266-302

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)

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)

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)

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

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

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)

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

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

Simon Parsons, John Fox: Argumentation and Decision Making: A Position Paper. FAPR 1996: 705-709

Jun Huang, Nicholas R. Jennings, John Fox: Agent-based approach to health care management. Applied Artificial Intelligence 9(4): 401-420 (1995)

Paul Krause, Simon Ambler, Morten Elvang-Gøransson, John Fox: A Logic of Argumentation for Reasoning under Uncertainty. Computational Intelligence 11: 113-131 (1995)

Paul J. Krause, John Fox, Philip N. Judson: Is There a Role for Qualitative Risk Assessment? UAI 1995: 386-393

Jun Huang, Nicholas R. Jennings, John Fox: Cooperation in Distributed Medcal Care. CoopIS 1994: 255-263

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

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)

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)

Subrata Kumar Das, John Fox: A Logic for Reasoning about Safety in Decision Support Systems. ECSQARU 1993: 79-84

Morten Elvang-Gøransson, Paul Krause, John Fox: Acceptability of arguments as `logical uncertainty'. ECSQARU 1993: 85-90

Morten Elvang-Gøransson, Paul Krause, John Fox: Dialectic reasoning with inconsistent information. UAI 1993: 114-121

John Fox, Paul Krause, Morten Elvang-Gøransson: Argumentation as a General Framework for Uncertain Reasoning. UAI 1993: 428-434

John Fox, Paul Krause, Simon Ambler: Arguments, Contradicitions and Practical Reasoning. ECAI 1992: 623-627

Paul Krause, Simon Ambler, John Fox: The Development of a "Logic of Argumentation". IPMU 1992: 109-118

John Fox: Logic Engineering and Clinical Dilemmas. Logic Programming Summer School 1992: 100-108

John Fox, Paul Krause, Mirko Dohnal: An Extended Logic Language For Representing Belief. ECSQARU 1991: 63-69

John Fox, Paul Krause: Decision Theory and Autonomous Systems. UAI 1991: 103-110

John Fox, Andrzej J. Glowinski, Colin Gordon, Saki Hajnal, Mike O'Neil: Logic engineering for knowledge engineering: design and implementation of the Oxford System of Medicine. Artificial Intelligence in Medicine 2(6): 323-339 (1990)

John Fox: Motivation and Demotivation of a Four-Valued Logic. Notre Dame Journal of Formal Logic 31(1): 76-80 (1990)

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

John Fox: Judgement, Policy, and the Harmony Machine. IJCAI 1985: 1284-1288

John Fox: Three Arguments for Extending the Framework of Probability. UAI 1985: 447-458

John Fox: Towards a Reconciliation of Fuzzy Logic and Standard Logic. International Journal of Man-Machine Studies 15(2): 213-220 (1981)

John Fox: Medical Computing and the User. International Journal of Man-Machine Studies 9(6): 669-686 (1977)