Sergey Babenyshev

18 papers C 1Journal 7Unranked 9
YearRankTypeTitle / Venue / Authors
2016 J jnl
Behavioral equivalence of hidden k-logics: An abstract algebraic approach.
J. Appl. Log.
Sergey Babenyshev, Manuel A. Martins
2014 J jnl
Deduction-detachment theorem in hidden
J. Log. Comput.
Sergey Babenyshev, Manuel A. Martins
2011 J jnl
Linear Temporal Logic LTL: Basis for Admissible Rules.
J. Log. Comput.
Sergey Babenyshev, Vladimir V. Rybakov
2011 J jnl
Unification in linear temporal logic LTL.
Ann. Pure Appl. Log.
Sergey Babenyshev, Vladimir V. Rybakov
2010 — conf
A Framework to Compute Inference Rules Valid in Agents' Temporal Logics.
KES (1)
Sergey Babenyshev, Vladimir V. Rybakov
2010 — ch.
Logical Analysis of Multi-agent Kripke Structures.
Agent and Multi-agent Technology for Internet and Enterprise Systems
Sergey Babenyshev, Vladimir V. Rybakov
2010 J jnl
Logics of Kripke meta-models.
Log. J. IGPL
Sergey Babenyshev, Vladimir V. Rybakov
2010 — conf
Multi-agent Logic with Distances Based on Linear Temporal Frames.
ICAISC (2)
Vladimir V. Rybakov, Sergey Babenyshev
2010 — conf
Reasoning and Inference Rules in Basic Linear Temporal Logic
KES (2)
Sergey Babenyshev, Vladimir V. Rybakov
2009 — conf
A Tableau Method for Checking Rule Admissibility in S4.
M4M
Sergey Babenyshev, Vladimir V. Rybakov, Renate A. Schmidt, Dmitry Tishkovsky
2009 — conf
Describing Evolutions of Multi-Agent Systems.
KES (1)
Sergey Babenyshev, Vladimir V. Rybakov
2009 J jnl
Logic of Plausibility for Discovery in multi-agent environment. Decision algorithms.
Int. J. Intell. Def. Support Syst.
Sergey Babenyshev, Vladimir V. Rybakov
2009 J jnl
Logic of discovery and knowledge. Decision algorithm.
Intell. Decis. Technol.
Sergey Babenyshev, Vladimir V. Rybakov
2009 — conf
Temporal Logic for Modeling Discovery and Logical Uncertainty.
KES (2)
Sergey Babenyshev, Vladimir V. Rybakov
2008 — conf
Algorithms for AI Logic of Decisions in Multi-Agent Environment.
ICEIS (2)
Vladimir V. Rybakov, Sergey Babenyshev
2008 C conf
Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL.
CiE
Sergey Babenyshev, Vladimir V. Rybakov
2008 — conf
Logic of Discovery and Knowledge: Decision Algorithm.
KES (2)
Sergey Babenyshev, Vladimir V. Rybakov
2008 — conf
Logic of Plausibility for Discovery in Multi-agent Environment Deciding Algorithms.
KES (3)
Sergey Babenyshev, Vladimir V. Rybakov