Intelligent query answering in rule based systems
Foundations of deductive databases and logic programming
Partial evaluation in logic programming
Journal of Logic Programming
Intensional query answering by partial evaluation
Journal of Intelligent Information Systems
Logic, Programming and PROLOG
Generating Symbolic and Natural Language Partial Solutions for Inclusion in Medical Plans
AIME '01 Proceedings of the 8th Conference on AI in Medicine in Europe: Artificial Intelligence Medicine
Building applied natural language generation systems
Natural Language Engineering
ProFIT: prolog with features, inheritance and templates
EACL '95 Proceedings of the seventh conference on European chapter of the Association for Computational Linguistics
Plan management in the medical domain
AI Communications
The multiple views of inter-organizational authoring
CSCW '04 Proceedings of the 2004 ACM conference on Computer supported cooperative work
Epoch: an ontological framework to support clinical trials management
HIKM '06 Proceedings of the international workshop on Healthcare information and knowledge management
Analyzing Differences in Operational Disease Definitions Using Ontological Modeling
AIME '07 Proceedings of the 11th conference on Artificial Intelligence in Medicine
Document-Oriented Views of Guideline Knowledge Bases
AIME '07 Proceedings of the 11th conference on Artificial Intelligence in Medicine
On Specifying and Visualising Long-Running Empirical Studies
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Methodological Review: Formal representation of eligibility criteria: A literature review
Journal of Biomedical Informatics
Formalisations and applications of BPMN
Science of Computer Programming
Towards semantic interoperability in a clinical trials management system
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Dominant decisions by argumentation agents
ArgMAS'09 Proceedings of the 6th international conference on Argumentation in Multi-Agent Systems
Hi-index | 0.00 |
Many published clinical trials are poorly designed, suggesting that the protocol was incomplete, disorganised, or contained errors. This fact motivated the development of a suite of decision support tools for the design of randomised controlled clinical trials. In this paper we describe these tools, discussing both underlying theoretical issues and usage of the tools. The core tool-Design-a-Trial (DaT)-critiques data entered so as to guide design of a scientifically and ethically sound trial. DaT outputs a text protocol describing the trial, and a corresponding symbolic representation. Linked to DaT is a tool for authoring plans that form part of the trial. A key feature of this tool is the provision of macros for describing commonly occurring plan constructs. We describe another linked tool which generates solutions to Prolog queries requesting advice on how a plan should be revised so as to comply with safety and efficacy requirements. The user is able to navigate a path through the solution search space by interacting with natural language representations of the Prolog sub-goals. This provides the flexibility to generate useful and informative partial solutions, symbolic and textual, for inclusion in the symbolic plan representation and protocol document, respectively.