Vladimir V. Rybakov

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 11

Top Topics

Knowledge Representation

Satisfiability Problem

Inference Rules

Top Venues

Publications

Vladimir V. Rybakov
Algorithms for recognizing formulas with none-stable truth values in branching time logic. KES (2023)
Vladimir V. Rybakov
Temporal Multi-Agents' Logics Modelling Dynamic Temporal Accessibility Relations. KES (2022)
Vladimir V. Rybakov
Quantitative Modalities, Possible Applications to Information Analysis. KES (2021)
Vladimir V. Rybakov
Multi-Agent Logic's Modelling Non-Monotonic Information and Reasoning. KES (2020)
Vladimir V. Rybakov
Representation of Information and Satisfiability, Algorithms for Multi-Agent Logics. KES (2020)
Vladimir V. Rybakov
Chance Discovery and Analysis of Data via Multi-Agent Logics. KES (2019)
Stepan I. Bashmakov, Anna V. Kosheleva, Vladimir V. Rybakov
Unification for Multi-Agent Temporal Logics with Universal Modality. FLAP 4 (4) (2017)
Vladimir V. Rybakov
Intransitive Temporal Multi-agent's Logic, Knowledge and Uncertainty, Plausibility. LFCS (2016)
Vladimir V. Rybakov
Non-transitive linear temporal logic and logical knowledge operations. J. Log. Comput. 26 (3) (2016)
Vladimir V. Rybakov
Intransitive Linear Temporal Logic, Knowledge from Past, Decidability, Admissible Rules. CoRR (2015)
Sergei Odintsov, Vladimir V. Rybakov
Inference Rules in Nelson's Logics, Admissibility and Weak Admissibility. Logica Universalis 9 (1) (2015)
Vladimir V. Rybakov
Multi-agent Non-linear Temporal Logic with Embodied Agent Describing Uncertainty. KES-AMSTA (2014)
Maybin K. Muyeba, Vladimir V. Rybakov
Knowledge Representation in Agent's Logic with Uncertainty and Agent's Interaction. CoRR (2014)
Vladimir V. Rybakov
A Note on Parameterised Knowledge Operations in Temporal Logic. CoRR (2014)
Vladimir V. Rybakov
Linear Non-Transitive Temporal Logic, Knowledge Operations, Algorithms for Admissibility. CoRR (2014)
Vladimir V. Rybakov
. Log. J. IGPL 22 (4) (2014)
Alexandra Lukyanchuk, Vladimir V. Rybakov
Linear Intransitive Temporal Logic of Knowledge LTK_r, Decision Algorithms, Inference Rules. CoRR (2014)
Vladimir V. Rybakov
Writing out unifiers for formulas with coefficients in intuitionistic logic. Log. J. IGPL 21 (2) (2013)
David McLean, Vladimir V. Rybakov
Multi-Agent Temporary Logic Based at Non-linear Time and Imitating Uncertainty via Agents' Interaction. ICAISC (2) (2013)
Vladimir V. Rybakov
Unifiers in transitive modal logics for formulas with coefficients (meta-variables). Log. J. IGPL 21 (2) (2013)
Sergei Odintsov, Vladimir V. Rybakov
. Ann. Pure Appl. Log. 164 (7-8) (2013)
Vladimir V. Rybakov
Writing out Unifiers in Linear Temporal Logic. J. Log. Comput. 22 (5) (2012)
Vladimir V. Rybakov
serving Web Search. KES (2012)
Vladimir V. Rybakov
Multi-Agent Logic with Distances, Uncertainty and Interaction Based on Linear Temporal Frames. KES (2012)
Vladimir V. Rybakov
Logical Analysis for Chance Discovery in Multi-Agents' Environment. KES (2012)
Vladimir V. Rybakov
Chance Discovery and Unification in Linear Modal Logic. KES (2) (2011)
Sergey Babenyshev, Vladimir V. Rybakov
Unification in linear temporal logic LTL. Ann. Pure Appl. Log. 162 (12) (2011)
Sergey Babenyshev, Vladimir V. Rybakov
Linear Temporal Logic LTL: Basis for Admissible Rules. J. Log. Comput. 21 (2) (2011)
Vladimir V. Rybakov
Inference Rules in Multi-agents' Temporal Logics. Trans. Comput. Collect. Intell. 4 (2011)
Vladimir V. Rybakov
Best Unifiers in Transitive Modal Logics. Stud Logica 99 (1-3) (2011)
Vladimir V. Rybakov
Agents' Logics with Common Knowledge and Uncertainty: Unification Problem, Algorithm for Construction Solutions. KES (1) (2011)
Vladimir V. Rybakov
Representation of Knowledge and Uncertainty in Temporal Logic LTL with Since on Frames Z of Integer Numbers. KES (1) (2011)
Vladimir V. Rybakov
Modelling of Chance Discovery in variations of Linear Temporal Logic implementing agents' interaction. Int. J. Adv. Intell. Paradigms 2 (2/3) (2010)
Sergey Babenyshev, Vladimir V. Rybakov, Renate A. Schmidt, Dmitry Tishkovsky
A Tableau Method for Checking Rule Admissibility in S4. Electron. Notes Theor. Comput. Sci. 262 (2010)
Sergey Babenyshev, Vladimir V. Rybakov
A Framework to Compute Inference Rules Valid in Agents' Temporal Logics. KES (1) (2010)
Vladimir V. Rybakov, Sergey Babenyshev
Multi-agent Logic with Distances Based on Linear Temporal Frames. ICAISC (2) (2010)
Sergey Babenyshev, Vladimir V. Rybakov
\mathcal{BLTL}. KES (2) (2010)
Sergey Babenyshev, Vladimir V. Rybakov
Logics of Kripke meta-models. Log. J. IGPL 18 (6) (2010)
Vladimir V. Rybakov
Algorithm for Decision Procedure in Temporal Logic Treating Uncertainty, Plausibility, Knowledge and Interacting Agents. Int. J. Intell. Inf. Technol. 6 (1) (2010)
Vladimir V. Rybakov
Interpretation of Chance Discovery in Temporal Logic, Admissible Inference Rules. KES (3) (2010)
Vladimir V. Rybakov
, sufficient condition. Theor. Comput. Sci. 411 (50) (2010)
Vladimir V. Rybakov
Temporal Logic TL ^Z_ {DU} Modeling Local and Global Discovery with Logical Uncertainty. ICDM Workshops (2010)
Vladimir V. Rybakov
Logic of knowledge and discovery via interacting agents - Decision algorithm for true and satisfiable statements. Inf. Sci. 179 (11) (2009)
Sergey Babenyshev, Vladimir V. Rybakov
Logic of discovery and knowledge. Decision algorithm. Intell. Decis. Technol. 3 (2) (2009)
Sergey Babenyshev, Vladimir V. Rybakov
Describing Evolutions of Multi-Agent Systems. KES (1) (2009)
Sergey Babenyshev, Vladimir V. Rybakov
Logic of Plausibility for Discovery in multi-agent environment. Decision algorithms. Int. J. Intell. Def. Support Syst. 2 (1) (2009)
Sergey Babenyshev, Vladimir V. Rybakov
Temporal Logic for Modeling Discovery and Logical Uncertainty. KES (2) (2009)
Vladimir V. Rybakov
with Interacting Agents. J. Log. Comput. 19 (6) (2009)
Sergey Babenyshev, Vladimir V. Rybakov
Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL. CiE (2008)
Vladimir V. Rybakov
Linear temporal logic with until and next, logical consecutions. Ann. Pure Appl. Log. 155 (1) (2008)
Sergey Babenyshev, Vladimir V. Rybakov
Logic of Discovery and Knowledge: Decision Algorithm. KES (2) (2008)
Vladimir V. Rybakov
Temporal logic with interacting agents. J. Appl. Non Class. Logics 18 (2-3) (2008)
Vladimir V. Rybakov, Sergey Babenyshev
Algorithms for AI Logic of Decisions in Multi-Agent Environment. ICEIS (2) (2008)
Vladimir V. Rybakov
Multi-modal and Temporal Logics with Universal Formula - Reduction of Admissibility to Validity and Unification. J. Log. Comput. 18 (4) (2008)
Vladimir V. Rybakov
Multi-agent Logics with Interacting Agents Based on Linear Temporal Logic: Deciding Algorithms. ICAISC (2008)
Vladimir V. Rybakov
Based on Bundles of Integer Numbers, Logical Consecutions, Deciding Algorithms. Theory Comput. Syst. 43 (2) (2008)
Sergey Babenyshev, Vladimir V. Rybakov
Logic of Plausibility for Discovery in Multi-agent Environment Deciding Algorithms. KES (3) (2008)
Vladimir V. Rybakov
Logics with the universal modality and admissible consecutions. J. Appl. Non Class. Logics 17 (3) (2007)
Vladimir V. Rybakov
Logic of Discovery in Uncertain Situations- Deciding Algorithms. KES (2) (2007)
Vladimir V. Rybakov
Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous. Fundam. Informaticae 81 (1-3) (2007)
Erica Calardo, Vladimir V. Rybakov
An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK. Log. J. IGPL 15 (3) (2007)
Vladimir V. Rybakov
Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms. LFCS (2007)
Vladimir V. Rybakov
Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms. CSR (2006)
M. I. Golovanov, Anna V. Kosheleva, Vladimir V. Rybakov
Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules. Log. J. IGPL 13 (2) (2005)
Vladimir V. Rybakov
Logical consecutions in discrete linear temporal logic. J. Symb. Log. 70 (4) (2005)
Vladimir V. Rybakov
Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals. J. Log. Comput. 15 (5) (2005)
Vladimir V. Rybakov
Inference in Temporal Next-Time Logic. We Will Show Them! (2) (2005)
Vladimir V. Rybakov
Tabular Logics with no Finite Bases for Inference Rules. Log. J. IGPL 12 (4) (2004)
Vladimir V. Rybakov
Barwise's information frames and modal logics. Arch. Math. Log. 42 (3) (2003)
Vladimir V. Rybakov
Refined common knowledge logics or logics of common information. Arch. Math. Log. 42 (2) (2003)
Vladimir V. Rybakov
Construction of an Explicit Basis for Rules Admissible in Modal System S4. Math. Log. Q. 47 (4) (2001)
Vladimir V. Rybakov, Mehmet Terziler, Vitaliy Remazki
A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC. Math. Log. Q. 46 (2) (2000)
Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer
Unification and passive inference rules for modal logics. J. Appl. Non Class. Logics 10 (3-4) (2000)
Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer
On Self-Admissible Quasi-Characterizing Inference Rules. Stud Logica 65 (3) (2000)
Vladimir V. Rybakov, Çigdem Gencer, Tahsin Oner
Description of Modal Logics Inheriting Admissible Rules for S4. Log. J. IGPL 7 (5) (1999)
Vladimir V. Rybakov, Vladimir R. Kiyatkin, Mehmet Terziler
Independent Bases for Rules Admissible in Pretabular Logics. Log. J. IGPL 7 (2) (1999)
Vladimir R. Kiyatkin, Vladimir V. Rybakov, Tahsin Oner
On Finite Model Property for Admissible Rules. Math. Log. Q. 45 (1999)
Vladimir V. Rybakov
Quasi-Characteristic Inference Rules for Modal Logics. LFCS (1997)
Vladimir V. Rybakov
Hereditarily Structurally Complete Modals Logics. J. Symb. Log. 60 (1) (1995)
Vladimir V. Rybakov
Preserving of Admissible Inference Rules in Modal Logics. LFCS (1994)
Vladimir V. Rybakov
Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property. Stud Logica 53 (2) (1994)
Vladimir V. Rybakov
Modal Logics Preserving Admissible for S4 Inference Rules. CSL (1994)
Vladimir V. Rybakov
Intermediate Logics Preserving Admissible Inference Rules of Heyting Calculus. Math. Log. Q. 39 (1993)
Vladimir V. Rybakov
Rules of Inference with Parameters for Intuitionistic Logic. J. Symb. Log. 57 (3) (1992)
Vladimir V. Rybakov
A Modal Analog for Glivenko's Theorem and its Applications. Notre Dame J. Formal Log. 33 (2) (1992)
Vladimir V. Rybakov
Logical equations and admissible rules of inference with parameters in modal provability logics. Stud Logica 49 (2) (1990)
Vladimir V. Rybakov
Problems of Substitution and Admissibility in the Modal System Grz and in Intuitionistic Propositional Calculus. Ann. Pure Appl. Log. 50 (1) (1990)