Conference devoted to the 90th anniversary of Alexei A. Lyapunov

Akademgorodok, Novosibirsk, Russia, October 8-11, 2001,
(state registration number 0320300064)

Abstracts


Cybernetiks

On Complexity of Behavior of Systems of Interacting Agents

Dekhtyar M.I., Dikovsky A.Ja., Valiev M.K.

Institite of Applied Mathematics,
RAS (Moscow)

The complexity is investigated, of the properties of interacting intelligent agents' behavior, expressible in the first order logic of linear time. Some tight complexity bounds for such properties are established under certain restrictions on the classes of agent programs.

Full Text in Russian: HTML
Note. Abstracts are published in author's edition



Comments
[ICT SBRAS]
[Home]
[Conference]

©2001, Siberian Branch of Russian Academy of Science, Novosibirsk
©2001, United Institute of Computer Science SB RAS, Novosibirsk
©2001, Institute of Computational Techologies SB RAS, Novosibirsk
©2001, A.P. Ershov Institute of Informatics Systems SB RAS, Novosibirsk
©2001, Institute of Mathematics SB RAS, Novosibirsk
©2001, Institute of Cytology and Genetics SB RAS, Novosibirsk
©2001, Institute of Computational Mathematics and Mathematical Geophysics SB RAS, Novosibirsk
©2001, Novosibirsk State University
Last modified 06-Jul-2012 (11:45:21)