The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Vladimir V. Rybakov" ( http://dblp.L3S.de/Authors/Vladimir_V._Rybakov )

URL (Homepage):  http://www2.docm.mmu.ac.uk/STAFF/V.Rybakov/  Author page on DBLP  Author page in RDF  Community of Vladimir V. Rybakov in ASPL-2

Publication years (Num. hits)
1990-2000 (16) 2001-2008 (23) 2009-2010 (17) 2011-2013 (15) 2014-2020 (15) 2021 (1)
Publication types (Num. hits)
article(52) incollection(1) inproceedings(33) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 36 occurrences of 18 keywords

Results
Found 88 publication records. Showing 87 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Vladimir V. Rybakov Quantitative Modalities, Possible Applications to Information Analysis. Search on Bibsonomy KES The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Representation of Information and Satisfiability, Algorithms for Multi-Agent Logics. Search on Bibsonomy KES The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Multi-Agent Logic's Modelling Non-Monotonic Information and Reasoning. Search on Bibsonomy KES The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Chance Discovery and Analysis of Data via Multi-Agent Logics. Search on Bibsonomy KES The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stepan I. Bashmakov, Anna V. Kosheleva, Vladimir V. Rybakov Unification for Multi-Agent Temporal Logics with Universal Modality. Search on Bibsonomy FLAP The full citation details ... 2017 DBLP  BibTeX  RDF
1Vladimir V. Rybakov Non-transitive linear temporal logic and logical knowledge operations. Search on Bibsonomy J. Log. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Intransitive Temporal Multi-agent's Logic, Knowledge and Uncertainty, Plausibility. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sergei Odintsov, Vladimir V. Rybakov Inference Rules in Nelson's Logics, Admissibility and Weak Admissibility. Search on Bibsonomy Logica Universalis The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Intransitive Linear Temporal Logic, Knowledge from Past, Decidability, Admissible Rules. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Alexandra Lukyanchuk, Vladimir V. Rybakov Linear Intransitive Temporal Logic of Knowledge LTK_r, Decision Algorithms, Inference Rules. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Vladimir V. Rybakov Linear Non-Transitive Temporal Logic, Knowledge Operations, Algorithms for Admissibility. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Vladimir V. Rybakov A Note on Parameterised Knowledge Operations in Temporal Logic. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Maybin K. Muyeba, Vladimir V. Rybakov Knowledge Representation in Agent's Logic with Uncertainty and Agent's Interaction. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Vladimir V. Rybakov Projective formulas and unification in linear temporal logic LTLU. Search on Bibsonomy Log. J. IGPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Santiago Escobar 0001, Konstantin Korovin, Vladimir V. Rybakov (eds.) UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, Manchester, UK, July 1, 2012 Search on Bibsonomy UNIF The full citation details ... 2014 DBLP  BibTeX  RDF
1Vladimir V. Rybakov Multi-agent Non-linear Temporal Logic with Embodied Agent Describing Uncertainty. Search on Bibsonomy KES-AMSTA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sergei Odintsov, Vladimir V. Rybakov Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic IPC+. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Unifiers in transitive modal logics for formulas with coefficients (meta-variables). Search on Bibsonomy Log. J. IGPL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Writing out unifiers for formulas with coefficients in intuitionistic logic. Search on Bibsonomy Log. J. IGPL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1David McLean 0001, Vladimir V. Rybakov Multi-Agent Temporary Logic Based at Non-linear Time and Imitating Uncertainty via Agents' Interaction. Search on Bibsonomy ICAISC (2) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Writing out Unifiers in Linear Temporal Logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Multi-Agent Logic with Distances, Uncertainty and Interaction Based on Linear Temporal Frames. Search on Bibsonomy KES The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Multi-Agent Logic based on Temporary Logic TS4Kn serving Web Search. Search on Bibsonomy KES The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Logical Analysis for Chance Discovery in Multi-Agents' Environment. Search on Bibsonomy KES The full citation details ... 2012 DBLP  BibTeX  RDF
1Vladimir V. Rybakov Inference Rules in Multi-agents' Temporal Logics. Search on Bibsonomy Trans. Comput. Collect. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Best Unifiers in Transitive Modal Logics. Search on Bibsonomy Stud Logica The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sergey Babenyshev, Vladimir V. Rybakov Unification in linear temporal logic LTL. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sergey Babenyshev, Vladimir V. Rybakov Linear Temporal Logic LTL: Basis for Admissible Rules. Search on Bibsonomy J. Log. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Agents' Logics with Common Knowledge and Uncertainty: Unification Problem, Algorithm for Construction Solutions. Search on Bibsonomy KES (1) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Chance Discovery and Unification in Linear Modal Logic. Search on Bibsonomy KES (2) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Representation of Knowledge and Uncertainty in Temporal Logic LTL with Since on Frames Z of Integer Numbers. Search on Bibsonomy KES (1) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sergey Babenyshev, Vladimir V. Rybakov, Renate A. Schmidt, Dmitry Tishkovsky A Tableau Method for Checking Rule Admissibility in S4. Search on Bibsonomy Electron. Notes Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Algorithm for Decision Procedure in Temporal Logic Treating Uncertainty, Plausibility, Knowledge and Interacting Agents. Search on Bibsonomy Int. J. Intell. Inf. Technol. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Modelling of Chance Discovery in variations of Linear Temporal Logic implementing agents' interaction. Search on Bibsonomy Int. J. Adv. Intell. Paradigms The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Rules admissible in transitive temporal logic TS4, sufficient condition. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sergey Babenyshev, Vladimir V. Rybakov Logics of Kripke meta-models. Search on Bibsonomy Log. J. IGPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sergey Babenyshev, Vladimir V. Rybakov Logical Analysis of Multi-agent Kripke Structures. Search on Bibsonomy Agent and Multi-agent Technology for Internet and Enterprise Systems The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Temporal Logic TL ^Z_ {DU} Modeling Local and Global Discovery with Logical Uncertainty. Search on Bibsonomy ICDM Workshops The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov, Sergey Babenyshev Multi-agent Logic with Distances Based on Linear Temporal Frames. Search on Bibsonomy ICAISC (2) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sergey Babenyshev, Vladimir V. Rybakov A Framework to Compute Inference Rules Valid in Agents' Temporal Logics. Search on Bibsonomy KES (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Interpretation of Chance Discovery in Temporal Logic, Admissible Inference Rules. Search on Bibsonomy KES (3) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sergey Babenyshev, Vladimir V. Rybakov Reasoning and Inference Rules in Basic Linear Temporal Logic BLTL\mathcal{BLTL}. Search on Bibsonomy KES (2) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sergey Babenyshev, Vladimir V. Rybakov Logic of discovery and knowledge. Decision algorithm. Search on Bibsonomy Intell. Decis. Technol. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Logic of knowledge and discovery via interacting agents - Decision algorithm for true and satisfiable statements. Search on Bibsonomy Inf. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sergey Babenyshev, Vladimir V. Rybakov Logic of Plausibility for Discovery in multi-agent environment. Decision algorithms. Search on Bibsonomy Int. J. Intell. Def. Support Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Linear Temporal Logic LTKK extended by Multi-Agent Logic Kn with Interacting Agents. Search on Bibsonomy J. Log. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sergey Babenyshev, Vladimir V. Rybakov Describing Evolutions of Multi-Agent Systems. Search on Bibsonomy KES (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF multi-agent systems, satisfiability, decision algorithms, Kripke semantics, multi-modal logics
1Sergey Babenyshev, Vladimir V. Rybakov Temporal Logic for Modeling Discovery and Logical Uncertainty. Search on Bibsonomy KES (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF decidability algorithms, Kripke/Hintikka models, temporal logic, uncertainty, chance discovery
1Vladimir V. Rybakov Branching Time Logics BTLU, SN, N-1(Z)a with Operations Until and Since Based on Bundles of Integer Numbers, Logical Consecutions, Deciding Algorithms. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Logical consecutions, Admissible consecutions, Algorithms, Temporal logic, Decidability, Inference rules, Linear temporal logic, Branching time logic
1Vladimir V. Rybakov Temporal logic with interacting agents. Search on Bibsonomy J. Appl. Non Class. Logics The full citation details ... 2008 DBLP  BibTeX  RDF
1Vladimir V. Rybakov Linear temporal logic with until and next, logical consecutions. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Multi-modal and Temporal Logics with Universal Formula - Reduction of Admissibility to Validity and Unification. Search on Bibsonomy J. Log. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Multi-agent Logics with Interacting Agents Based on Linear Temporal Logic: Deciding Algorithms. Search on Bibsonomy ICAISC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multi-agent logic, knowledge based reasoning, relational Kripke/Hintikka models, decidability algorithms, hybrid logics
1Sergey Babenyshev, Vladimir V. Rybakov Logic of Discovery and Knowledge: Decision Algorithm. Search on Bibsonomy KES (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Kripke-Hintikka models, rules in normal reduced form, modal logic, decidability, inference rules, chance discovery
1Sergey Babenyshev, Vladimir V. Rybakov Logic of Plausibility for Discovery in Multi-agent Environment Deciding Algorithms. Search on Bibsonomy KES (3) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multi-agent’s reasoning, Kripke/Hintikka models, linear temporal logic, hybrid logics, decision algorithms, plausibility
1Sergey Babenyshev, Vladimir V. Rybakov Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL. Search on Bibsonomy CiE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multi-agent logics, relational Kripke-Hintikka models, decidability algorithms, satisfiability, linear temporal logic, hybrid logics
1Vladimir V. Rybakov, Sergey Babenyshev Algorithms for AI Logic of Decisions in Multi-Agent Environment. Search on Bibsonomy ICEIS (2) The full citation details ... 2008 DBLP  BibTeX  RDF
1Vladimir V. Rybakov Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2007 DBLP  BibTeX  RDF
1Vladimir V. Rybakov Logics with the universal modality and admissible consecutions. Search on Bibsonomy J. Appl. Non Class. Logics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Erica Calardo, Vladimir V. Rybakov An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK. Search on Bibsonomy Log. J. IGPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Logic of Discovery in Uncertain Situations- Deciding Algorithms. Search on Bibsonomy KES (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF logic of discovery, Kripke/Hintikka models, rules in normal reduced form, Modal logic, inference rules
1Vladimir V. Rybakov Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms. Search on Bibsonomy LFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF admissible inference rules, Temporal logic, linear temporal logic, branching time logic
1Vladimir V. Rybakov Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms. Search on Bibsonomy CSR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF consecutions, admissible rules, algorithms, inference rules, linear temporal logic, logic in computer science, logical consequence
1Vladimir V. Rybakov Logical consecutions in discrete linear temporal logic. Search on Bibsonomy J. Symb. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals. Search on Bibsonomy J. Log. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1M. I. Golovanov, Anna V. Kosheleva, Vladimir V. Rybakov Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules. Search on Bibsonomy Log. J. IGPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Inference in Temporal Next-Time Logic. Search on Bibsonomy We Will Show Them! (2) The full citation details ... 2005 DBLP  BibTeX  RDF
1Vladimir V. Rybakov Tabular Logics with no Finite Bases for Inference Rules. Search on Bibsonomy Log. J. IGPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Barwise's information frames and modal logics. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Refined common knowledge logics or logics of common information. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Construction of an Explicit Basis for Rules Admissible in Modal System S4. Search on Bibsonomy Math. Log. Q. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov, Mehmet Terziler, Vitaliy Remazki A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC. Search on Bibsonomy Math. Log. Q. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer On Self-Admissible Quasi-Characterizing Inference Rules. Search on Bibsonomy Stud Logica The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer Unification and passive inference rules for modal logics. Search on Bibsonomy J. Appl. Non Class. Logics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Vladimir R. Kiyatkin, Vladimir V. Rybakov, Tahsin Oner On Finite Model Property for Admissible Rules. Search on Bibsonomy Math. Log. Q. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov, Vladimir R. Kiyatkin, Mehmet Terziler Independent Bases for Rules Admissible in Pretabular Logics. Search on Bibsonomy Log. J. IGPL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov, Çigdem Gencer, Tahsin Oner Description of Modal Logics Inheriting Admissible Rules for S4. Search on Bibsonomy Log. J. IGPL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Quasi-Characteristic Inference Rules for Modal Logics. Search on Bibsonomy LFCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Hereditarily Structurally Complete Modals Logics. Search on Bibsonomy J. Symb. Log. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property. Search on Bibsonomy Stud Logica The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Preserving of Admissible Inference Rules in Modal Logics. Search on Bibsonomy LFCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Modal Logics Preserving Admissible for S4 Inference Rules. Search on Bibsonomy CSL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Intermediate Logics Preserving Admissible Inference Rules of Heyting Calculus. Search on Bibsonomy Math. Log. Q. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Rules of Inference with Parameters for Intuitionistic Logic. Search on Bibsonomy J. Symb. Log. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov A Modal Analog for Glivenko's Theorem and its Applications. Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Logical equations and admissible rules of inference with parameters in modal provability logics. Search on Bibsonomy Stud Logica The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Problems of Substitution and Admissibility in the Modal System Grz and in Intuitionistic Propositional Calculus. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #87 of 87 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license