The workshop was a success!

We thank all the attendees for making it happen and for all the lively discussions!

The online proceedings are available at http://ceur-ws.org/Vol-2237/ .

News

2 September 2018: Programme Schedule announced.

31 August 2018: Accepted papers announced.

17 August 2018: Invited paper announced.

10 August 2018: Keynote speakers announced!

Late registrations by 10 October 2018 at https://www.eiseverywhere.com/kr2018.

Overview

Health care is a sensitive area due to the sheer amount and nature of the information used to manage patients. Medical reasoning is complex and involves multiple interactions among health conditions, treatments, and expectations from both health professionals and patients. Incomplete and contradictory information is ever present and decisions have to be made relying on it. As such, in order to support these professionals in their activities, it is necessary to accurately capture the constraints of medical reasoning in representations than can be used for supporting decisions, synthesizing medical evidence, discovering conflicts and inconsistencies, and so forth. Computational methods provide ways to analyse the available information and apply medical knowledge to it in order to evaluate the possible conclusions/claims, by considering reasons for and against them. They also allow to center the decisions on patients and their needs, as well as to take into account the preferences of various parties (patient, clinician, health center etc.). We aim to explore computational methods – including defeasible reasoning, computational argumentation, (various forms of) logic programming, ontological inference, machine-interpretable clinical pathways, decision support and recommendation systems, preference-based reasoning – for representation of, reasoning with, and resolving conflicts within, medical knowledge.

The aim of this workshop is to bring together researchers from the fields of (various) computational logics, argumentation, defeasible reasoning and reasoning within KR at large, who are interested in health care and would like to share their perspectives on applications of their research to the medical domain. This workshop is a venue for those researchers to share ways their theories and techniques can be used to support reasoning with medical knowledge, focusing especially on the resolution of conflicts in the context of incomplete information. Furthermore, the workshop intends to establish new collaborations to advance the latest computational models for supporting decision-making in health care.

We specifically seek works on computational methods for health care, and welcome submissions on health care-related:

• Argumentation
• Automated reasoning
• Case-based reasoning
• Defeasible (common-sense, non-monotonic, default) reasoning
• Inconsistency handling and conflict resolution
• (Answer set, Inductive, Constraint) Logic programming
• Ontology-based inference
• Probabilistic inference
• Information mining from clinical data and documents
• Persuasion systems
• Expert systems for health care

We solicit works on clinical decision support and particularly invite to submit papers on reasoning with clinical data, including:

• Computer-Interpretable guidelines and pathways
• Health technology assessments
• Clinical trials, cohort, retrospective and network studies, as well as other raw data
• Electronic health records

We welcome:

• Original contributions in the form of mature papers or work in progress;
• Incremental developments (of at least 30% new material) of already published work.

Goals

The purpose of the workshop is to promote a discussion among leading and up-and-coming researchers on aspects regarding reasoning with ambiguous and conflicting evidence and recommendations in medicine. As such, its expected outcomes are:

• Identification of the most important challenges in automated medical reasoning;
• A better understanding of the work developed in the field of conflict resolution and knowledge representation in medicine;
• Effective sharing of knowledge, practices and technologies to support medical reasoning.

We hope the workshop will also help to establish collaborations with the potential to generate scientific publications in international conferences, joint projects and applications for funding.