-
1
-
-
14844328614
-
Automation vs. human intervention - What is the best fit for the optimal system performance?
-
J.M. Haight & V. Kecojevic, Automation vs. human intervention - What is the best fit for the optimal system performance? Process Safety Progress, 24(1), 2005, 45-51.
-
(2005)
Process Safety Progress
, vol.24
, Issue.1
, pp. 45-51
-
-
Haight, J.M.1
Kecojevic, V.2
-
2
-
-
0032092102
-
Decision procedures for BDI logics
-
A.S. Rao & M.P. Georgeff, Decision procedures for BDI logics, Journal of Logic and Computation, 8(3), 1998, 293-343.
-
(1998)
Journal of Logic and Computation
, vol.8
, Issue.3
, pp. 293-343
-
-
Rao, A.S.1
Georgeff, M.P.2
-
5
-
-
52049093143
-
-
D. Kinny, M. Georgeff, & A. Rao, A methodology and modeling technique for systems of BDI agents, Proc. Seventh European Workshop on Modeling Autonomous Agents in a Multi-Agent World, MAAMAW'96, by Springer as Lecture Notes in artificial intelligence 1038, 1996.
-
D. Kinny, M. Georgeff, & A. Rao, A methodology and modeling technique for systems of BDI agents, Proc. Seventh European Workshop on Modeling Autonomous Agents in a Multi-Agent World, MAAMAW'96, by Springer as Lecture Notes in artificial intelligence 1038, 1996.
-
-
-
-
7
-
-
0002908551
-
From theory to practice
-
BDI agents:, Technical Report 56, Australian Artificial Intelligence Institute, Melbourne, Australia
-
A.S. Rao & M.P. Georgeff, BDI agents: From theory to practice, Technical Report 56, Australian Artificial Intelligence Institute, Melbourne, Australia, 1995.
-
(1995)
-
-
Rao, A.S.1
Georgeff, M.P.2
-
8
-
-
0023175043
-
A domain for research on human-computer interaction and decision aiding in supervisory systems
-
GT-MSOCC
-
C.M. Mitchell, GT-MSOCC: A domain for research on human-computer interaction and decision aiding in supervisory systems, IEEE Transaction on Systems, Man, and Cybernetics, 17(4), 1987, 553-572.
-
(1987)
IEEE Transaction on Systems, Man, and Cybernetics
, vol.17
, Issue.4
, pp. 553-572
-
-
Mitchell, C.M.1
-
9
-
-
0000118658
-
Model-based communicative acts: Human-computer collaboration in supervisory control
-
P.M. Jones & C.M. Mitchell, Model-based communicative acts: Human-computer collaboration in supervisory control. International Journal of Human-Computer Studies, 41 (4), 1994, 527-551.
-
(1994)
International Journal of Human-Computer Studies
, vol.41
, Issue.4
, pp. 527-551
-
-
Jones, P.M.1
Mitchell, C.M.2
-
10
-
-
0024079275
-
Decision models for aiding FMS scheduling and Control
-
J.C. Animons, T. Govindaraj, & C.M. Mitchell, Decision models for aiding FMS scheduling and Control, IEEE Transaction on Systems, Man, and Cybernetics, 18(5), 1998, 744-756.
-
(1998)
IEEE Transaction on Systems, Man, and Cybernetics
, vol.18
, Issue.5
, pp. 744-756
-
-
Animons, J.C.1
Govindaraj, T.2
Mitchell, C.M.3
-
11
-
-
2842560201
-
New approach to the application of theorem proving
-
STRIPS
-
R. Fikes & N. Nilsson, STRIPS: New approach to the application of theorem proving, Artificial Intelligence, 2(3-4), 1971, 189-208.
-
(1971)
Artificial Intelligence
, vol.2
, Issue.3-4
, pp. 189-208
-
-
Fikes, R.1
Nilsson, N.2
-
13
-
-
3142733812
-
Design and development of a prototype distributed simulation for evaluation of supply chains
-
J. Venkateswaran & Y. Son, Design and development of a prototype distributed simulation for evaluation of supply chains, International Journal of Industrial Engineering, 11(2), 2004, 151-160.
-
(2004)
International Journal of Industrial Engineering
, vol.11
, Issue.2
, pp. 151-160
-
-
Venkateswaran, J.1
Son, Y.2
|