-
1
-
-
0348230877
-
Definition of the high-level task specification language, deliverable D11
-
EU 5th Framework Programme, HOMEY project IST-2001-32434
-
M. Beveridge and D. Milward, Definition of the high-level task specification language, Deliverable D11, EU 5th Framework Programme, HOMEY project IST-2001-32434, 2003.
-
(2003)
-
-
Beveridge, M.1
Milward, D.2
-
3
-
-
0342918822
-
HCRC dialogue structure coding manual
-
Technical Report HCRC/TR-82, Human Communication Research Centre, Edinburgh University
-
J. Carletta, A. Isard, S. Isard, J. Kowtko and G. Doherty-Sneddon, HCRC dialogue structure coding manual, Technical Report HCRC/TR-82, Human Communication Research Centre, Edinburgh University, 1996.
-
(1996)
-
-
Carletta, J.1
Isard, A.2
Isard, S.3
Kowtko, J.4
Doherty-Sneddon, G.5
-
4
-
-
0346339969
-
LinkFactory: An advanced formal ontology management system
-
W. Ceusters, P. Martens, C. Dhaen and B. Terzic, LinkFactory: an advanced formal ontology management system, in: Proc. Interactive Tools for Knowledge Capture Workshop, KCAP 2001, Victoria, BC, Canada, 2001.
-
Proc. Interactive Tools for Knowledge Capture Workshop, KCAP 2001, Victoria, BC, Canada, 2001
-
-
Ceusters, W.1
Martens, P.2
Dhaen, C.3
Terzic, B.4
-
6
-
-
84888351965
-
Mediated agent interaction
-
S. Quaglini, B. Barahona and S. Andreassen, eds, Springer Lecture Notes in Artificial Intelligene, No. 2101, Berlin
-
E. Coiera, Mediated Agent Interaction, in: Proceedings of the 8th Conference on Artificial Intelligence in Medicine Europe, AIME 2001, Cascais, Portugal, S. Quaglini, B. Barahona and S. Andreassen, eds, Springer Lecture Notes in Artificial Intelligene, No. 2101, Berlin, 2001, pp. 1-15.
-
(2001)
Proceedings of the 8th Conference on Artificial Intelligence in Medicine Europe, AIME 2001, Cascais, Portugal
, pp. 1-15
-
-
Coiera, E.1
-
7
-
-
0030259969
-
Managing tasks using an interval based temporal logic
-
S.K. Das, Managing tasks using an interval based temporal logic, Journal of Applied Intelligence 6 (1996), 311-323.
-
(1996)
Journal of Applied Intelligence
, vol.6
, pp. 311-323
-
-
Das, S.K.1
-
8
-
-
0346339966
-
A logic for conditional recommendation
-
Technical report, William Penney Laboratory, Imperial College London
-
S. Das and P. Hammond, A Logic for conditional recommendation, Technical report, William Penney Laboratory, Imperial College London, 1994.
-
(1994)
-
-
Das, S.1
Hammond, P.2
-
9
-
-
0031485416
-
A flexible architecture for autonomous agents
-
S.K. Das, J. Fox, D. Elsdon and P. Hammond, A flexible architecture for autonomous agents, Journal of Theoretical and Experimental Artificial Intelligence 9(4) (1997), 407-440.
-
(1997)
Journal of Theoretical and Experimental Artificial Intelligence
, vol.9
, Issue.4
, pp. 407-440
-
-
Das, S.K.1
Fox, J.2
Elsdon, D.3
Hammond, P.4
-
10
-
-
0002248655
-
KQML as an agent communication language
-
T. Finin, R. Fritzson, D. McKay and R. McEntire, KQML as an Agent Communication Language, in: Proceedings of the 3rd International Conference on Information and Knowledge Management (CIKM '94), 1994.
-
Proceedings of the 3rd International Conference on Information and Knowledge Management (CIKM '94), 1994
-
-
Finin, T.1
Fritzson, R.2
McKay, D.3
McEntire, R.4
-
11
-
-
0346339968
-
-
FIPA Foundation for Intelligent Agents
-
FIPA Foundation for Intelligent Agents, see Web site at http://www.fipa.org/.
-
-
-
-
12
-
-
0346339967
-
Decision theory and autonomous systems
-
M.G. Singh and L. Trave-Massuyes, eds, North Holland, Amerdam
-
J. Fox, Decision theory and autonomous systems, Keynote lecture at IMACS International Workshop on Decision Support Systems and Qualitative Reasoning, M.G. Singh and L. Trave-Massuyes, eds, North Holland, Amerdam, 1991.
-
(1991)
IMACS International Workshop on Decision Support Systems and Qualitative Reasoning
-
-
Fox, J.1
-
14
-
-
0025405267
-
Using predicate logic to integrate qualitative reasoning and classical decision theory
-
J. Fox, D. Clark, A. Glowinski and M. O'Neil, Using predicate logic to integrate qualitative reasoning and classical decision theory, IEEE Trans. on Systems, Man and Cybernetics 20(2) (1990), 347-357.
-
(1990)
IEEE Trans. on Systems, Man and Cybernetics
, vol.20
, Issue.2
, pp. 347-357
-
-
Fox, J.1
Clark, D.2
Glowinski, A.3
O'Neil, M.4
-
16
-
-
0347600875
-
Decision making and planning by autonomous agents: Theory, technology and applications
-
J. Fox, S.K. Das and D. Elsdon, Decision making and planning by autonomous agents: theory, technology and applications, in: Workshop on Decision Theory for Distributed AI Applications, European Conference on Artificial Intelligence, Amsterdam, 1994.
-
Workshop on Decision Theory for Distributed AI Applications, European Conference on Artificial Intelligence, Amsterdam, 1994
-
-
Fox, J.1
Das, S.K.2
Elsdon, D.3
-
17
-
-
44949286580
-
Logic engineering for knowledge engineering: The Oxford System of Medicine
-
J. Fox, C. Gordon, A. Glowinski and M. O'Neil, Logic engineering for knowledge engineering: the Oxford System of Medicine, Artificial Intelligence in Medicine 2(6) (1990), 323-340.
-
(1990)
Artificial Intelligence in Medicine
, vol.2
, Issue.6
, pp. 323-340
-
-
Fox, J.1
Gordon, C.2
Glowinski, A.3
O'Neil, M.4
-
18
-
-
0345761321
-
PROforma: A method and language for specifying clinical guidelines and protocols
-
IOS Press, Amsterdam
-
J. Fox, N. Johns, A. Rahmanzadeh and R. Thomson, PROforma: a method and language for specifying clinical guidelines and protocols, in: Proc. Medical Informatics Europe, IOS Press, Amsterdam, 1996.
-
(1996)
Proc. Medical Informatics Europe
-
-
Fox, J.1
Johns, N.2
Rahmanzadeh, A.3
Thomson, R.4
-
19
-
-
0003086175
-
Arguments, contradictions and practical reasoning
-
J. Fox, P. Krause and P. Ambler, Arguments, contradictions and practical reasoning, in: Proc. European Conference on Artificial Intelligence, Vienna, John Wiley, Chichester, 1992, pp. 623-626.
-
Proc. European Conference on Artificial Intelligence, Vienna, John Wiley, Chichester, 1992
, pp. 623-626
-
-
Fox, J.1
Krause, P.2
Ambler, P.3
-
20
-
-
0021839491
-
Knowledge acquisition for expert systems: Experience using EMYCIN for leukaemia diagnosis
-
J. Fox, C.D. Myers, M. Greaves and S. Pegram, Knowledge acquisition for expert systems: experience using EMYCIN for leukaemia diagnosis, Methods of Information in Medicine (24) (1985), 65-72.
-
(1985)
Methods of Information in Medicine
, Issue.24
, pp. 65-72
-
-
Fox, J.1
Myers, C.D.2
Greaves, M.3
Pegram, S.4
-
21
-
-
0032216439
-
Decision support and disease management: A logic engineering approach
-
J. Fox and R. Thomson, Decision support and disease management: a logic engineering approach. IEEE Transactions in Biomedicine 2(4) (1998), 217-228.
-
(1998)
IEEE Transactions in Biomedicine
, vol.2
, Issue.4
, pp. 217-228
-
-
Fox, J.1
Thomson, R.2
-
22
-
-
0027998056
-
Safety and decision support in oncology
-
P. Hammond, A.L. Harris, S.I. Das and J.C. Wyatt, Safety and decision support in oncology. Methods of Information in Medicine 33(4) 3 (1994), 371-381.
-
(1994)
Methods of Information in Medicine
, vol.33
, Issue.4
, pp. 371-381
-
-
Hammond, P.1
Harris, A.L.2
Das, S.I.3
Wyatt, J.C.4
-
26
-
-
0011407144
-
Conversational games within dialogue
-
M. Caenepeel, J.L. Delin, L. Oversteegen, G. Redeker and J. Sanders, eds
-
J. Kowtko, S. Isard and G.M. Doherty, Conversational games within dialogue, in: Proceedings of the DANDI Workshop on Discourse Coherence, M. Caenepeel, J.L. Delin, L. Oversteegen, G. Redeker and J. Sanders, eds, 1991.
-
(1991)
Proceedings of the DANDI Workshop on Discourse Coherence
-
-
Kowtko, J.1
Isard, S.2
Doherty, G.M.3
-
27
-
-
84990617539
-
A logic of argumentation for uncertain reasoning
-
P.J. Krause, S.J. Ambler and J. Fox, A logic of argumentation for uncertain reasoning, Computational Intelligence 11(1) (1995), 113-131.
-
(1995)
Computational Intelligence
, vol.11
, Issue.1
, pp. 113-131
-
-
Krause, P.J.1
Ambler, S.J.2
Fox, J.3
-
28
-
-
0041108043
-
The role of plans in discourse generation
-
D. Everett and S.G. Thomason, eds
-
J. Moore, The role of plans in discourse generation, in: Discourse: Linguistic, Computational, and Philosophical Perspectives, D. Everett and S.G. Thomason, eds, 1995.
-
(1995)
Discourse: Linguistic, Computational, and Philosophical Perspectives
-
-
Moore, J.1
-
31
-
-
0031869530
-
The guideline interchange format: A model for representing guidelines
-
L. Ohno-Machado, J.H. Gennari, S.N. Murphy et al., The guideline interchange format: a model for representing guidelines, Journal of the American Medical Informatics Association 5(4) (1998), 357-372.
-
(1998)
Journal of the American Medical Informatics Association
, vol.5
, Issue.4
, pp. 357-372
-
-
Ohno-Machado, L.1
Gennari, J.H.2
Murphy, S.N.3
-
32
-
-
0346969909
-
Argumentation and decision making: A position paper
-
D. Gabbay and H.J. Ohlbach, eds, Springer, Berlin
-
S. Parsons and J. Fox, Argumentation and decision making: a position paper, in: Practical Reasoning, D. Gabbay and H.J. Ohlbach, eds, Springer, Berlin, 1996.
-
(1996)
Practical Reasoning
-
-
Parsons, S.1
Fox, J.2
-
33
-
-
0037246265
-
Comparing computer-interpretable guideline models: A case-study approach
-
M. Peleg, S. Tu, J. Bury, P. Ciccarese, J. Fox, R.A. Greenes, R. Hall, P.D. Johnson, N. Jones, A. Kumar, S. Miksch, S. Quaglini, A. Seyfang, E. H. Shortliffe and M. Stefanelli, Comparing computer-interpretable guideline models: a case-study approach, Journal of the American Medical Informatics Association 10(1) (2003), 52-68.
-
(2003)
Journal of the American Medical Informatics Association
, vol.10
, Issue.1
, pp. 52-68
-
-
Peleg, M.1
Tu, S.2
Bury, J.3
Ciccarese, P.4
Fox, J.5
Greenes, R.A.6
Hall, R.7
Johnson, P.D.8
Jones, N.9
Kumar, A.10
Miksch, S.11
Quaglini, S.12
Seyfang, A.13
Shortliffe, E.H.14
Stefanelli, M.15
-
36
-
-
0027560432
-
Agent-oriented programming
-
Y. Shoham, Agent-oriented programming, Artificial Intelligence 60(1) (1993), 51-92.
-
(1993)
Artificial Intelligence
, vol.60
, Issue.1
, pp. 51-92
-
-
Shoham, Y.1
-
37
-
-
0347600869
-
The syntax and semantics of the PROforma process modeling language
-
submitted for publication
-
D. Sutton and J. Fox, The syntax and semantics of the PROforma process modeling language, submitted for publication (2002).
-
(2002)
-
-
Sutton, D.1
Fox, J.2
-
38
-
-
0033255542
-
The development and evaluation of CADMIUM: A prototype system to assist in the interpretation of mammograms
-
P. Taylor, J. Fox and A. T. Pokropek, The development and evaluation of CADMIUM: a prototype system to assist in the interpretation of mammograms, Medical Image Analysis 3(4) (1999), 321-337.
-
(1999)
Medical Image Analysis
, vol.3
, Issue.4
, pp. 321-337
-
-
Taylor, P.1
Fox, J.2
Pokropek, A.T.3
-
39
-
-
0030927974
-
Evaluation of computer support for prescribing (CAPSULE) using simulated cases
-
R.T. Walton, C. Gierl, P. Yudkin, H. Mistry, M.P. Vessey and J. Fox, Evaluation of computer support for prescribing (CAPSULE) using simulated cases, British Medical Journal 315 (1997), 791-795.
-
(1997)
British Medical Journal
, vol.315
, pp. 791-795
-
-
Walton, R.T.1
Gierl, C.2
Yudkin, P.3
Mistry, H.4
Vessey, M.P.5
Fox, J.6
-
40
-
-
0347600870
-
The BOSS cancer protocol management system
-
described in [17]
-
R. Taylor and J.-L. Renaud-Salis, The BOSS cancer protocol management system, described in [17].
-
-
-
Taylor, R.1
Renaud-Salis, J.-L.2
|