-
1
-
-
0033889059
-
Modeling robot cognitive activity through active mental entities
-
P. Baroni and D. Fogli. Modeling robot cognitive activity through active mental entities. Robotics and Autonomous Systems, 30(4):325-349, 2000.
-
(2000)
Robotics and Autonomous Systems
, vol.30
, Issue.4
, pp. 325-349
-
-
Baroni, P.1
Fogli, D.2
-
2
-
-
0001627973
-
Extending abstract argumentation systems theory
-
P. Baroni, M. Giacomin, and G. Guida. Extending abstract argumentation systems theory. Artificial Intelligence, 120(2):251-270, 2000.
-
(2000)
Artificial Intelligence
, vol.120
, Issue.2
, pp. 251-270
-
-
Baroni, P.1
Giacomin, M.2
Guida, G.3
-
3
-
-
0022688781
-
A robust layered control system for a mobile robot
-
R. A. Brooks. A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation, 2(1):14-23, 1986.
-
(1986)
IEEE Journal of Robotics and Automation
, vol.2
, Issue.1
, pp. 14-23
-
-
Brooks, R.A.1
-
4
-
-
84976834622
-
Self-stabilizing systems in spite of distributed control
-
E. W. Dijkstra. Self-stabilizing systems in spite of distributed control. Communications of the ACM, 17(11):643-644, 1974.
-
(1974)
Communications of the ACM
, vol.17
, Issue.11
, pp. 643-644
-
-
Dijkstra, E.W.1
-
5
-
-
0012192528
-
Self-stabilization in distributed sytems
-
T. L. Casavant and M. Singhal, editors, IEEE Computer Society Press, Los Alamitos, California
-
M. Flatebo, A. K. Datta, and S. Ghosh. Self-stabilization in distributed sytems. In T. L. Casavant and M. Singhal, editors, Readings in Distributed Computing Systems, pages 100-114. IEEE Computer Society Press, Los Alamitos, California, 1994.
-
(1994)
Readings in Distributed Computing Systems
, pp. 100-114
-
-
Flatebo, M.1
Datta, A.K.2
Ghosh, S.3
-
6
-
-
0000931858
-
Reactive reasoning and planning
-
Seattle, WA
-
M. P. Georgeff and A. L. Lansky. Reactive reasoning and planning. In Proceedings of AAAI-87, pages 677-682, Seattle, WA, 1987.
-
(1987)
Proceedings of AAAI-87
, pp. 677-682
-
-
Georgeff, M.P.1
Lansky, A.L.2
-
7
-
-
0001917377
-
A self-stabilizing algorithm for coloring planar graphs
-
S. Ghosh and M. H. Karaata. A self-stabilizing algorithm for coloring planar graphs. Distributed Computing, 7(1):55-59, 1993.
-
(1993)
Distributed Computing
, vol.7
, Issue.1
, pp. 55-59
-
-
Ghosh, S.1
Karaata, M.H.2
-
10
-
-
84990617539
-
A logic of argumentation for reasoning under uncertainty
-
P. Krause, S. Ambler, M. Elvang-Goransson, and J. Fox. A logic of argumentation for reasoning under uncertainty. Computational Intelligence, 11:113-131, 1995.
-
(1995)
Computational Intelligence
, vol.11
, pp. 113-131
-
-
Krause, P.1
Ambler, S.2
Elvang-Goransson, M.3
Fox, J.4
-
11
-
-
0032089494
-
Agents that reason and negotiate by arguing
-
S. Parsons, C. Sierra, and N. Jennings. Agents that reason and negotiate by arguing. Journal of Logic and Computation, 8(3):261-292, 1998.
-
(1998)
Journal of Logic and Computation
, vol.8
, Issue.3
, pp. 261-292
-
-
Parsons, S.1
Sierra, C.2
Jennings, N.3
-
12
-
-
0026924985
-
How to reason defeasibly
-
J. L. Pollock. How to reason defeasibly. Artificial Intelligence, 57(1):1-42, 1992.
-
(1992)
Artificial Intelligence
, vol.57
, Issue.1
, pp. 1-42
-
-
Pollock, J.L.1
-
14
-
-
0011112281
-
Logics for defeasible argumentation
-
D. Gabbay, editor, Kluwer Academic Publishers, Dordrecht, second edition
-
H. Prakken and G. A. W. Vreeswijk. Logics for defeasible argumentation. In D. Gabbay, editor, Handbook of Philosophical Logic. Kluwer Academic Publishers, Dordrecht, second edition. To appear.
-
Handbook of Philosophical Logic
-
-
Prakken, H.1
Vreeswijk, G.A.W.2
-
15
-
-
0019393994
-
Frameworks for cooperation in distributed problem solving
-
R. G. Smith and R. Davis. Frameworks for cooperation in distributed problem solving. IEEE Transactions on Systems, Man, and Cybernetics, 11(1):61-70, 1981.
-
(1981)
IEEE Transactions on Systems, Man, and Cybernetics
, vol.11
, Issue.1
, pp. 61-70
-
-
Smith, R.G.1
Davis, R.2
-
16
-
-
0031074495
-
Abstract argumentation systems
-
G. A. W. Vreeswijk. Abstract argumentation systems. Artificial Intelligence, 90(1-2):225-279, 1997.
-
(1997)
Artificial Intelligence
, vol.90
, Issue.1-2
, pp. 225-279
-
-
Vreeswijk, G.A.W.1
-
17
-
-
0032155668
-
The distributed constraint satisfaction problem: Formalization and algorithms
-
M. Yokoo, E. H. Durfee, T. Ishida, and K. Kuwabara. The distributed constraint satisfaction problem: Formalization and algorithms. IEEE Trans. Knowledge and Data Engineering, 10(5):673-685, 1998.
-
(1998)
IEEE Trans. Knowledge and Data Engineering
, vol.10
, Issue.5
, pp. 673-685
-
-
Yokoo, M.1
Durfee, E.H.2
Ishida, T.3
Kuwabara, K.4
|