-
2
-
-
26644432537
-
Formal Specification of Multi-Agent Systems: A real-world case
-
V. Lesser (ed.), MIT Press, Cambridge, MA, pp. 25-32. Extended version in: International Journal of Cooperative Information Systems, M. Huhns, M. Singh, (eds.), special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems
-
Brazier, F.M.T., B. Dunin-Keplicz, N.R. Jennings, and J. Treur, Formal Specification of Multi-Agent Systems: a real-world case. In: V. Lesser (ed.), Proc. of the First International Conference on Multi-Agent Systems, ICMAS'95, MIT Press, Cambridge, MA, pp. 25-32. Extended version in: International Journal of Cooperative Information Systems, M. Huhns, M. Singh, (eds.), special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, vol. 6, 1997, pp. 67-94.
-
(1997)
Proc. Of the First International Conference on Multi-Agent Systems, ICMAS'95
, vol.6
, pp. 67-94
-
-
Brazier, F.1
Dunin-Keplicz, B.2
Jennings, N.R.3
Treur, J.4
-
3
-
-
84958064810
-
Analysis of multi-interpretable ecological monitoring information
-
A. Hunter, S. Parsons (eds., Springer Verlag, to appear
-
Brazier, F.M.T., J. Engelfriet, J. Treur, Analysis of multi-interpretable ecological monitoring information. In: A. Hunter, S. Parsons (eds.), Applications of Uncertainty Formalisms, Springer Verlag, 1998, to appear
-
(1998)
Applications of Uncertainty Formalisms
-
-
Brazier, F.1
Engelfriet, J.2
Treur, J.3
-
4
-
-
84958752797
-
The Acquisition of a Shared Task Model
-
N. Shadbolt, K. O'Hara, G. Schreiber (eds.), Lecture Notes in Artificial Intelligence, vol, Springer Verlag
-
Brazier, F.M.T., J. Treur, and N.J.E. Wijngaards, The Acquisition of a Shared Task Model. In: N. Shadbolt, K. O'Hara, G. Schreiber (eds.), Advances in Knowledge Acquisition, Proc. 9th European Knowledge Acquisition Workshop, EKAW'96, Lecture Notes in Artificial Intelligence, vol. 1076, Springer Verlag, pp. 278-289.
-
Advances in Knowledge Acquisition, Proc. 9Th European Knowledge Acquisition Workshop, EKAW'96
, pp. 278-289
-
-
Brazier, F.1
Treur, J.2
Wijngaards, N.3
-
5
-
-
0002237148
-
Modelling Interaction with Experts: The Role of a Shared Task Model
-
W. Wahlster (ed.), John Wiley and Sons
-
Brazier, F.M.T., J. Treur, and N.J.E. Wijngaards, Modelling Interaction with Experts: the Role of a Shared Task Model. In: W. Wahlster (ed.), Proc. European Conference on AI, ECAI'96, John Wiley and Sons, 1996, pp. 241-245.
-
(1996)
Proc. European Conference on AI, ECAI'96
, pp. 241-245
-
-
Brazier, F.1
Treur, J.2
Wijngaards, N.3
-
6
-
-
85028463688
-
Adding Priorities and Specificity to Default Logic
-
C. MacNish, D. Pearce, L.M. Pereira (eds.), Springer-Verlag
-
Brewka, G., Adding Priorities and Specificity to Default Logic. In: C. MacNish, D. Pearce, L.M. Pereira (eds.), Logics in Artificial Intelligence, Proc. of the Third European Workshop on Logics in AI, JELIA-94, Lecture Notes in Artificial Intelligence, vol. 838, Springer-Verlag, 1994, pp. 247-260.
-
(1994)
Logics in Artificial Intelligence, Proc. Of the Third European Workshop on Logics in AI, JELIA-94, Lecture Notes in Artificial Intelligence
, vol.838
, pp. 247-260
-
-
Brewka, G.1
-
7
-
-
0028555757
-
Reasoning about Priorities in Default Logic
-
Brewka, G., Reasoning about Priorities in Default Logic. In: Proceedings of the AAAI-94, 1994.
-
(1994)
Proceedings of the AAAI-94
-
-
Brewka, G.1
-
8
-
-
84947930138
-
Nonmonotonic Reasoning with Multiple Belief Sets
-
D.M. Gabbay, H.J. Ohlbach (eds.), Springer-Verlag
-
Engelfriet, J., H. Herre and J. Treur, Nonmonotonic Reasoning with Multiple Belief Sets. In: D.M. Gabbay, H.J. Ohlbach (eds.), Practical Reasoning, Proc. of FAPR'96, Lecture Notes in Artificial Intelligence, vol. 1085, Springer-Verlag, 1996, pp. 331-344.
-
(1996)
Practical Reasoning, Proc. Of FAPR'96, Lecture Notes in Artificial Intelligence
, vol.1085
, pp. 331-344
-
-
Engelfriet, J.1
Herre, H.2
Treur, J.3
-
9
-
-
84955607175
-
Infinitary Default Logic for Specification of Nonmonotonic Reasoning
-
J.J. Alferes, L.M. Pereira, E. Orlowska (eds.), Springer-Verlag
-
Engelfriet, J., V.W. Marek, J. Treur and M. Truszczynski, Infinitary Default Logic for Specification of Nonmonotonic Reasoning. In: J.J. Alferes, L.M. Pereira, E. Orlowska (eds.), Logics in Artificial Intelligence, Proc. of the Fourth European Workshop on Logics in AI, JELIA'96, Lecture Notes in Artificial Intelligence, vol. 1126, Springer-Verlag, 1996, pp. 224-236.
-
(1996)
Logics in Artificial Intelligence, Proc. Of the Fourth European Workshop on Logics in AI, JELIA'96, Lecture Notes in Artificial Intelligence
, vol.1126
, pp. 224-236
-
-
Engelfriet, J.1
Marek, V.W.2
Treur, J.3
Truszczynski, M.4
-
10
-
-
0003093745
-
General Patterns in Nonmonotonic Reasoning
-
D.M. Gabbay, C.J. Hogger, J.A. Robinson (eds.), Oxford Science Publication
-
Makinson, D., General Patterns in Nonmonotonic Reasoning. In: D.M. Gabbay, C.J. Hogger, J.A. Robinson (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, Oxford Science Publications, 1994, pp. 35-110.
-
(1994)
Handbook of Logic in Artificial Intelligence and Logic Programming
, vol.3
, pp. 35-110
-
-
Makinson, D.1
-
13
-
-
49149147322
-
A Logic for Default Reasoning
-
Reiter, R., A Logic for Default Reasoning, Artificial Intelligence 13, 1980, pp. 81-132.
-
(1980)
Artificial Intelligence
, vol.13
, pp. 81-132
-
-
Reiter, R.1
-
14
-
-
0000023467
-
Constructive Default Logic and the Control of Defeasible Reasoning
-
B. Neumann (ed.), John Wiley and Sons
-
Tan, Y.-H., J. Treur, Constructive Default Logic and the Control of Defeasible Reasoning. In: B. Neumann (ed.), Proc. of the European Conference on Artificial Intelligence, ECAI'92, John Wiley and Sons, 1992, pp. 299-303.
-
(1992)
Proc. Of the European Conference on Artificial Intelligence, ECAI'92
, pp. 299-303
-
-
Tan, Y.-H.1
Treur, J.2
|