John Fox

Kanyi Hu

Proceedings of the WSSE 2021: The 3rd World Symposium on Software Engineering, Xiamen, China, September 24, 2021

2017

Cognitive systems at the point of care: The CREDO program.

[BibT_eX]

[DOI]

J. Biomed. Informatics, 2017

Towards an Agent-Oriented Framework for Multidisciplinary Decision Support and Its Application to Triple Assessment of Breast Cancer.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

A knowledge model and its application to agent-oriented clinical decision support.

[BibT_eX]

[DOI]

Proceedings of the 10th International Congress on Image and Signal Processing, 2017

2016

Goal Modelling in Clinical Decision Support.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

A Distributed Decision Support Architecture for the Diagnosis and Treatment of Breast Cancer.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Comput. Ind., 2015

2013

Symbolic Decision Theory and Autonomous Systems

[BibT_eX]

[DOI]

CoRR, 2013

An Agent-Oriented Approach to Support Multidisciplinary Care Decisions.

[BibT_eX]

[DOI]

Hong Zhu

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.

[BibT_eX]

[DOI]

María Adela Grando

Artif. Intell. Medicine, 2012

Lung Cancer Assistant: an Ontology-Driven, Online Decision Support Prototype.

[BibT_eX]

[DOI]

M. Berkan Sesen

René Bañares-Alcántara

Timor Kadir

J. Michael Brady

Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

Survival Prediction and Treatment Recommendation with Bayesian Techniques in Lung Cancer.

[BibT_eX]

[DOI]

Mustafa Sesen

Timor Kadir

René Bañares-Alcántara

Michael Brady

Proceedings of the AMIA 2012, 2012

2010

Delivering clinical decision support services: There is nothing as practical as a good theory.

[BibT_eX]

[DOI]

J. Biomed. Informatics, 2010

2009

A Guardian Agent Approach to Safety in Medical Multi-agent Systems.

[BibT_eX]

[DOI]

S. Modgil

John P. Fox

Proceedings of the Safety and Security in Multiagent Systems, 2009

Goal-Based Decisions for Dynamic Planning.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Medicine, 2009

Challenges in Delivering Decision Support Systems: The MATE Experience.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Representation for Health-Care: Data, 2009

2008

Neuronal population oscillations of rat hippocampus during epileptic seizures.

[BibT_eX]

[DOI]

Neural Networks, 2008

Dungine: A Java Dung Reasoner.

[BibT_eX]

[DOI]

Matthew South

Gerard Vreeswijk

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.

[BibT_eX]

[DOI]

María Adela Grando

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.

[BibT_eX]

[DOI]

Vivek Patkar

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2007

Careflow: Theory and Practice.

[BibT_eX]

[DOI]

Robert Dunlop

Proceedings of the Business Process Management Workshops, 2007

2006

From Arguments to Decisions: Extending the Toulmin View.

[BibT_eX]

[DOI]

Sanjay Modgil

Proceedings of the Arguing on the Toulmin Model, 2006

Automatic generation of spoken dialogue from medical plans and ontologies.

[BibT_eX]

[DOI]

Martin Beveridge

J. Biomed. Informatics, 2006

A Canonical Agent Model for Healthcare Applications.

[BibT_eX]

[DOI]

Sanjay Modgil

IEEE Intell. Syst., 2006

An ontological approach to modelling tasks and goals.

[BibT_eX]

[DOI]

Comput. Biol. Medicine, 2006

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

[BibT_eX]

[DOI]

Michael J. E. Sternberg

Bioinform., 2006

Argumentation in Decision Support for Medical Care Planning for Patients and Clinicians.

[BibT_eX]

[DOI]

Proceedings of the Argumentation for Consumers of Healthcare, 2006

Towards a General Model for Argumentation Services.

[BibT_eX]

[DOI]

Proceedings of the Argumentation for Consumers of Healthcare, 2006

2005

Open-Source Publishing of Medical Knowledge for Creation of Computer-Interpretable Guidelines.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Medicine, 2005

AI Planning Technology as a Component of Computerised Clinical Practice Guidelines.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Medicine, 2005

2004

Computational Models of Rhetorical Argument.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the MEDINFO 2004, 2004

Modelling Clinical Goals: a Corpus of Examples and a Tentative Ontology.

[BibT_eX]

[DOI]

Proceedings of the Computer-based Support for Clinical Guidelines and Protocols, 2004

2003

Application of Information Technology: The Syntax and Semantics of the PRO<i>forma</i> Guideline Modeling Language.

[BibT_eX]

[DOI]

David R. Sutton

J. Am. Medical Informatics Assoc., 2003

Research Paper: Comparing Computer-interpretable Guideline Models: A Case-study Approach.

[BibT_eX]

[DOI]

J. Am. Medical Informatics Assoc., 2003

Understanding intelligent agents: analysis and synthesis.

[BibT_eX]

[DOI]

Martin Beveridge

AI Commun., 2003

Enhancing Conventional Web Content with Intelligent Knowledge Processing.

[BibT_eX]

[DOI]

Rory Steele

Proceedings of the Artificial Intelligence in Medicine, 2003

Computerised Advice on Drug Dosage Decisions in Childhood Leukaemia: A Method and a Safety Strategy.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Medicine, 2003

Interactive Decision Support for Medical Planning.

[BibT_eX]

[DOI]

Fortunato D. Castillo

Victoria E. L. Monaghan

Proceedings of the Artificial Intelligence in Medicine, 2003

Speech Interfaces for Point-of-Care Guideline Systems.

[BibT_eX]

[DOI]

Martin Beveridge

David Milward

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.

[BibT_eX]

Peter McBurney

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.

[BibT_eX]

[DOI]

Richard Thomson

Proceedings of the AMIA 2002, 2002

LISA: A Clinical Information and Decision Support System for Childhood Acute Lymphoblastic Leukaemia.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2002, 2002

2001

Combining Decision Support and Image Processing: A PROforma Model.

[BibT_eX]

[DOI]

Proceedings of the MEDINFO 2001, 2001

Medical Decision Support via the Internet: PROforma and Solo.

[BibT_eX]

[DOI]

Proceedings of the MEDINFO 2001, 2001

Risk Assessment in Genetics: A Semi-quantitative Approach.

[BibT_eX]

[DOI]

Proceedings of the MEDINFO 2001, 2001

Integrating Decision Support with Electronic Referrals.

[BibT_eX]

[DOI]

Proceedings of the MEDINFO 2001, 2001

Incorporating Image Processing in a Clinical Decision Support System.

[BibT_eX]

[DOI]

Proceedings of the Information Processing in Medical Imaging, 2001

OpenClinical: Promoting Knowledge Management for Patient Care.

[BibT_eX]

[DOI]

Richard Thomson

Proceedings of the AMIA 2001, 2001

REACT - A Decision-support System for Medical Planning.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2001, 2001

Publets: clinical judgement on the web.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2001, 2001

Supporting "Scenarios" in the PROforma Guideline Modelling Format.

[BibT_eX]

[DOI]

Vaskar Saha

Proceedings of the AMIA 2001, 2001

Quantitative and Qualitative Approaches to Reasoning under Uncertainty in Medical Decision Making.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Medicine, 2001

2000

CADMIUM II: combining image processing and symbolic reasoning for computer-aided diagnosis.

[BibT_eX]

[DOI]

Proceedings of the Medical Imaging 2000: Image Processing, 2000

The PROforma Guideline Specification Language: Progress and Prospects.

[BibT_eX]

[DOI]

David R. Sutton

Proceedings of the Computer-Based Support for Clinical Guidelines and Protocols, 2000

A quality and safety framework for point-of-care clinical guidelines.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2000, 2000

CADMIUM II: acquisition and representation of radiological knowledge for computerized decision support in mammography.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2000, 2000

Safe and sound - artificial intelligence in hazardous applications.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Paul Taylor

Andrew Todd-Pokropek

Medical Image Anal., 1999

1998

Decision support and disease management: a logic engineering approach.

[BibT_eX]

[DOI]

Richard Thomson

IEEE Trans. Inf. Technol. Biomed., 1998

Disseminating medical knowledge: the PROforma approach.

[BibT_eX]

[DOI]

Nicky Johns

Ali Rahmanzadeh

Artif. Intell. Medicine, 1998

Evaluation of a Decision Aid for the Classification of Microcalcifictions.

[BibT_eX]

[DOI]

Paul Taylor

Andrew Todd-Pokropek

Proceedings of the Digital Mammography, 1998

Qualitative risk assessment fulfils a need.

[BibT_eX]

[DOI]

Proceedings of the Applications of Uncertainty Formalisms, 1998

Arguing about beliefs and actions.

[BibT_eX]

[DOI]

Christian A. G. Tonnelier

Simon Parsons

Proceedings of the Applications of Uncertainty Formalisms, 1998

1997

A flexible architecture for autonomous agents.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 1997

Representation of Chemical Structures in Knowledge-Based Systems: The StAR System.

[BibT_eX]

[DOI]

J. Chem. Inf. Comput. Sci., 1997

A model for integrating image processing into decision aids for diagnostic radiology.

[BibT_eX]

[DOI]

Paul Taylor

Andrew Todd-Pokropek

Artif. Intell. Medicine, 1997

Protocols for Medical Procedures and Therapies: A Provisional Description of the PROforma Language and Tools.

[BibT_eX]

[DOI]

Nicky Johns

Ali Rahmanzadeh

Proceedings of the Artificial Intelligence Medicine, 1997

Decision Making and Plan Management by Autonomous Agents: Theory, Implementation and Applications.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Autonomous Agents, 1997

1996

Using New Reasoning Technology in Chemical Information Systems.

[BibT_eX]

[DOI]

Philip N. Judson

J. Chem. Inf. Comput. Sci., 1996

A Systematic Methodology for Cognitive Modelling.

[BibT_eX]

[DOI]

Artif. Intell., 1996

Argumentation and Decision Making: A Position Paper.

[BibT_eX]

[DOI]

Simon Parsons

Proceedings of the Practical Reasoning, 1996

A Unified Framework for Hypothetical and Practical Reasoning (2): Lessons from Medical Applications.

[BibT_eX]

[DOI]

Proceedings of the Practical Reasoning, 1996

A Unified Framework for Hypothetical and Practical Reasoning (1): Theoretical Foundations.

[BibT_eX]

[DOI]

Proceedings of the Practical Reasoning, 1996

1995

Knowledge representation and reasoning: The view from cognitive psychology.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 1995

A Logic of Argumentation for Reasoning under Uncertainty.

[BibT_eX]

[DOI]

Simon Ambler

Comput. Intell., 1995

Agent-based approach to health care management.

[BibT_eX]

[DOI]

Jun Huang

Nicholas R. Jennings

Appl. Artif. Intell., 1995

Is There a Role for Qualitative Risk Assessment?

[BibT_eX]

[DOI]

Philip N. Judson

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.

[BibT_eX]

[DOI]

Christopher J. Rawlings

Knowl. Eng. Rev., 1994

An Agent Architecture for Distributed Medical Care.

[BibT_eX]

[DOI]

Jun Huang

Nicholas R. Jennings

Proceedings of the Intelligent Agents, 1994

Cooperation in Distributed Medcal Care.

[BibT_eX]

Jun Huang

Nicholas R. Jennings

Andrew David Jackson-Smale

Proceedings of the Second International Conference on Cooperative Information Systems, 1994

1993

Can we Formally Specify a Medical Decision Support System?

[BibT_eX]

[DOI]

IEEE Expert, 1993

Symbolic decision support in medical care.

[BibT_eX]

[DOI]

Jiandong Huang

John P. Fox

C. Gordon

Artif. Intell. Medicine, 1993

On the soundness and safety of expert systems.

[BibT_eX]

[DOI]

John P. Fox

Artif. Intell. Medicine, 1993

DRUMS: Defeasible Reasoning and Uncertainty Management Systems.

[BibT_eX]

[DOI]

AI Commun., 1993

Argumentation as a General Framework for Uncertain Reasoning.

[BibT_eX]

[DOI]

Proceedings of the UAI '93: Proceedings of the Ninth Annual Conference on Uncertainty in Artificial Intelligence, 1993

Dialectic reasoning with inconsistent information.

[BibT_eX]

[DOI]

Proceedings of the UAI '93: Proceedings of the Ninth Annual Conference on Uncertainty in Artificial Intelligence, 1993

Acceptability of arguments as 'logical uncertainty'.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

A Logic for Reasoning about Safety in Decision Support Systems.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

1992

Qualitative frameworks for decision support: lessons from medicine.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 1992

The Development of a "Logic of Argumentation".

[BibT_eX]

[DOI]

Simon Ambler

Proceedings of the IPMU '92, 1992

Arguments, Contradicitions and Practical Reasoning.

[BibT_eX]

Simon Ambler

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1991

Decision Theory and Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the UAI '91: Proceedings of the Seventh Annual Conference on Uncertainty in Artificial Intelligence, 1991

An Extended Logic Language For Representing Belief.

[BibT_eX]

[DOI]

Mirko Dohnal

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1991

1990

Using predicate logic to integrate qualitative reasoning and classical decision theory.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern., 1990

Logic engineering for knowledge engineering: design and implementation of the Oxford System of Medicine.

[BibT_eX]

[DOI]

Artif. Intell. Medicine, 1990

1989

A symbolic theory of decision-making applied to several medical tasks.

[BibT_eX]

[DOI]

Mike O'Neil

Andrzej J. Glowinski

Proceedings of the AIME 89, 1989

Design of a generic information system and its application to Primary Care.

[BibT_eX]

[DOI]

Andrzej J. Glowinski

Mike O'Neil

Proceedings of the AIME 89, 1989

1988

Responses to "An AI view of the treatment of uncertainty" by Alessandro Saffiotti.

[BibT_eX]

[DOI]

David J. Spiegelhalter

Philippe Smets

Lotfi A. Zadeh

Knowl. Eng. Rev., 1988

1986

Using Prolog to Represent and Reason about Protein Structure.

[BibT_eX]

[DOI]

Christopher J. Rawlings

W. R. Taylor

J. Nyakairu