Verification of multiple agent knowledge-based systems
2001 ◽
Vol 16
(3)
◽
pp. 361-376
◽
1999 ◽
Vol 12
(1-2)
◽
pp. 37-44
◽
1988 ◽
Vol 34
(1)
◽
pp. 36
FREDERICK HUBER
◽
FRANK KILMER
Paulo Rangel
◽
Jonny Silva
Simon S. Kim
◽
Mary Lou Maher
◽
Raymond E. Levitt
◽
Martin F. Rooney
◽
Thomas J. Siller
Edward A. Feigenbaum
◽
Robert S. Engelmore
◽
Paul C. Rosenbloom
1990 ◽
Vol 19
(1-4)
◽
pp. 72-76
C. Parks
◽
J. Subramanian
◽
S. Srinivas
◽
A. Waikar
◽
G. Graves
◽
...