John Fox

According to our database1, John Fox authored at least 131 papers between 1977 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
The deployment of an IoT network infrastructure, as a localised regional service.
Proceedings of the 5th IEEE World Forum on Internet of Things, 2019


2018
Evidence and Argument: A Cognitive View.
Comput. Sci. Eng., 2018

2017
Cognitive systems at the point of care: The CREDO program.
J. Biomed. Informatics, 2017

EMG-based energy expenditure optimization for active prosthetic leg tuning.
Proceedings of the 2017 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2017

Towards an Agent-Oriented Framework for Multidisciplinary Decision Support and Its Application to Triple Assessment of Breast Cancer.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

A knowledge model and its application to agent-oriented clinical decision support.
Proceedings of the 10th International Congress on Image and Signal Processing, 2017

2016
Goal Modelling in Clinical Decision Support.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

10.1 A pin-efficient 20.83Gb/s/wire 0.94pJ/bit forwarded clock CNRZ-5-coded SerDes up to 12mm for MCM packages in 28nm CMOS.
Proceedings of the 2016 IEEE International Solid-State Circuits Conference, 2016

A Distributed Decision Support Architecture for the Diagnosis and Treatment of Breast Cancer.
Proceedings of the Health Information Science - 5th International Conference, 2016

2015
OpenClinical.net: A platform for creating and sharing knowledge and promoting best practice in healthcare.
Comput. Ind., 2015

2014
26.3 A pin- and power-efficient low-latency 8-to-12Gb/s/wire 8b8w-coded SerDes link for high-loss channels in 40nm technology.
Proceedings of the 2014 IEEE International Conference on Solid-State Circuits Conference, 2014

2013
Strong & Weak Methods: A Logical View of Uncertainty
CoRR, 2013

Symbolic Decision Theory and Autonomous Systems
CoRR, 2013

An Agent-Oriented Approach to Support Multidisciplinary Care Decisions.
Proceedings of the 3rd Eastern European Regional Conference on the Engineering of Computer Based Systems, 2013

2012
A formal approach to the analysis of clinical computer-interpretable guideline modeling languages.
Artif. Intell. Medicine, 2012

Lung Cancer Assistant: an Ontology-Driven, Online Decision Support Prototype.
Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

Survival Prediction and Treatment Recommendation with Bayesian Techniques in Lung Cancer.
Proceedings of the AMIA 2012, 2012

2011
Formalizing knowledge and expertise: where have we been and where are we going?
Knowl. Eng. Rev., 2011

Safe, Sound and Ethical: Rolling Out the Intelligent Systems of the Future.
ERCIM News, 2011

2010
Delivering clinical decision support services: There is nothing as practical as a good theory.
J. Biomed. Informatics, 2010

2009
Visualizing hypothesis tests in multivariate linear models: the <i>heplots</i> package for R.
Comput. Stat., 2009

Goal-Based Decisions for Dynamic Planning.
Proceedings of the Artificial Intelligence in Medicine, 2009

Challenges in Delivering Decision Support Systems: The MATE Experience.
Proceedings of the Knowledge Representation for Health-Care: Data, 2009

2008
Neuronal population oscillations of rat hippocampus during epileptic seizures.
Neural Networks, 2008

Dungine: A Java Dung Reasoner.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2008, 2008

Petri Nets as a Formalism for Comparing Expressiveness of Workflow-Based Clinical Guideline Languages.
Proceedings of the Business Process Management Workshops, 2008

Clinical Guidelines and Care Pathways: A Case Study Applying PROforma Decision Support Technology to the Breast Cancer Care Pathway.
Proceedings of the Computer-based Medical Guidelines and Protocols: A Primer and Current Trends, 2008

From Guidelines to Careflows: Modelling and Supporting Complex Clinical Processes.
Proceedings of the Computer-based Medical Guidelines and Protocols: A Primer and Current Trends, 2008

2007
Argumentation-Based Inference and Decision Making--A Medical Perspective.
IEEE Intell. Syst., 2007

Careflow: Theory and Practice.
Proceedings of the Business Process Management Workshops, 2007

2006
From Arguments to Decisions: Extending the Toulmin View.
Proceedings of the Arguing on the Toulmin Model, 2006

Automatic generation of spoken dialogue from medical plans and ontologies.
J. Biomed. Informatics, 2006

Special Issue on Voice Over IP - Theory and Practice.
Int. J. Commun. Syst., 2006

A Canonical Agent Model for Healthcare Applications.
IEEE Intell. Syst., 2006

An ontological approach to modelling tasks and goals.
Comput. Biol. Medicine, 2006

Capturing expert knowledge with argumentation: a case study in bioinformatics.
Bioinform., 2006

Argumentation in Decision Support for Medical Care Planning for Patients and Clinicians.
Proceedings of the Argumentation for Consumers of Healthcare, 2006

Towards a General Model for Argumentation Services.
Proceedings of the Argumentation for Consumers of Healthcare, 2006

2005
International Journal of Communication Systems.
Int. J. Commun. Syst., 2005

Open-Source Publishing of Medical Knowledge for Creation of Computer-Interpretable Guidelines.
Proceedings of the Artificial Intelligence in Medicine, 2005

AI Planning Technology as a Component of Computerised Clinical Practice Guidelines.
Proceedings of the Artificial Intelligence in Medicine, 2005

2004
Computational Models of Rhetorical Argument.
Proceedings of the Argumentation Machines, New Frontiers in Argument and Computation., 2004

A quantitative and qualitative evaluation of LISA, a decision support system for chemotherapy dosing in childhood Acute Lymphoblastic Leukaemia.
Proceedings of the MEDINFO 2004, 2004

Modelling Clinical Goals: a Corpus of Examples and a Tentative Ontology.
Proceedings of the Computer-based Support for Clinical Guidelines and Protocols, 2004

2003
Probability, logic and the cognitive foundations of rational belief.
J. Appl. Log., 2003

Application of Information Technology: The Syntax and Semantics of the PRO<i>forma</i> Guideline Modeling Language.
J. Am. Medical Informatics Assoc., 2003

Research Paper: Comparing Computer-interpretable Guideline Models: A Case-study Approach.
J. Am. Medical Informatics Assoc., 2003

Understanding intelligent agents: analysis and synthesis.
AI Commun., 2003

Enhancing Conventional Web Content with Intelligent Knowledge Processing.
Proceedings of the Artificial Intelligence in Medicine, 2003

Computerised Advice on Drug Dosage Decisions in Childhood Leukaemia: A Method and a Safety Strategy.
Proceedings of the Artificial Intelligence in Medicine, 2003

Interactive Decision Support for Medical Planning.
Proceedings of the Artificial Intelligence in Medicine, 2003

Speech Interfaces for Point-of-Care Guideline Systems.
Proceedings of the Artificial Intelligence in Medicine, 2003

2002
Decision making by intelligent agents: logical argument, probabilistic inference and the maintenance of beliefs and acts.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

Clinical decision support systems: a discussion of quality, safety and legal liability issues.
Proceedings of the AMIA 2002, 2002

LISA: A Clinical Information and Decision Support System for Childhood Acute Lymphoblastic Leukaemia.
Proceedings of the AMIA 2002, 2002

2001
Designing Safety into Medical Decisions and Clinical Processes.
Proceedings of the Computer Safety, 2001

Combining Decision Support and Image Processing: A PROforma Model.
Proceedings of the MEDINFO 2001, 2001

Medical Decision Support via the Internet: PROforma and Solo.
Proceedings of the MEDINFO 2001, 2001

Risk Assessment in Genetics: A Semi-quantitative Approach.
Proceedings of the MEDINFO 2001, 2001

Quality, Safety and Ethics in using Computers to Advise on Patient Care: What Are the Issues?
Proceedings of the MEDINFO 2001, 2001

Integrating Decision Support with Electronic Referrals.
Proceedings of the MEDINFO 2001, 2001

Incorporating Image Processing in a Clinical Decision Support System.
Proceedings of the Information Processing in Medical Imaging, 2001

OpenClinical: Promoting Knowledge Management for Patient Care.
Proceedings of the AMIA 2001, 2001

REACT - A Decision-support System for Medical Planning.
Proceedings of the AMIA 2001, 2001

Publets: clinical judgement on the web.
Proceedings of the AMIA 2001, 2001

Supporting "Scenarios" in the PROforma Guideline Modelling Format.
Proceedings of the AMIA 2001, 2001

Quantitative and Qualitative Approaches to Reasoning under Uncertainty in Medical Decision Making.
Proceedings of the Artificial Intelligence Medicine, 2001

2000
CADMIUM II: combining image processing and symbolic reasoning for computer-aided diagnosis.
Proceedings of the Medical Imaging 2000: Image Processing, 2000

The PROforma Guideline Specification Language: Progress and Prospects.
Proceedings of the Computer-Based Support for Clinical Guidelines and Protocols, 2000

A quality and safety framework for point-of-care clinical guidelines.
Proceedings of the AMIA 2000, 2000

CADMIUM II: acquisition and representation of radiological knowledge for computerized decision support in mammography.
Proceedings of the AMIA 2000, 2000

Safe and sound - artificial intelligence in hazardous applications.
MIT Press, ISBN: 978-0-262-06211-4, 2000

1999
The development and evaluation of CADMIUM: a prototype system to assist in the interpretation of mammograms.
Medical Image Anal., 1999

1998
Decision support and disease management: a logic engineering approach.
IEEE Trans. Inf. Technol. Biomed., 1998

Disseminating medical knowledge: the PROforma approach.
Artif. Intell. Medicine, 1998

Evaluation of a Decision Aid for the Classification of Microcalcifictions.
Proceedings of the Digital Mammography, 1998

Qualitative risk assessment fulfils a need.
Proceedings of the Applications of Uncertainty Formalisms, 1998

Arguing about beliefs and actions.
Proceedings of the Applications of Uncertainty Formalisms, 1998

1997
A flexible architecture for autonomous agents.
J. Exp. Theor. Artif. Intell., 1997

Representation of Chemical Structures in Knowledge-Based Systems: The StAR System.
J. Chem. Inf. Comput. Sci., 1997

A model for integrating image processing into decision aids for diagnostic radiology.
Artif. Intell. Medicine, 1997

Protocols for Medical Procedures and Therapies: A Provisional Description of the PROforma Language and Tools.
Proceedings of the Artificial Intelligence Medicine, 1997

Decision Making and Plan Management by Autonomous Agents: Theory, Implementation and Applications.
Proceedings of the First International Conference on Autonomous Agents, 1997

1996
Using New Reasoning Technology in Chemical Information Systems.
J. Chem. Inf. Comput. Sci., 1996

Argumentation and Decision Making: A Position Paper.
Proceedings of the Practical Reasoning, 1996

A Unified Framework for Hypothetical and Practical Reasoning (2): Lessons from Medical Applications.
Proceedings of the Practical Reasoning, 1996

A Unified Framework for Hypothetical and Practical Reasoning (1): Theoretical Foundations.
Proceedings of the Practical Reasoning, 1996

Expert Systems and Theories of Knowledge.
Proceedings of the Artificial Intelligence, 1996

1995
Knowledge representation and reasoning: The view from cognitive psychology.
Knowl. Eng. Rev., 1995

A Logic of Argumentation for Reasoning under Uncertainty.
Comput. Intell., 1995

Agent-based approach to health care management.
Appl. Artif. Intell., 1995

Is There a Role for Qualitative Risk Assessment?
Proceedings of the UAI '95: Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence, 1995

1994
Artificial intellugence and knowledge based systems in molecular biology.
Knowl. Eng. Rev., 1994

An Agent Architecture for Distributed Medical Care.
Proceedings of the Intelligent Agents, 1994

Cooperation in Distributed Medcal Care.
Proceedings of the Second International Conference on Cooperative Information Systems, 1994

1993
Can we Formally Specify a Medical Decision Support System?
IEEE Expert, 1993

DRUMS: Defeasible Reasoning and Uncertainty Management Systems.
AI Commun., 1993

Argumentation as a General Framework for Uncertain Reasoning.
Proceedings of the UAI '93: Proceedings of the Ninth Annual Conference on Uncertainty in Artificial Intelligence, 1993

Dialectic reasoning with inconsistent information.
Proceedings of the UAI '93: Proceedings of the Ninth Annual Conference on Uncertainty in Artificial Intelligence, 1993

Acceptability of arguments as 'logical uncertainty'.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

A Logic for Reasoning about Safety in Decision Support Systems.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

1992
Qualitative frameworks for decision support: lessons from medicine.
Knowl. Eng. Rev., 1992

Grey Pages: Rapid publication of conference reports.
Knowl. Eng. Rev., 1992

Methodologies for knowledge engineering.
Knowl. Eng. Rev., 1992

Logic Engineering and Clinical Dilemmas.
Proceedings of the Logic Programming in Action, 1992

The Development of a "Logic of Argumentation".
Proceedings of the IPMU '92, 1992

Arguments, Contradicitions and Practical Reasoning.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1991
Decision Theory and Autonomous Systems.
Proceedings of the UAI '91: Proceedings of the Seventh Annual Conference on Uncertainty in Artificial Intelligence, 1991

An Extended Logic Language For Representing Belief.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1991

1990
Using predicate logic to integrate qualitative reasoning and classical decision theory.
IEEE Trans. Syst. Man Cybern., 1990

Motivation and Demotivation of a Four-Valued Logic.
Notre Dame J. Formal Log., 1990

Safe expert systems: simulating experts or building formal theories?
Knowl. Eng. Rev., 1990

Logic engineering for knowledge engineering: design and implementation of the Oxford System of Medicine.
Artif. Intell. Medicine, 1990

1989
A symbolic theory of decision-making applied to several medical tasks.
Proceedings of the AIME 89, 1989

Design of a generic information system and its application to Primary Care.
Proceedings of the AIME 89, 1989

1988
Responses to "An AI view of the treatment of uncertainty" by Alessandro Saffiotti.
Knowl. Eng. Rev., 1988

1987
Knowledge based interpretation of images: a biomedical perspective.
Knowl. Eng. Rev., 1987

1986
VLSI 85: VLSI design of digital systems: E. Hörbst (Ed.) Elsevier, Amsterdam The Netherlands (1986) £53.50 pp 44.3.
Microprocess. Microsystems, 1986

Using Prolog to Represent and Reason about Protein Structure.
Proceedings of the Third International Conference on Logic Programming, 1986

1985
Three Arguments for Extending the Framework of Probability.
Proceedings of the UAI '85: Proceedings of the First Annual Conference on Uncertainty in Artificial Intelligence, 1985

Judgement, Policy, and the Harmony Machine.
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1984
The Knowledge Engineering Review.
Knowl. Eng. Rev., 1984

The Knowledge Engineering Review.
Knowl. Eng. Rev., 1984

The Knowledge Engineering Review.
Knowl. Eng. Rev., 1984

Search for Cognitive Science <i>Conceptual Structures: Information Processing in Mind and Machine</i>. By John F. Sown. Addison-Wesley: 1984. Pp. 481.
Knowl. Eng. Rev., 1984

Knowledgeable Machines <i>Knowledge-based Systems in Artificial Intelligence</i>. Randall Davis Douglas Lenat. McGraw-Hill: 1983. Pp. 490.
Knowl. Eng. Rev., 1984

An annotated Bibliography.
Knowl. Eng. Rev., 1984

A short account of Knowledge Engineering.
Knowl. Eng. Rev., 1984

1981
Towards a Reconciliation of Fuzzy Logic and Standard Logic.
Int. J. Man Mach. Stud., 1981

1977
Medical Computing and the User.
Int. J. Man Mach. Stud., 1977


  Loading...