Sergey Babenyshev
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
3
Active years
2008–2010
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ICAISC | Multi-agent Logic with Distances Based on Linear Temporal Frames. | Vladimir V. Rybakov, Sergey Babenyshev |
| 2010 | KES | A Framework to Compute Inference Rules Valid in Agents' Temporal Logics. | Sergey Babenyshev, Vladimir V. Rybakov |
| 2010 | KES | Reasoning and Inference Rules in Basic Linear Temporal Logic | Sergey Babenyshev, Vladimir V. Rybakov |
| 2009 | KES | Describing Evolutions of Multi-Agent Systems. | Sergey Babenyshev, Vladimir V. Rybakov |
| 2009 | KES | Temporal Logic for Modeling Discovery and Logical Uncertainty. | Sergey Babenyshev, Vladimir V. Rybakov |
| 2008 | CiE | Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL. | Sergey Babenyshev, Vladimir V. Rybakov |
| 2008 | KES | Logic of Discovery and Knowledge: Decision Algorithm. | Sergey Babenyshev, Vladimir V. Rybakov |
| 2008 | KES | Logic of Plausibility for Discovery in Multi-agent Environment Deciding Algorithms. | Sergey Babenyshev, Vladimir V. Rybakov |