 | 2011 |
|---|
| 15 |       | Sergey Babenyshev,
Vladimir V. Rybakov:
Unification in linear temporal logic LTL.
Ann. Pure Appl. Logic 162(12): 991-1000 (2011) |
| 14 | | Sergey Babenyshev,
Vladimir V. Rybakov:
Linear Temporal Logic LTL: Basis for Admissible Rules.
J. Log. Comput. 21(2): 157-177 (2011) |
| 2010 |
|---|
| 13 | | Vladimir V. Rybakov,
Sergey Babenyshev:
Multi-agent Logic with Distances Based on Linear Temporal Frames.
ICAISC (2) 2010: 337-344 |
| 12 | | Sergey Babenyshev,
Vladimir V. Rybakov:
A Framework to Compute Inference Rules Valid in Agents' Temporal Logics.
KES (1) 2010: 230-239 |
| 11 | | Sergey Babenyshev,
Vladimir V. Rybakov:
Reasoning and Inference Rules in Basic Linear Temporal Logic BLTL\mathcal{BLTL}.
KES (2) 2010: 224-233 |
| 10 | | Sergey Babenyshev,
Vladimir V. Rybakov:
Logical Analysis of Multi-agent Kripke Structures.
Agent and Multi-agent Technology for Internet and Enterprise Systems 2010: 157-180 |
| 9 | | Sergey Babenyshev,
Vladimir V. Rybakov,
Renate A. Schmidt,
Dmitry Tishkovsky:
A Tableau Method for Checking Rule Admissibility in S4.
Electr. Notes Theor. Comput. Sci. 262: 17-32 (2010) |
| 8 | | Sergey Babenyshev,
Vladimir V. Rybakov:
Logics of Kripke meta-models.
Logic Journal of the IGPL 18(6): 823-836 (2010) |
| 2009 |
|---|
| 7 | | Sergey Babenyshev,
Vladimir V. Rybakov:
Describing Evolutions of Multi-Agent Systems.
KES (1) 2009: 38-45 |
| 6 | | Sergey Babenyshev,
Vladimir V. Rybakov:
Temporal Logic for Modeling Discovery and Logical Uncertainty.
KES (2) 2009: 16-23 |
| 5 | | Sergey Babenyshev,
Vladimir V. Rybakov:
Logic of discovery and knowledge. Decision algorithm.
Intelligent Decision Technologies 3(2): 115-120 (2009) |
| 2008 |
|---|
| 4 | | 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 | | Sergey Babenyshev,
Vladimir V. Rybakov:
Logic of Discovery and Knowledge: Decision Algorithm.
KES (2) 2008: 711-718 |
| 1 | | Sergey Babenyshev,
Vladimir V. Rybakov:
Logic of Plausibility for Discovery in Multi-agent Environment Deciding Algorithms.
KES (3) 2008: 210-217 |
Data released under the ODC-BY 1.0 license — See also our legal information page