2008 | ||
---|---|---|
4 | EE | Sergey Babenyshev, Vladimir V. Rybakov: Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL. CiE 2008: 32-41 |
3 | Vladimir V. Rybakov, Sergey Babenyshev: Algorithms for AI Logic of Decisions in Multi-Agent Environment. ICEIS (2) 2008: 125-129 | |
2 | EE | Sergey Babenyshev, Vladimir V. Rybakov: Logic of Discovery and Knowledge: Decision Algorithm. KES (2) 2008: 711-718 |
1 | EE | Sergey Babenyshev, Vladimir V. Rybakov: Logic of Plausibility for Discovery in Multi-agent Environment Deciding Algorithms. KES (3) 2008: 210-217 |
1 | Vladimir V. Rybakov | [1] [2] [3] [4] |