Alexander Bolotov

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 16

Top Venues

CBI (1)

TIME

J. Log. Algebraic Methods Program.

CoRR

Manchester Metropolitan University, UK (PHD)

Education History

Manchester Metropolitan University, UK

PHD

Publications

Nalaka R. Dissanayake, Alexander Bolotov
Applications Model: A High-Level Design Model for Rich Web-Based Applications. ENASE (2024)
Josu Oca, Montserrat Hermo, Alexander Bolotov
A Sound and Complete Algorithm to Identify Independent Variables in a Reactive System Specification. DATE (2024)
Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio
Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models. J. Log. Algebraic Methods Program. 130 (2023)
Josu Oca, Montserrat Hermo, Alexander Bolotov
Revisiting the specification decomposition for synthesis based on LTL solvers. CoRR (2023)
Gabriele Pierantoni, Tamás Kiss, Alexander Bolotov, Dimitrios Kagialis, James DesLauriers, Amjad Ullah, Huankai Chen, David Chan You Fee, Hai-Van Dang, József Kovács, Anna Belehaki, Themistocles Herekakis, Ioanna Tsagouri, Sandra Gesing
Toward a reference architecture based science gateway framework with embedded e-learning support. Concurr. Comput. Pract. Exp. 35 (18) (2023)
Natalia Yerashenia, David Chan You Fee, Alexander Bolotov
Developing a Generic Predictive Computational Model using Semantic data Pre-Processing with Machine Learning Techniques and its application for Stock Market Prediction Purposes. CBI (1) (2022)
Alexander Bolotov
On the Expressive Power of the Normal Form for Branching-Time Temporal Logics. NCL (2022)
Alexander Bolotov, Montserrat Hermo, Paqui Lucio
Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+. Theor. Comput. Sci. 813 (2020)
Natalia Yerashenia, Alexander Bolotov, David Chan You Fee, Gabriele Pierantoni
Semantic Data Pre-Processing for Machine Learning Based Bankruptcy Prediction Computational Model. CBI (1) (2020)
Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio
One-Pass Context-Based Tableaux Systems for CTL and ECTL. TIME (2020)
Alex Abuin, Alexander Bolotov, Unai Díaz-de-Cerio, Montserrat Hermo, Paqui Lucio
Towards Certified Model Checking for PLTL Using One-Pass Tableaux. TIME (2019)
Natalia Yerashenia, Alexander Bolotov
Computational Modelling for Bankruptcy Prediction: Semantic Data Analysis Integrating Graph Database and Financial Ontology. CBI (1) (2019)
Alexander Bolotov, Gabriele Pierantoni, Ayleen Wisudha, Zebokhon Abduraimova, David Chan You Fee
EnAbled: A Psychology Profile based Academic Compass to Build and Navigate Students' Learning Paths. EC-TEL (Practitioner Proceedings) (2018)
Alexander Bolotov, Daniil Kozhemiachenko, Vasilyi Shangin
Paracomplete Logic K1 ? Natural Deduction, its Automation, Complexity and Applications. FLAP 5 (1) (2018)
Alexander Bolotov, Montserrat Hermo, Paqui Lucio
Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach. TIME (2018)
Hridesh Rajan, Alexander Bolotov, Chang Xu
Message from SETA 2017 Program Chairs. COMPSAC (1) (2017)
Alexander Bolotov, Vasilyi Shangin
Tackling Incomplete System Specifications Using Natural Deduction in the Paracomplete Setting. COMPSAC (2014)
Alexander Bolotov, Vasilyi Shangin
Natural Deduction System in Paraconsistent Setting: Proof Search for PCont. J. Intell. Syst. 21 (1) (2012)
Alexander Bolotov, Vasilyi Shangin
Natural Deduction System in Paraconsistent Setting: proof search for PCont. IICAI (2011)
Alexander Bolotov
Handling Periodic Properties: Deductive Verification for Quantified Temporal Logic Specifications. SSIRI (Companion) (2011)
Alessandro Basso, Alexander Bolotov, Vladimir Getov
Temporal Specification and Deductive Verification of a Distributed Component Model and Its Environment. SSIRI (2009)
Alexander Bolotov, Alessandro Basso, Oleg M. Grigoriev
Deontic Extension of Deductive Verification of Component Model: Combining Computation Tree Logic and Deontic Logic in Natural Deduction Style Calculus. IICAI (2009)
Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin
Automated Natural Deduction for Propositional Linear-Time Temporal Logic. TIME (2007)
Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin
A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal Logic. IICAI (2007)
Alessandro Basso, Alexander Bolotov
Towards gcm re-configuration - extending specification by norms. CoreGRID Workshop - Making Grids Work (2007)
Alexander Bolotov, Artie Basukoski
A clausal resolution method for extended computation tree logic ECTL. J. Appl. Log. 4 (2) (2006)
Alexander Bolotov, Artie Basukoski
. Ann. Math. Artif. Intell. 46 (3) (2006)
Alexander Bolotov, Artie Basukoski, Oleg M. Grigoriev, Vasilyi Shangin
Natural Deduction Calculus for Linear-Time Temporal Logic. JELIA (2006)
Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin
Natural Deduction Calculus for Computation Tree Logic. John Vincent Atanasoff Symposium (2006)
Artie Basukoski, Alexander Bolotov
Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity. TIME (2005)
Clare Dixon, Alexander Bolotov, Michael Fisher
Alternating automata and temporal logic normal forms. Ann. Pure Appl. Log. 135 (1-3) (2005)
Alexander Bolotov, Vyacheslav Bocharov, Alexander Gorchakov, Vasilyi Shangin
Automated First Order Natural Deduction. IICAI (2005)
Alexander Bolotov, Artie Basukoski
A Clausal Resolution Method for Branching-Time Logic ECTL+. TIME (2004)
Alexander Bolotov
A Clausal Resolution Method for Extended Computation Tree Logic ECTL. TIME (2003)
Alexander Bolotov, Michael Fisher, Clare Dixon
On the Relationship between [ohgr]-automata and Temporal Logic Normal Forms. J. Log. Comput. 12 (4) (2002)
Clare Dixon, Michael Fisher, Alexander Bolotov
Clausal resolution in a logic of rational agency. Artif. Intell. 139 (1) (2002)
Alexander Bolotov, Clare Dixon
Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule. TIME (2000)
Alexander Bolotov
Automata on Infinite Words and Temporal Logic Normal Forms. ARW (2000)
Alexander Bolotov, Michael Fisher
A clausal resolution method for CTL branching-time temporal logic. J. Exp. Theor. Artif. Intell. 11 (1) (1999)
Alexander Bolotov, Clare Dixon, Michael Fisher
. MFCS (1999)
Klaus-Dieter Althoff, Ralph Bergmann, Stefan Wess, Michel Manago, Eric Auriol, Oleg I. Larichev, Alexander Bolotov, Yurii I. Zhuravlev, Serge I. Gurov
Case-based reasoning for medical decision support tasks: The Inreca approach. Artif. Intell. Medicine 12 (1) (1998)
Alexander Bolotov, Michael Fisher
A Resolution Method For CTL Branching-Time Temporal Logic. TIME (1997)

Alexander Bolotov.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alexander Bolotov