Publications

Papers

Papers highlighted below are accessible in either PDF, MS Word, postscript or HTML formats; click to view or download.

If you would like any paper posted to you, please email Anastasia Photiou , referencing the papers number, as well as the title and author. More papers are gradually being made available to download.

2006

437 Elizabeth Black, Anthony Hunter A Generative Inquiry Dialogue System To appear in: Proc. Sixth International Joint Conference on Autonomous Agents and Multi-Agent Systems (Honolulu, Hawaii, 2007) - -
436 Carlos Chesnevar, Jarred McGinnis, Sanjay Modgil, Iyad Rahwan, Chris Reed, Guillermo Simari, Matthew South, Gerard Vreeswijk, Steven Willmott Towards an Argument Interchange Format Knowledge Engineering Review, 21:4 293-316, 2006 - -
435 Pancho Tolchinsky, Ulises Cortés, Sanjay Modgil, Francisco Caballero, Antonio López-Navidad Increasing Human-Organ Transplant Availability: Argumentation-Based Agent Deliberation IEEE Intelligent Systems, Vol. 21, No. 6 November/December 2006
434 DW Glasspool, A Oettinger, JH Smith-Spark, FC Castillo, VEL Monaghan, J Fox Supporting Medical Planning by Mitigating Cognitive Load To appear in Methods of Information in Medicine.
433 V Patkar, C N Hurt, R Steele, S Love, Purushotham, Williams M, Thomson R, Fox J. Evidence-based guidelines and decision support services: a discussion and evaluation in triple assessment of suspected breast cancer. To appear in the British Journal of Cancer, December 2006
432 Fox, J. and Glasspool, D. W. Knowledge, arguments, and intentions in clinical decision-making. In R. Paton & L. McNamara (Eds.) Multidisciplinary Approaches to Theory in Medicine. Amsterdam: Elsevier (2006).
431 Jefferys BR, Kelley LA, Sergot MJ, Fox J, Sternberg MJ. Capturing expert knowledge with argumentation: a case study in bioinformatics Bioinformatics. 2006 Apr 15;22(8):924-33. Abstract
430 S.Modgil Hierarchical Argumentation Accepted for publication in 10th European Conference on Logics in Artificial Intelligence. Liverpool, UK, September 2006.  
429 S.Modgil Value Based Argumentation in Hierarchical Argumentation Frameworks Accepted for publication in 1st International Conference on Computational Models of Argument The University of Liverpool, UK University of Liverpool, UK 11th - 12th September 2006  
428 Pancho Tolchinsky, Sanjay Modgil, Ulises Cortés, Miquel Sŕnchez-Marrč. CBR and Argument Schemes for Collaborative Decision Making Accepted for publication in 1st International Conference on Computational Models of Argument The University of Liverpool, UK 11th - 12th September 2006  
427 Fox, J., Glasspool, D. W. and Modgil, S. A canonical agent model for healthcare applications. IEEE Intelligent Systems 21(6), 21-28, 2006.
426 Fox J, Patkar V, Thomson R, Black E. PROforma guidelines and care pathways: evidence from trials and future plans To appear in proc. AI techniques in healthcare: evidence-based guidelines and protocols, ECAI-06.  
425 Fox J, Glasspool D, Modgil S, Tolchinsky , Black E. Towards a canonical framework for designing agents to support healthcare organisations European Conference on AI (ECAI, Workshop on agents applied in healthcare).  
424 Patkar V, Hurt C, Steele R, Purushotham A, Love S, Williams M, Thomson R and Fox J. Impact of a computerised decision support system on compliance with evidence-based guidelines for triple assessment To appear in proc. AI techniques in healthcare: evidence-based guidelines and protocols, ECAI-06.  
423 Fox J, Patkar V, Thomson R. Decision Support for Healthcare: the PROforma evidence base Informatics in Primary Care 2006; 14:49-54  
422 Modgil S. Hierarchical Argumentation Internal technical report  
421 Fox J, Black E, Glasspool D, Modgil S, Oettinger A, Patkar V, Williams M Towards a general model for argumentation services. In T. Bickmore & N. Green (Eds.) Proc. AAAI Spring Symposium Series 2006 (AAAI Technical Report SS-06-01).
420 Tolchinsky P, Modgil S, Cortes U. Argument Schemes and Critical Questions for Heterogeneous Agents to Argue Over the Viability of a Human Organ Accepted for publication in Argumentation for Consumers of Healthcare – AAAI 2006 Spring Symposium, Stanford University, Stanford, California, March 27-29 2006

2005

419 Williams M, Williamson J Combining Argumentation and Bayesian Nets for Breast Cancer Prognosis Accepted for presentation at a conference on merging argumentative and bayesian approaches, 2005
417 Fox J. PROforma guidelines and care pathways: summary of the approach and the results of trials Internal technical report.
416 Modgil S, Tolchinsky P, Cortes U Towards Formalising Agent Argumentation over the Viability of Human Organs for Transplantation In: Proceedings of MICAI 2005: Advances in Artificial Intelligence: 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18 2005. Lecture Notes in Computer Science, Volume 3789, Nov 2005
415 Smith-Spark J H, Glasspool D W, Oettinger A, Yule P, Fox J. Planning, working memory, and interface support in a medical domain In: Proceedings of 14th Conference of the European Society for Cognitive Psychology (ESCoP) Leiden, The Netherlands, August 2005.
414 Smith-Spark J H, Glasspool D W, Oettinger A, Yule P, Fox J. Planning and working ememory in medical decision support Paper presented at the 20th Biennial Conference on Subjective Probability, Utility and Decision Making (SPUDM 20), Stockholm, Sweden. Proceedings to follow. August 2005.
413 Modgil S Nested Argumentation and its Application to Decision Making over Actions In: Proceedings of Second International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2005 at AAMAS 2005), Utrecht, The Netherlands, July 2005.
412 Peleg M, Steele R, Thomson R, Patkar V, Rose T, Fox J. Open Source Publishing of Medical Knowledge for Creation of Computer-Interpretable Guidelines. In: Lecture Notes in AI 3581, Miksch S, Hunter J, Keravnou E (Eds) Proceedings of the 10th Conference on Artificial Intelligence in Medicine (AIME 05). Berlin: Springer-Verlag, 2005: 156-160.
411 Bradbrook, K., Winstanley, G., Glasspool DW, Fox, J. and Griffiths, R. AI Planning Technology as a Component of Computerised Clinical Practice Guidelines. In: Lecture Notes in AI 3581, Miksch S, Hunter J, Keravnou E (Eds) Proceedings of the 10th Conference on Artificial Intelligence in Medicine (AIME 05). Berlin: Springer-Verlag, 2005: 171-180.
410 Fox J, Alabassi A, Patkar V, Rose T and Black E. An Ontological Approach to Modelling Tasks and Goals Accepted for publication in Computers in Biology and Medicine. Special Issue: Ontologies in Medicine.
409 Beveridge M. Intention, Information and the 'Linearization Problem' in Dialogue Submitted for publication
408 Fox J. Images of Mind: In Memory of Donald Broadbent and Allen Newell. In D. N. Davis (Ed.) Visions of Mind: Architectures for Cognition and Affect. Hershey, PA: IDEA Group, 2005. pp. 176-203
407 Glasspool DW The integration and control of behaviour: Insights from neuroscience and AI. In D. N. Davis (Ed.) Visions of Mind: Architectures for Cognition and Affect. Hershey, PA: IDEA Group, 2005. pp. 125-148. --
406 Glasspool DW, Fox J. Knowledge, argument and meta-cognition in routine decision-making. In T. Betsch and S. Haberstroh (Eds) The routines of decision making. New Jersey: Lawrence Erlbaum Associates, 2005. pp. 343-358. --
405 Fox J, Glasspool DW Knowledge, arguments and intentions in clinical decision-making. In R Paton and L McNamara (Eds.) Multidisciplinary Approaches to Theory in Medicine. Elsevier series, Studies in Multidisciplinarity, Amsterdam, Elsevier, 2006; 103-129. --

2004

404 Beveridge MA, Fox J. A Medical Spoken Dialogue System Based on Integrated Task and Ontological Knowledge: Theory and Results Journal of Artificial Intelligence Research (JAIR), (In press) December 2004. --
403 Modgil S, Fox J. A Guardian Agent Approach to Safety in Medical Multi-Agent Systems In: Proceedings of the First International Workshop on Safety and Security in Multi-Agent Systems (SAEMAS'04 at AAMAS 2004), New York, July 2004. --
402 Milward D, Beveridge MA. Ontologies and the Structure of Dialogue In Proceedings of CATALOG, 8th Workshop on the Semantics and Pragmatics of Dialogue, 19th – 21st July 2004, Barcelona, Spain; 69-76 --
401 Bury J, Hurt C, Roy A, Bradburn M, Cross S, Fox J, V Saha A Quantitative and Qualitative Evaluation of LISA, a Decision Support System for Chemotherapy Dosing in Childhood Acute Lymphoblastic Leukaemia. Medinfo. 2004;2004:197-201. PubMed
400 Fox JP and Thomson R Issues in the use of clinical decision support systems: efficacy and safety, ethics and liability Internal Technical Report --
399 Fox J, Alabassi A, Black E, Hurt C, Rose T Modelling clinical goals: a corpus of examples and a tentative ontology In: Eds. Kaiser K, Miksch S. and Tu S.W. Computer-based Support for Clinical Guidelines and Protocols. Proceedings of the Symposiom on Computerized Guidelines and Protocols (CGP 2004). Volume 101 Studies in Health Technology and Informatics. IOS Press, 2004. PubMed

2003

398 Fox J, Thomson R Quality and safety of clinical decision support technologies: a discussion Health IT Advisory Report (Patient Safety Updates), Volume 4, Number 6 July 2003, pgs 1, 3-6, US Medical Records Institute. --
397 Glasspool DW, Fox J, Castillo FD, Monaghan V. Interactive decision support for medical planning In: Proceedings of the 9th Conference on Artificial Intelligence in Medicine in Europe (AIME'03), 18th - 22nd October, Protaras, Cyprus, Lecture Notes in Artificial Intelligence (LNAI 2780), 335-340, Springer Verlag, Berlin, 2003. Proceedings Editors: Michel Dojat, Elpida Keravnou, Pedro Barahona. SpringerLink
396 Fox J. Formalising Goals in the PROforma guideline language Advanced Computation Laboratory Internal Technical Report, Cancer Research UK, London Research Institute, 2003 --
395 Beveridge M, Fox J, Milward D. Tasks, Games and Domain Knowledge in Dialogue Management. In: Proc of DiaBruck 2003, 7th Workshop on the Semantics and Pragmatics of Dialogue, 4th-6th September, Saarbrücken, Germany. --
394 Fox J. Agents in healthcare In: Nealon, J.L., Moreno, A. (2003) (eds.) Applications of Software Agent Technology in the Health Care Domain, Whitestein Series in Software Agent Technologies, Birkhäuser Verlag, Basel. --
393 Sutton DR, Fox J. The Syntax and Semantics of PROforma J Am Med Inform Assoc. 2003 Sep-Oct;10(5):433-43. PubMed
392 Black E Using Agent Technology to Model Complex Medical Organisations

AgentLink news

AgentLink news, issue 12, April 2003 --
391 Fox J Probability, logic and the cognitive foundations of rational belief Journal of Applied Logic, Volume 1, Issue 3-4 (June 2003). Abstract
390 Beveridge M, Millward D Combining task descriptions and ontological knowledge for adaptive dialogue In: Proceedings of the 6th International Conference on Text, Speech and Dialogue (TSD-03) in Ceské Budejovice, Czech Republic, September 8-11, 2003. --
389 Fox J, Beveridge M, Glasspool D Understanding intelligent agents: analysis and synthesis Fox, J., Beveridge, M. and Glasspool, D. (2003). Understanding intelligent agents: analysis and synthesis. AI Communications, 2003, vol 16, pp 139-152. --
388 Steele R, Fox J Enhancing conventional web contetn with intelligent knowledge processing In: Proceedings of the 9th Conference on Artificial Intelligence in Medicine in Europe (AIME'03), 18th - 22nd October, Protaras, Cyprus, Lecture Notes in Artificial Intelligence (LNAI 2780); 142-152, Springer Verlag, Berlin, 2003. Proceedings Editors: Michel Dojat, Elpida Keravnou, Pedro Barahona. Springer
387 Hurt C, Fox J, Bury J, Saha V Computerised advice on drug dosage decisions in childhood leukaemia: a method and a safety strategy In: Proceedings of the 9th Conference on Artificial Intelligence in Medicine in Europe (AIME'03), 18th - 22nd October, Protaras, Cyprus, Lecture Notes in Artificial Intelligence (LNAI 2780); 158-163, Springer Verlag, Berlin, 2003. Proceedings Editors: Michel Dojat, Elpida Keravnou, Pedro Barahona. Springer
386 M. Beveridge, J. Fox and D. Milward Speech Interfaces for Point-of-Care Guideline Systems In: Proceedings of the 9th Conference on Artificial Intelligence in Medicine in Europe (AIME'03), 18th - 22nd October, Protaras, Cyprus, Lecture Notes in Artificial Intelligence (LNAI 2780), 76-81, Springer Verlag, Berlin, 2003. Springer
385 Milward D, Beveridge M. Ontology-based dialogue systems Presented at: Eighteenth International Joint Conference On Artificial Intelligence (IJCAI), 3rd Workshop on Knowledge and Reasoning in Practical Dialogue Systems, 10 Aug 2003, Acapulco, Mexico. --

2002

384 Glasspool DW, Cooper R. Executive Processes In R. Cooper (Ed.) Modelling High Level Cognitive Processes. New Jersey: Lawrence Erlbaum Associates, 2002. pp. 313-362. --
383 Black E, Fox J Breast Cancer Referral System with Queuing Strategies ACL Technical Report --
382 Black E, Vázquez-Salceda J, Fox J, Cortés U Formalising and Simulating a Medical e-Institution Using PROforma Agents

 ACL Technical Report --
381 Fox JP Quality and safety of clinical decision support technolgoies: a discussion of the role of formal methods Proc. World Conference on Integrated Design and Process Technology, IDPT-2002. --
380 Fox JP, Thomson R. Clinical decision support systems: a discussion of quality, safety and legal liability issues. Proc AMIA Symp 2002;:265-9 PubMed
379 J. P. Bury C. Hurt, C. Bateman et al LISA: A Clinical Information and Decision Support System for Collaborative Care in Childhood Acute Lymphoblastic Leukaemia Proceedings of the annual AMIA Annual Symposium, 2002. Abstract
378 Fox J, McBurney P. Decision making by intelligent agents: logical argument, probabilistic inference and the maintenance of beliefs and acts In: L. Godo and T. Lukasiewicz (Editors): Uncertainty Frameworks in Non-monotonic Reasoning, Ninth International Workshop on Nonmonotonic Reasoning (NMR-02), Toulouse, France. April 2002. Abstract
377 Peleg M, Tu S, Bury J, Ciccarese P, Fox J, Greenes RA, Hall R, Johnson PD, Jones N, Kumar A, Miksch S, Quaglini S, Seyfang A, Shortliffe EH, Stefanelli M. Comparing computer-interpretable guideline models: a case-study approach.

SMI technical report: Part 1 of 2   (Abstract)
SMI technical report: Part 2 of 2    (Abstract)

 J Am Med Inform Assoc. 2003 Jan-Feb;10(1):52-68.

PubMed  

376 Alberdi E, Taylor P, Lee R, Fox J, Todd-Pokropek A. Eliciting a terminology for mammographic calcifications. Clin Radiol. 2002 Nov;57(11):1007-13.

PubMed   Elsevier

2001

375a Cooper R. and Glasspool, D. Learning action affordances and action schemas. In R. M. French and J. Sougne (Eds.) Connectionist Models of Learning, Development, and Evolution. London: Springer-Verlag, 2001. pp. 133-142. Springer
375 Fox J Designing Safety into Medical Decisions and Clinical Processes U. Voges (Ed.): Computer Safety, Reliability and Security. Proceedings of 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28 2001, Springer-Verlag, Berlin, 2002. Springer
374b Bury JP, Saha V, Fox J Supporting 'scenarios' in the PROforma guideline modeling format. In: Suzanne Bakken (Ed.), Visions of the Future and Lessons from the Past, Proceedings of the 2001 AMIA Annual Symposium. Philadelphia: Hanley & Belfus.  
374a Glasspool DW, Fox J. REACT - A decision-support system for medical planning. In S. Bakken (Ed.) Proceedings of the American Medical Informatics Association symposium 2001, Philadelphia: Hanley & Belfus. p. 911. N/A
374 Fox J, Thomson R OpenClinical: Promoting Knowledge Management Technologies for Healthcare In: Suzanne Bakken (Ed.), Visions of the Future and Lessons from the Past, Proceedings of the 2001 AMIA Annual Symposium. Philadelphia: Hanley & Belfus. Abstract
373 Fox J, Glasspool D, Bury J Quantitative and Qualitative Approaches to Reasoning under Uncertainty in Medical Decision Making In: S. Quaglini, P. Barahona, S Andreasson (Eds.): AIME 2001, LNAI 2101, pp272-282, 2001. Springer-Verlag, Berlin, 2001. - -
372 Fox J, Bury J, Humber M, Rahmanzadeh A, Thomson R. Publets: Clinical Judgement on the Web Proc AMIA Symp. 2001;:179-83. - -
371 Glasspool DW, Fox J, Coulson AS, Emery J. Risk assessment in genetics: a semi-quantitative approach. Medinfo. 2001;10(Pt 1):459-63. - -
370 M. Sordo, J. Fox, C. Blum, P. Taylor, R. Lee, E. Alberdi Combining decision support and image processing: a PROforma model In R. Rogers , R. Haux and V. Patel (Eds). Medinfo. 2001;10(Pt 1):547-51. IOS Press, Amsterdam abstract n/a
369 Bury J, Humber M, Fox J Integrating Decision Support with Electronic Referrals In R. Rogers , R. Haux and V. Patel (Eds). Medinfo. 2001. IOS Press, Amsterdam - -
368 Humber M, Butterworth H, Fox J, Thomson R Medical Decision Support via the Internet: PROforma and Solo In R. Rogers , R. Haux and V. Patel (Eds). Medinfo. 2001;10(Pt 1):464-8. IOS Press, Amsterdam Abstract

2000

367 Fox J. Guardian agents: a role for artificial intelligence in safety-critical systems ? In: (eds) F. Redmill and T. Anderson, Lessons in System Safety, Proceedings of the 8th Safety-critical Systems Symposium, Springer, 2000, ISBN 1-85233-249-2. - -
366 Robertson D, Fox J. Industrial use of safety-related expert systems Health and Safety Executive, contract research report 296/2000 - -
365 Fox J. Making a mind: a cognitive engineering approach Presented at: symposium How to Design a Functional Mind, AISB Convention, April 2000 Abstract
364 Bury J., Fox J, & Sutton D. The PROforma guideline specification language: progress and prospects To appear in: Proceedings of the First European Workshop, Computer-based Support for Clinical Guidelines and Protocols (EWGLP 2000), Leipzig 13-14 Nov. 2000. Abstract
363 Coulson A., Glasspool D., Fox J, & Emery J. RAGs: A novel approach to computerised genetic risk assessment and decision support from pedigrees

Appendices:
Guidelines
Algorithm

Methods of Information in Medicine 2001; 40; 315-322 - -
362 Emery J., Walton R., Murphy M., Austoker J., Yudkin P., Chapman C., Coulson A., Glasspool D., Fox J. Computer support for recording and interpreting family histories of breast and ovarian cancer in primary care: comparative study with simulated cases British Medical Journal 2000;321:28-32 ( 1 July )

local version of paper

 Abstract
361 Alberdi E., Taylor P., Lee R., Fox J, Sordo M. CADMIUM II: Aquisition and representation of radiological knowledge for computerised decision support in mammography In: J. Marc Overhage (ed.), Proceedings of AMIA 2000, Hanley and Belfus Inc., Philadelphia, 2000. Abstract
360 Glasspool D. The integration and control of behaviour: Insights from neuroscience and AL Paper in symposium "How to design a functional mind"; AISB Convention, April 2000 Abstract
359 Fox J, Bury J. A quality and safety framework for point-of-care clinical guidelines In: J. Marc Overhage (ed.), Proceedings of AMIA 2000, Hanley and Belfus Inc., Philadelphia, 2000. Abstract
358 Fox J, Das S. Guardian agents for safety-critical systems. In: Proceedings of Workshop 2 of the 4th International Conference on Autonomous Agents (Autonomous Agents in Healthcare), Barcelona, 2000 - -
357 Cooper R., Yule P, Fox J. Cue selection in category learning: a systematic comparision of Bayesian, Associationist and Hypothesis Testing approaches. (In submission) Cognitive Science - -

1999

356 Coulson A.S., Glasspool D.W., Fox J, Emery J. Computerized genetic risk assessment and decision support in primary care (in press) Informatics: The Journal of Informatics in Primary Care Abstract
355 Parsons S., Fox J, Coulson A. Argumentation and risk assessment AAAI Spring Symposium on Predictive Toxicology, Stanford, CA. (1999) - -
354 Fox J, Thomson R., Renaud-Salis J.L., der Lei J.V. PROMPT - Protocols for Medical Procedures and Therapies. Internal report - -
353 Coulson, A., Fox J, Glasspool DW Final RAGS report - - - -
352 Emery J., Walton R., Coulson A., Glasspool DW, Ziebland S, Fox J. Computer support for recording and interpreting family histories of breast and ovarian cancer in primary care (RAGs): qualitative evaluation with simulated patients British Medical Journal - BMJ 1999;319:32-36 (3 July) Abstract
351 Taylor P., Fox J, Todd-Pokropek A. The development and evaluation of CADMIUM: a prototype system to assist in the interpretation of mammograms Medical Image Analysis (1999) volume 3, number 4, pp321-337 Abstract
350 Glasspool D.W, Fox J. Understanding probability words by constructing concrete mental models In: M. Hahn and S. C. Stoness (Eds.) Proceedings of the 21st Conference of the Cognitive Science Society. New Jersey: Lawrence Erlbaum Associates. pp. 185-190. - -
349 Fox J. Will it happen ? Can it happen ? A new approach to formal risk analysis In: Risk Decision and Policy, volume 4, August 1999.This paper is an update of publication 331 - -

1998

348 Fox J. "Dont bite my finger, look where Im pointing" - a review of Electronic Patient Records, the NHS Executives awareness CD-ROM In: British Journal of Healthcare Computing and Information Management, December 1998, vol 15 no.10 pp31-33 - -
347 Fox J, Parsons S. Arguing about beliefs and actions In: A Hunter and S Parsons eds., Applications of Uncertainty Formalisms, Lecture Notes in Artificial Intelligence, Springer 1998 Abstract
346 Krause P., Fox J, Judson P., Patel M. Qualitative risk assessment fulfils a need In: A Hunter and S Parsons eds., Applications of Uncertainty Formalisms, Lecture Notes in Artificial Intelligence, Springer 1998 Abstract
345 Taylor P., Fox J, Todd-Pokropek A. Evaluation of a Decision Aid for the Classification of Microcalcifications In: Karssemeijer N ed., Proceedings of the 4th International Workshop on Digital Mammography.Kluwer Academic Publishers, Dordrecht, 1998 - -
344 Yule P., Cooper R, Fox J Normative and Information Processing Accounts of Decision Making submitted to 20th Annual Conference of the Cognitive Science Society Abstract
343 Fox J Computers, decision making and clinical effectiveness In: Rethinking Information Technology in Health, ed. Jo Lenagham, published by the IPPR - Institute of Public Policy Research, 1998 Intro.
342 Fox J, Thomson R. Decision Support and Disease Management: A Logic Engineering Approach IEEE Transactions on Information Technology in Biomedicine, vol 2 no. 4, December 1998, pp217-228 Abstract
341 Cooper R., Fox J. COGENT: A Visual Design Environment for Cognitive Modelling Behavior Research Methods, Instruments & Computers, 1998, 30 (4), 553-564 Abstract

1997

340 Taylor P., Fox J, Todd-Pokropek A Model for Integrating Image Processing into Decision Aids for Diagnostic Radiology Artificial Intelligence in Medicine 9 1997 pp205-225 Abstract
339 Fox J, Johns N., Lyons C., Rahmanzadeh A., Thomson R, Wilson P PROforma: A General Technology for Clinical Decision Support Systems Computer Methods and Programs in Biomedicine 54 1997 59-67 Abstract
338 Parsons S., Jennings N.R. Negotiation Through Argumentation; A Preliminary Report Proceedings of the International Conference on Multi-Agent Systems, Kyoto, 1996 - -
337 Fox J, Parsons S. On Using Arguments for Reasoning About Actions and Values Proceedings of the AAAI Spring Symposium on Qualitative Preferences in Deliberation and Practical Reasoning, Stanford, 1997 Abstract
335 Das SK., Fox J, Elsdon D.& Hammond P A flexible architecture for autonomous agents J. Expt. Theor. Artif. Intell. 9 (1997) 407-440 - -
334 Cooper R., Fox J. Learning to Make Decisions Under Uncertainty: The Contribution of Qualitative Reasoning In Shafto MG and Langley P eds Proc. of 19th Annual Conference of the Cognitive Science Society, 125-130 Abstract
333 Fox J, Johns N.& Rahmanzadeh A. PROforma : An Agent Technology for Decision Support and Plan Enactment Invited lecture at Practical Applications of Prolog97, London 1997 Abstract
332 Fox J, Parsons S. Qualitative Decision Making : Theory, Knowledge, Representation and Applications - - - -
331 Fox J. Will It Happen? Can It Happen? - A new Approach to Formal Risk Analysis In: Science and Public Affairs, Winter 1997, 45-49.See 349 for an updated version of this paper. - -
330 Walton RT, Gierl C, Yudkin P, Mistry H, Vessey MP, Fox J. Evaluation of computer support for prescribing (CAPSULE) using simulated cases BMJ 1997 315 791-5 Abstract
329 Fox J, Johns N, & Rahmanzadeh A. Protocols for Medical Procedures and Therapies - A Provisional Description of the PROforma Language and Tools Proceedings of AIME 97, Springer 1997 Abstract

1996

328 Fox J, Johns N, Rahmanzadeh A. Disseminating Medical Knowledge-The PROforma Approach Artificial Intelligence in Medicine, 14, 1998 157-181 Abstract
327A Cooper R., Fox J, Farringdon J.& Shallice T. A Systematic Methodology for Cognitive Modelling Artificial Intelligence 85, 1996 3-44 - -
327 Krause P. Learning Probabilistic Neonerks Contribution to UNICOM Seminar on Intelligent Data Management, 24-25 April 1996 - -
326 Das S., Fox J, Elsdon D, Hammond P Decision Making and Plan Management by Autonomous Agents: Theory, Implementation and Application Proceedings of Agents97, Marina del Rey, Ca, USA. - -
325 Taylor P., Fox J, Todd-Pokropek A. Computer Aids for Decision Making in Radiology. In: Lemke H U, Vannier MW, Inamura K and Farman AG eds., Computer Aided Radiology Elsevier Science, Amsterdam 1996; pp 374-379 - -
324 Walton R. An Evaluation of CAPSULE, A Computer System Giving Advice to General Practitioners About Drug Prescribing Journal of Informatics in Primary Care, March 1996 - -
323 Fox J, Cooper R. Cognitive Processing and Knowledge Representation in Decision Making Under Uncertainty In: Roland W. Scholz and Alf C. Zimmer eds. Qualitative Aspects of Decision Making, PABST, Berlin, 83-106, 1997 Abstract
322 Tonnelier CAG., Fox J, Judson P., Krause P., Pappas N & Patel M. Representation of Chemical Structures in Knowledge-Based Systems Special issue of the Journal of Chemical Information and Computer Sciences dedicated to the Chemical Structures Conference, Noordwijkerhout, Netherlands, 2-6 June 1996.

- -
320 Fox J, Johns N, Rahmanzadeh A. Thomson R. PROforma: A method and language for specifying clinical guidelines and protocols

Winner of the European Federation of Medical Informatics 20th Anniversary Medal Laureate Prize, awarded at MIE'96, Copenhagen.

 In J Brender, J P Christensen, J-R Scherrer P McNair (eds) Medical Informatics Europe '96 IOS Press, Amsterdam 1996 pp. 516-520.
319 Fox J. Expert Systems and Theories of Knowledge - - - -
317 Parsons S. Normative Argumentation and Qualitative Probability Proceedings of: International Joint Conference on Qualitative and Quantitative Practical Reasoning, Bonn, 1997. - -
316 Parsons S, Fox J. Argumentation and Decision Making: A Position Paper Proceedings of: International Conference on Formal and Applied Practical Reasoning - -
315 Parsons S. Defining Normative Systems for Qualitative Argumentation Proceedings of: International Conference on Formal and Applied Practical Reasoning - -
313 Fox J. and Das S. A Unified Framework for Hypothetical and Practical Reasoning (2): Lessons from Medical Applications 1st International Conference on Formal and Applied Practical Reasoning, Berlin,1996 - -
312 Das S.K., Fox J. and Krause P. A Unified Framework for Hypothetical and Practical Reasoning (1): Theoretical Foundations 1st International Conference on Formal and Applied Practical Reasoning, Berlin, 1996 - -

1995

311 Fox J, Hardman D., Krause P., Ayton P. and Judson P. Risk Assessment and Communication: A Cognitive Engineering Approach Proceedings of: Expert Systems 1995, Cambridge University Press - -
310 Das S.K., Hammond P., Fox J, Elsdon D. Making safe decisions - - - -
309 Hammond P. Oncology protocol knowledge elicitation and OaSIS prototype review (Internal lab. paper prepared for RED Project dated 24 May 1993) - -
308 Parsons S, Saffiotti A. Information Processing and the Management of Uncertainty The Knowledge Engineering Review, Vol 10:1, 1995;83-88 - -
307 Taylor P Computer Aids for Decision Making in Diagnostic Radiology - a literature review. British Journal of Radiology, Sept 1995; vol 68:945-957 - -
306 Judson P. N., Fox J, Krause P. Using New Reasoning Technology in Chemical Information Systems Presented at ICCCRE, 1995. Submitted to Journal of Chemical Information and Computing (result??) - -
305 Huang J., Jennings N.R, Fox J. Agent-based Approach to Health Care Management Journal of Applied Artificial Intelligence, Vol 9: 401-420,1995 - -
304 Taylor P. Decision Support for Image Interpretation: A Mammography Workstation In: Y Bizais, C Barillot & R Di Paola (Eds) Information Processing in Medical Imaging - 14th Int Conf, Ile de Berder, France, June 1995. Series: Computational Imaging and Vision. Kluwer Academic Publishers, 1995:227-238. - -
303 Gordon C., Jackson-Smale A, Thomson R. Dilemma: Logic Engineering in Primary Care, Shared Care and Oncology (AIM Project A2005) Computer Methods and Programs in Medicine 45 (1994) 37-39 - -
302 Jackson-Smale A., Fox J, Johnson P., Hajnal S, Thomson R. Decision Support in Primary Care Presented at LPA Prolog Day, Wed 28 June 1995 - -
300 Fox J, Das S., Elsdon D., & Hammond P. Decision Making and Planning by Autonomous Agents: A Generic Architecture for Safety-Critical Applications Procedings of: Expert Systems 95, Cambridge University Press - -
299 Rahmanzedeh A, Hajnal S. Cell Tracking. Internal Technical Report, September 1995 - -
297 Krause P., Ambler S., Elvang-Goransson M. & Fox J. A Logic of Argumentation for Reasoning under Uncertainty. In: Computational Intelligence, vol 11.1:1995;113-131 - -
296 Fox J, Krause P. Knowledge Representation and Reasoning: The View from Cognitive Psychology In: The Knowledge Engineering Review, 10.1: 1995;1 - -
295 - - STAR Project technical report Formal Definitions for Arguments and Cases version 1.0 Internal Technical Report, 22 Nov 1994 - -
294 Krause P., Fox J, Judson P. Is there a role for qualitative risk assessment?(short version) In: Proceedings of the 11th Conference on Uncertainty in Artificial Intelligence, Montreal Quebec, Canada, 1995 - -
293 Krause P., Fox J, Judson P. Is there a role for qualitative risk assessment? (Long version) Technical report, April 1995 - -
292 Parsons S. Refining Reasoning in Qualitative Probabilistic Neonerks In: Proceedings of the 11th Conference on Uncertainty in Artificial Intelligence, Montreal, Quebec, Canada, 1995. - -
291 Thomson R. Dilemma: Decision Support Primary Care, Oncology and Shared Care. In: M. F. Laires et al (Eds), Health in the New Communications Age, IOS Press, 1995 - -
290 Parsons S. Softening Constraints in Constraint Based Protein Topology Prediction In: Proceeding of the 3rd International Conference on Intelligent Systems for Molecular Biology (ISMB 95) - -
289 Parsons S. Normative Systems of Argumentation In: The Working Papers of the 5th Normative Systems Workshop - -
288 Parsons S, Fox J. Representational Issues in Modelling Genetic Map Data - - - -

1994

287 Fox J, Rawlings C. J. Artificial Intelligence and Knowledge Based Systems in Molecular Biology In: Knowledge Engineering Review, Vol 9:3;1994:287-300 Review 1994;9(1):65-66. - -
286 Parsons S. Using Qualitative Uncertainty in Protein Topology Prediction - - - -
285 Fox J, Das S, Elsdon D, Hammond P & Krause P. Knowledge Based Systems for Safety-Critical Applications: theory, technology and applications - - - -
284 Fox J. An Example of the use of Formal Argument in Assessing Cancer Risk: the cases for and against FDA policy on aflatoxin StAR project, technical report, August 1994. - -
283 Parsons S, Fox J. A General Approach to Managing Imperfect Information in Deductive Databases Proceedings of: Workshop on Uncertainty in Database and Deductive Systems, New York 1994. - -
282 Parsons S. A Brief History of Argumentation Internal technical report, 25 August 1994 - -
281 Parsons S. Imperfect Information and Databases - - 1994 - -
280 Parsons S, Dohnal M. The Qualitative and Semiqualitative Analysis of Environmental Problems In: Environmental Software, Vol 10:2; 1995: 75-85. - -
279 Kubat M, Parsons S. Reasoning with Roughly Described Concepts - - - -
278 Parsons S. Uncertainty in Artificial Intelligence In: Knowledge Engineering Review 1994;9.1.:65-66. - -
277 Hammond P, Sergot M. Computer Support for Protocol- Based Treatment of Cancer Journal of Logic Programming, 1995. (INCOMPLETE) - -
276 de Mattos M.G., Davenport J.C., Hammond P., Fitzpatrick F.J, Randall D. A. Acquiring, representing and disseminating expert design knowledge: a case study in prosthetic dentistry Submitted to: IBERAMIA94 Venezuela UPDATE - -
275 Cui Z. Using Interval Logic for Order Assembly In: R. Altman, D. Brutlag, P. Karp, R. Lathrop & D. Searls (Eds), Procs 2nd Int. Conference on Intelligent Systems for Molecular Biology. August 14-17 1994, Stanford University, Stanford USA. AAAI Press, 1994;103-111. ISBN:0-929280-68-7. - -
274 Cui Z, Fox J. General Framework for Building Intelligent Database Applications In: E.A. Yfantis (Ed) Intelligent Systems - Third Golden West International Conference. Volume II. Theory and Decision Library: Series D Kluwer Academic Publishers, 1995;789-800 - -
273 Parsons S, Saffiotti A A Case Study in the Qualitative Verification and Debugging of Quantitative Uncertainty International Journal of Approximate Reasoning DETAILS??? - -
272 Parsons S. Using Qualitative Algebras to integrate uncertainty handling formalisms - - - -
271 Clark D.A., Rawlings C.J, Parsons S. Current Research in Artificial Intelligence and Molecular Biology In: Knowledge Engineering Review 8:4, 1993;349-357 - -
270 Hammond P., Wyatt J, Harris A. Drafting Protocols, Certifying Clinical Trial Designs and Monitoring Compliance In: Proceedings of ECAI94 Workshop on Normative Systems, Amsterdam, The Netherlands, 8-12 Aug 1994;124-131. - -
269 Jackson-Smale A. Knowledge Processing - A Synopsis In: J.H. van Bemmel & A. T.McCray (eds), Yearbook of Medical Informatics 1994 - Advanced Communications in Health Care. Publs: Schattauer and IMIA, Germany/the Netherlands 1994;381-383. - -
268 Rawling S.C.J., & Fox J. Artificial Intelligence in Molecular Biology: A Review and Assessment Discussion Meeting on Mathematics, Statistical Aspects and DNA Protein Sequences Phil. Trans. R. Soc. Lond B (June 1994;344: 353-363). - -
267 Krause P. Review of book Fuzzy Logic for the Management of Uncertainty by L Zadeh & J. Kacprzyk (eds). Wiley & sons, 1992. In: Expert Systems, February 1994, Vol 11.1.;57-58. - -
No Author Title Publication - -
266 Fox J. Expert Systems and Theories of Knowledge In M Boden (Ed) Handbook of Perception and Cognition, Volume 14: Computational Psychology and Artificial Intelligence. - -
265 Fox J, Das S., & Elsdon D. Decision Making and Planning in Autonomous Systems Theory, Technology & Applications In: Proceedings of ECAI 94 Workshop on Decision Theory for DAI Applications, Amsterdam, The Netherlands, 8-12 August 1994;9-17. - -
264 Hearne C., Zhan Cui, Parsons S. Prototyping a Genetics Database In: Altman R., Brutlag D., Karp P., Lathrop R, Searls D. Eds), Procs 2nd Int. Conference on Intelligent Systems for Molecular Biology. August 14-17 1994, Stanford University, Stanford USA. AAAI Press, 1994;1170-178. ISBN:0-929280-68-7 - -
263 Krause P., Fox J, Judson P. An Argumentation Based Approach to Risk Assessment Presented at IMA conf. on Risk: Analysis and Assessment, 14-15 April 94. In IMA Journal of Mathematics Applied to Business and Industry, (1993/4) 5, 249-263. - -
262 - - RED Project Development Group Expert Systems for Safety-Critical Applications: Theory, Technology and Applications Presented at IEEE colloquium, London, April 12, 1994. - -
261 Hammond P., Harris A., Das S., Wyatt J. Prevention, Detection and Amelioration of Adverse Events in Protocol-based Decision Support In Procs Artificial Intelligence in Medicine Spring Symposium Series, Symposium: AI in Medicine: Interpreting Clinical Data (Uckun S., ed) Stanford University, Published: AAAI, 1994:62-66. - -
260 Fitzpatrick F.J., Davenport J.C, Hammond P, Randell D.A. Critiquing the Computer-Aided Design of Dental Prostheses In: Proceedings of Sixth World Conf. on Educational Multi-Media and Hypermedia,(eds Ottoman T, Tomel I.) ED-MEDIA94, Vancouver, Canada, June 1994;217-228. - -
259 Hajnal S., Taylor P., Dilhuydy M.H, Barreau B. Classifying Mammograms by Density: Sorting for Screening In: State of the Art in Digital Mammographic Image Analysis (Eds) Bowyer K.W., Astley S., Series in Machine Perception and Artificial Intelligence - Vol 9. World Scientific, 1994;64-81. - -
258 Huang J., Jennings N, Fox J. Cooperation in Distributed Medical Care Procs of 2nd Inter. Conf. on Cooperative Information Systems, (CoopIS-94) Toronto, Canada May 17-20 1994;255-263. - -
257 Jonker W. Bressan S. Sikeler A., Hearne C., Parsons S & Cui Z. On the Use of IDEA Database Technology in Molecular Biology Technical Report, March 1994 - -
256 Parsons S. Hybrid Models of Uncertainty in Protein Topology Prediction To appear in Applied Artificial Intelligence, 1995 - -
255 Ambler S.J. A Categorical Approach to the Semantics of Argumentation To appear in the Journal of Mathematical Structures in Computer Science, 1995. - -
254 Parsons S. Further Results in Qualitative Uncertainty In: International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, Vol 3. No.2 (1995), 187-210. - -

253 Huang J & Fox J An Agent Architecture for Distributed Medical Care In: Proceedings of ECAI94 Workshop on Agent Theories, Architectures and Languages, Amsterdam, The Netherlands, 8-12 August 1994;200-206. Springer-Verlag (Lecture Notes in Computer Science), January 1995. - -

1993

252 Das S & Hammond P Managing Tasks Safely Using an Interval-based Modal Temporal Logic - - - -
251 Elvang-Goransson M & Hunter A Augumentative Logics - Reasoning with Classically Inconsistent Information - - (??) - -
249 Krause P J, Byers P ( University of Surrey) & Hajnal S Formal Specification and Decision Support Decision Support Systems, 1994;12:189-197. - -
247 Hammond P OaSIS1: A Decision Support System for Protocol-Based Treatment of Cancer L Sterling (Editor) Proceedings of 2nd Int. Conf. on the Practical Application of Prolog, London, Royal Society of Arts 26-27 April 1994;253:270. - -
246 Parsons S / & Saffiotti A The Qualitative Verification of Quantitative Uncertainty In: The 5th Int. Conf. on Information Processing and Management of Uncertainty in Knowledge Based Systems, (IPMU94) Paris 4-8 July 1994. 1994;443-448 - -
245 Hammond P, Harris A L, Das S K & Wyatt J C Safety and Decision Support In Oncology In: Methods of Information in Medicine, vol 33 (4/94)1994;371-381 - -
244 Fox J Decision-Support Systems as Safety-Critical Components: Towards a Safety Culture for Medical Informatics Editorial, In: Methods of Information in Medicine, 1993; 32:345-348. - -
243 Fox J Accolades and Brickbats (a review of two journals - Applied Intelligence and Artificial Intelligence Tools) Nature, Vol 365; 584-585:7. October 1993. - -
242 Parsons S Some Qualitative Approaches to Applying the Dempster-Shafer Theory Information and Decision Technologies, 19 (1994);321-337. - -
241 Parsons S & Mamdani EH On Reasoning in Neonerks with Qualitative Uncertainty In: D Heckerman & A Mamdani (eds), Uncertainty in Artificial Intelligence 93. Proceeding of 9th conference, Washington USA. Morgan Kaufman, July 1993;435-442. - -
240 Clark D. A, Krause P. J. The Nature of Uncertainty In: Advanced Information Systems Vol 1:3:1993;12-17. - -
239 Hammond P. OaSIS: Integrating Safety Reasoning for Decision Support in Oncology Proceedings The Tenth Conference on Artificial Intelligence for Applications (CAIA94). IEEE Computer Society Press, San Antonio, Texas, March 1-4 1994;185-191. - -
238 Ginzler M., Pritchard P, Mant D. Delay in Diagnosing and Treating Cancer - Part 2: Reasons for, and avoidance of, delay. In: Oncology in Practice 1/93:4-10. - -
236 Pritchard P. The Role of Computers in Referral In: Referrals to Medical Outpatients. Hopkins A, Wallace P. (Eds) Publs: Royal College of Physicians, 1993;79-89 - -
235 Parsons S, Saffiotti A. Integrating Uncertainty Handling Formalisms In: Distributed Artificial Intelligence Clarke M, Kruse M, Moral S.(eds) Symbolic and Quantitative Approaches to Reasoning and Uncertainty. Proceedings of European Conference ECSQARU93. Granada, Spain, November 1993. Lecture Notes in Computer Science 747. Springer-Verlag, 1993:304-309. - -
234 Parsons S., Kubat M, Dohnal M. A Rough Set Approach to Reasoning under Uncertainty Journal of Experimental & Theoretical Artificial Intelligence, 7(1995)175-193 - -
233 Fox J, Smale A. Why Should you Trust a Decision Support System? Towards a Quality and Safety Culture for Knowledge Based Systems In: P Barahona & Christensen J.P. (eds) Knowledge and Decisions in Health Telematics; The Next Decade. Studies in Health Technology and Informatics, Vol:12. IOS Press, 1994; 81-89 - -
232 Gordon C., Herbert S., Jackson-Smale A & Renaud-Salis J.R. Care Protocols and Healthcare Informatics Procs 4th Int. Conf. on Artificial Intelligence in Medicine Europe, 3-6 Oct 1993. IOS Press 1993; 289-309 - -
231 Das S, Hammond P. An Interval-Based Modal Temporal Logic In: Research and Development in Expert Systems X M A Bramer & A L Macintosh (eds). Proceedings Expert Systems 93, 13th Annual Technical Conference of the British Computer Society Specialist Group on Expert Systems, Cambridge, December 1993. BHR Group Ltd/IEE 1993;131:142. - -
230 DRUMS Consortium DRUMS - Defeasible Reasoning and Uncertainty Management Systems Artificial Intelligence Communications, March 1993, 6(1);27-46. - -
229 Das S.& Hammond P. A Logic for Conditional Recommendation Internal technical report - -
228 Smale A. Standard Practice The British Journal of Healthcare Computing & Information Management, June 1993;10:5;15 - -
227 Parsons S. Some Elements of the Theory of Qualitative Possibilistic Neonerks Int. Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 1994 (complete details) - -
226 Fox J. On the Necessity of Probability: Reasons to Believe and Grounds for Doubt In G Wright & P Ayton (Eds) Subjective Probability, J Wiley & Sons, 1994;75-104. - -
225 Krause P., Fox J, ONeil M, Glowinski A Can We Formally Specify a Medical Decision Support System? IEEE Expert, June 1993;56-61 - -
224 Hajnal S., Taylor P., Dilhuydy M-H , Barreau B & Fox J Classifying Mammograms by Density: Rationale and Preliminary Results In Biomedical Image Processing and Biomedical Visualization, Raj S Acharya, Dmitry B Goldgof, Editors, Proc. SPIE 1905, 478-487 (1993). - -
223 Parsons S, Mamdani E H Qualitative Dempster-Shafer Theory. In: Qualitative Reasoning and Decision Technologies N Piera Carret & M.G. Singh (Eds), Proceedings of QUARDET93. 1993;471-480 - -
221 Das S.K, Fox J. A Logic for Reasoning about Safety in Decision Support Systems. M Clarke, R Kruse, S Moral (eds) Symbolic and Quantitative Approaches to Reasoning and Uncertainty. Proceedings of European Conference ECSQARU93. Granada, Spain, November 1993. Lecture Notes in Computer Science 747. Springer-Verlag, 1993;79-84. - -
218 Elvang-Goransson M., Krause P.J, Fox J. Acceptability of Arguments as Logical Uncertainty. M Clarke, R Kruse, S Moral (eds) Symbolic and Quantitative Approaches to Reasoning and Uncertainty.Proceedings of European Conference ECSQARU93. Granada, Spain, November 1993.Lecture Notes in Computer Science 747. Springer-Verlag, 1993;85-90. - -
214 Cui Z., Fox J, Hearne C. Knowledge Based Systems for Molecular Biology: the Role of Advanced Database Technology and Formal Specifications. In: Procs IJCAI93 Conference - AI and the Genome Workshop. 13th Int. Joint Conference on Artificial Intelligence, Chambery, France 27-31 August 1993;87-97. - -
212 Fox J. On the Soundness and Safety of Expert Systems Artificial Intelligence in Medicine, 5 (1993) 159-179. - -
211 Ginzler M., Pritchard P. and Mant D. Delay in Diagnosing and Treating Cancer: Part 1: How much delay, and does it matter? Oncology in Practice 1992/1;6-13. - -
210 Elvang-Goransson M., Krause P, Fox J. Dialectic Reasoning with Inconsistent Information In: D Heckerman & A Mamdani (Eds) Uncertainty in Artificial Intelligence 93. Proceedings of 9th Conference, Washington, DC, USA. Morgan Kaufmann, July 9-11 - -
207 Fox J, Krause P & Elvang-Goransson M Argumentation as a General Framework for Uncertain Reasoning. In Procs of 9th Conf, on Uncertainty in Artificial Intelligence, Washington DC USA July 9-11, 1993.(Eds) David Heckerman & Abe Mamdani. Publs Morgan Kaufmann. 1993;428-434 - -
206 Krause P, Clark C. Uncertainty and Subjective Probability in AI Systems In Wright G & Ayton P (Eds) Subjective Probability, Wiley J & Sons, 1994;501-527 - -

1992

200 Cui Z., Cohn A.G, Randell D.A. Qualitative and Topological Relationships in Spatial Databases In: D Abel & B Chin Ooi (eds) Advances in Spatial Databases Procs of Third Int. Symposium, SSD93, Singapore, June 1993. Lecture Notes in Computer Science 692. Springer-Verlag, 1993;296-315 - -
196 Barton G.J, Rawlings C.J. A PROLOG Approach to Analysing Protein Structure In: Tetrahedron Computer Methodology Vol 3 No 6C; 739-756, 1990 - -
186 Fox J. Engineering Safety into Expert Systems In: F Redmill & T Anderson (eds) Directions in Safety-Critical Systems, Chapman and Hall, 1993;202-227 - -
185 Krause P, Glowinski A. A Formal Specifications and Medical Decision Support Systems Applied Artificial Intelligence, 7:237-256, 1993 - -
184 Huang J., Fox J, Gordon C. & Smale A. Symbolic Decision Support in Medical Care Artificial Intelligence in Medicine Oct 1993; 5(5): 415-430 - -
181 Parsons S., Kubat M, Dohnal M. A Robust Logic for Rule- Based Reasoning Under Uncertainty In: M Jamshidi et al (Eds) Robotics and Manufacturing - Volume 4. Proceedings of 4th International Symposium on Robotics & Manufacturing (ISRAM92), New Mexico, USA. ASME Press. Nov 11-13 1992;717-722. - -
180 Parsons S, Dohnal M. Qualitative, Semiqualitative and Interval Algebras, and Their Application to Engineering Problems Engineering Applications of AI 1992, 5:553-560 - -
179 Parsons S., Kubat M, Dohnal M. A Robust Logic for Rule-Based Reasoning under Uncertainty. In: Computer Systems & Software Engineering, CompEuro 1992 Proceedings of IEEE International Conf. May 4-8 1992, The Netherlands. IEEE Computer Society Press;119-120 - -
178 Parsons S, Dohnal M. A Semiqualitative Approach to Reasoning in Probabilistic Neonerks Applied Artificial Intelligence, 1993; 7:223-235 - -
175 Taylor P., Hajnal S., Dilhuydy M.-H. Barreau B, Fox J. Using Computers to Separate Difficult from Easy Mammograms. British Journal of Radiology, 1994;67:456-463 - -
173 Fox J. Logic Engineering and Clinical Dilemmas In: Comyn G, Fuchs N E & Ratcliffe M J (Eds) Logic Programming in Action Proc 2nd International Logic Programming School, Zurich, Switzerland Sept 7-11 1992. Lecture Notes in Artificial Intelligence 636, Springer-Verlag, 1993;100-106. - -
172 Krause P., Ambler S, Fox J. The Development of a Logic of Argumentation In: IPMU92 - Advanced Methods in Artificial Intelligence. Eds: B Bouchon-Meunier, L Valverde, R R Yager Lecture Notes in Computer Science series 682, Springer-Verlag, 1993; 109-118. Procs of 4th Int Conf on Information Processing & Management of Uncertainty in Knowledge-Based Systems. Palma de Mallorca, Spain, July 1992. - -
155 Fox J, Krause P. and Ambler S. Arguments, Contradictions and Practical Reasoning In: Neumann B (Ed) ECAI92, Vienna, Austria. Procs of 10th European Conf. on AI, August 3-7 1992;623-627. - -

1991

151 Fox J, Krause P. Qualitative Frameworks for Decision Support: Lessons from Medicine Knowledge Engineering Review, Vol 7:1 1992, 19-33. - -
150 Gordon C. Supporting Acts (Primary Care: Decision Support) The British Journal of Healthcare Computing, Sept 1991;29-30 - -
145 Clark, D A Verbal (CHECK) Uncertainty Expressions: A Critical Review of Two Decades of Research Current Psychology: Research & Reviews, Fall 1990, Vol 9 No 3 203-235. - -
137 Saldanha J & Mahadevan D Molecular model-building of amylin and a-calcitonin gene-related polypeptide hormones using a combination of knowledge sources Protein Engineering 1991; 4(1): 539-544. - -
136 Fox, J. and Krause, P. Symbolic Decision Theory and Autonomous Systems In: DAmbrosio B d, Smets P and Bonissone P P (eds), Proceedings of the Seventh Conference on Uncertainty in Artificial Intelligence 1991, UCLA San Mateo, California; Morgan Kauffmann, 1991; 103-110 - -
131 Fox J. Decision Theory and Autonomous Systems In: M G Singh & L Trave-Massuyes (ed) Proc. IMACS International Workshop on Decision Support Systems and Qualitative Reasoning. Toulouse, France, March 1992; Elsevier Science Publishers (North-Holland). Pg 43-62. - -
130 Glowinski, A., Coiera, E, ONeil, M. The Role of Domain Models in Maintaining Consistency of Large Medical Knowledge Bases. In: Stefanelli M, Hasman A, Fieschi M, Talmon J (ed) Lecture Notes in Medical Informatics 44. Proceedings Third Conference on Artificial Intelligence in Medicine. Maastricht June 1991 - Berling: Springer-Verlag 1991; 72-81 - -
129 Clark, D.A., Shirazi, J. and Rawlings, C.J. Protein Topology Prediction Through Constraint-Based Search and the Evaluation of Topological Folding Rules Protein Engineering Vol 4:7; 751-760, 1991 - -

1990

128 Parsons, S, Fox J. Qualitative and Interval Algebras for Robust Decision Making Under Uncertainty In: Singh MG & Trave-Massuyes L (ed) Proc. IMACS International Workshop on Decision Support and Qualitative Reasoning Toulouse, France March 1991. Elsevier. Pg 163-168 - -
121 Fox, J, Clarke, M. Towards a formalisation of arguments in decision making. In: Proceedings of Stanford Spring Symposium on Argumentation and Belief, March 1991 - -
120 Fox, J. Ginzler, M. Glowinski, A. Gordon, C. Hajnal, S. O’Neil, M. Pritchard, P. Renaud-Salis, J.L. Taylor, P. Benlamkaddem, A Jegou, P. Barahona, P. Veloso, M. Ribeiro, A. Nascimento, N. Schreiner, A. Chard, T. LEMMA: Methods and Architectures for Logic Engineering in Medicine In: J Noothoven van Goor & J P Christensen (Eds) Advances in Medical Informatics - Results of the AIM Exploratory Action. IOS Press, 1992;216-224 - -
114 Krause, P J., Byers, P., Hajnal, S & Fox, J. The Use of Object- Oriented Process Specification for the Validation and Verification of Decision Support Systems In: Ayel M, Laurent J-P (ed) Validation, Verification and Test of Knowledge Based Systems New York: Wiley Professional Computing, 1991; 77-91 - -
108 Fox, J., Glowinski, A., Gordon, C., Hajnal, S, O’Neil, M Logic Engineering for Knowledge Engineering: Design and implementation of the Oxford System of Medicine Artificial Intelligence in Medicine Vol 2:6, Dec 1990;323-339. - -
107 Rawlings, C. J. Clark, D.A., Barton, G J., Archer, I, Saldanha, I. Large Knowledge Based Applications In: Molecular Biology and Genetics Proceedings; IEE Colloquium Very Large Knowledge- based systems June 1990, 6/1 - 6/5 (DETAILS) - -
106 Clark, D A Human Expertise, Statistical Models and Knowledge-Based Systems In: Wright, G., and Bolger, F (Ed) Expertise and Decision Support New York: Plenum Press, 1992; 227-249. - -
103 Fox, J., Glowinski, A., Gordon, C & O’Neil, M. Expert Systems, Databases and Decision Procedures In Medical Informatics Europe 90, Lecture Notes in Medical Informatics, 40 (Eds R. O’Moore, S Bengtsson, J R Bryant, J S Reydon) Berlin: Springer-Verlag, 1990;239-244 - -
93 O’Neil, M, Glowinski, A. Evaluating and Validating Very Large Knowledge-Based Systems Medical Informatics 15 (3);237-252 - -
92 Fox, J., Glowinski, A J & O’Neil, M. Reliable and Reusable Tools for Medical Knowledge Based Systems In: J Talmon & Fox J (Eds) Proceedings of Conference on AI in Medicine, COMAC-BME, Maastricht, (Springer-Verlag). 1989;91-105 - -
90 Clark, DA., Fox, J., Glowinski, AJ. and O’Neil, MJ Symbolic Reasoning for Decision Making In: K Borcherding, O I Larichev & D M Messick (Eds) Contemporary Issue in Decision Making Elsevier Science Publications BV, 1990;57-75. - -
89 Fox, J., Clark, DA., Glowinski, AJ., & O’Neil, M. Using Predicate Logic to Integrate Qualitative Reasoning and Classical Decision Theory In: IEEE Transactions on Systems, Man and Cybernetics. March/April 1990;20(2):347-357. - -
87 Clark, D A., Barton, G J and Rawlings, C J. A Knowledge-Based Architecture for Protein Structure Prediction Journal of Molecular Graphics, June 1990;8:94-107 - -
86 Clark D.A. Numerical and Symbolic approaches to Uncertainty Management in A.I. - A Review and Discussion Artificial Intelligence Review 1990; 4(2):109-146 - -


Contact

Anastasia Photiou : anacancer.org.uk