dblp.uni-trier.dewww.uni-trier.de

Sergey Babenyshev

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
4EESergey 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
2EESergey Babenyshev, Vladimir V. Rybakov: Logic of Discovery and Knowledge: Decision Algorithm. KES (2) 2008: 711-718
1EESergey Babenyshev, Vladimir V. Rybakov: Logic of Plausibility for Discovery in Multi-agent Environment Deciding Algorithms. KES (3) 2008: 210-217

Coauthor Index

1Vladimir V. Rybakov [1] [2] [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)