A Resolution Method For CTL Branching-Time Temporal Logic. - Alexander Bolotov; Michael Fisher 001 (TIME, 1997)

Case-based reasoning for medical decision support tasks: The Inreca approach. - Klaus-Dieter Althoff; Ralph Bergmann; Stefan Wess; Michel Manago; Eric Auriol; Oleg I. Larichev; Alexander Bolotov; Yurii I. Zhuravlev; Serge I. Gurov (Artif. Intell. Medicine, 1998)

Clausal Resolution for CTL*. - Alexander Bolotov; Clare Dixon; Michael Fisher 001 (MFCS, 1999)

A clausal resolution method for CTL branching-time temporal logic. - Alexander Bolotov; Michael Fisher 001 (J. Exp. Theor. Artif. Intell., 1999)

Automata on Infinite Words and Temporal Logic Normal Forms. - Alexander Bolotov (ARW, 2000)

Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule. - Alexander Bolotov; Clare Dixon (TIME, 2000)

Clausal resolution for branching-time temporal logic. - Alexander Bolotov (2000)

Clausal resolution in a logic of rational agency. - Clare Dixon; Michael Fisher 001; Alexander Bolotov (Artif. Intell., 2002)

On the Relationship between [ohgr]-automata and Temporal Logic Normal Forms. - Alexander Bolotov; Michael Fisher 001; Clare Dixon (J. Log. Comput., 2002)

A Clausal Resolution Method for Extended Computation Tree Logic ECTL. - Alexander Bolotov (TIME, 2003)

A Clausal Resolution Method for Branching-Time Logic ECTL+. - Alexander Bolotov; Artie Basukoski (TIME, 2004)

Automated First Order Natural Deduction. - Alexander Bolotov; Vyacheslav Bocharov; Alexander Gorchakov; Vasilyi Shangin (IICAI, 2005)

Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity. - Artie Basukoski; Alexander Bolotov (TIME, 2005)

Alternating automata and temporal logic normal forms. - Clare Dixon; Alexander Bolotov; Michael Fisher 001 (Ann. Pure Appl. Log., 2005)

Natural Deduction Calculus for Linear-Time Temporal Logic. - Alexander Bolotov; Artie Basukoski; Oleg M. Grigoriev 001; Vasilyi Shangin (JELIA, 2006)

Natural Deduction Calculus for Computation Tree Logic. - Alexander Bolotov; Oleg M. Grigoriev 001; Vasilyi Shangin (John Vincent Atanasoff Symposium, 2006)

A clausal resolution method for branching-time logic ECTL+. - Alexander Bolotov; Artie Basukoski (Ann. Math. Artif. Intell., 2006)

A clausal resolution method for extended computation tree logic ECTL. - Alexander Bolotov; Artie Basukoski (J. Appl. Log., 2006)

Towards gcm re-configuration - extending specification by norms. - Alessandro Basso; Alexander Bolotov (CoreGRID Workshop - Making Grids Work, 2007)

A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal Logic. - Alexander Bolotov; Oleg M. Grigoriev 001; Vasilyi Shangin (IICAI, 2007)

Automated Natural Deduction for Propositional Linear-Time Temporal Logic. - Alexander Bolotov; Oleg M. Grigoriev 001; Vasilyi Shangin (TIME, 2007)

Deontic Extension of Deductive Verification of Component Model: Combining Computation Tree Logic and Deontic Logic in Natural Deduction Style Calculus. - Alexander Bolotov; Alessandro Basso; Oleg M. Grigoriev 001 (IICAI, 2009)

Temporal Specification and Deductive Verification of a Distributed Component Model and Its Environment. - Alessandro Basso; Alexander Bolotov; Vladimir Getov (SSIRI, 2009)

Handling Periodic Properties: Deductive Verification for Quantified Temporal Logic Specifications. - Alexander Bolotov (SSIRI (Companion), 2011)

Natural Deduction System in Paraconsistent Setting: Proof Search for PCont. - Alexander Bolotov; Vasilyi Shangin (J. Intell. Syst., 2012)

Tackling Incomplete System Specifications Using Natural Deduction in the Paracomplete Setting. - Alexander Bolotov; Vasilyi Shangin (COMPSAC, 2014)

Message from SETA 2017 Program Chairs. - Hridesh Rajan; Alexander Bolotov; Chang Xu (COMPSAC (1), 2017)

EnAbled: A Psychology Profile based Academic Compass to Build and Navigate Students' Learning Paths. - Alexander Bolotov; Gabriele Pierantoni; Ayleen Wisudha; Zebokhon Abduraimova; David Chan You Fee (EC-TEL (Practitioner Proceedings), 2018)

Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach. - Alexander Bolotov; Montserrat Hermo; Paqui Lucio (TIME, 2018)

Paracomplete Logic K1 ? Natural Deduction, its Automation, Complexity and Applications. - Alexander Bolotov; Daniil Kozhemiachenko; Vasilyi Shangin (FLAP, 2018)

Towards Certified Model Checking for PLTL Using One-Pass Tableaux. - Alex Abuin; Alexander Bolotov; Unai Díaz-de-Cerio; Montserrat Hermo; Paqui Lucio (TIME, 2019)

Computational Modelling for Bankruptcy Prediction: Semantic Data Analysis Integrating Graph Database and Financial Ontology. - Natalia Yerashenia; Alexander Bolotov (CBI (1), 2019)

One-Pass Context-Based Tableaux Systems for CTL and ECTL. - Alex Abuin; Alexander Bolotov; Montserrat Hermo; Paqui Lucio (TIME, 2020)

Semantic Data Pre-Processing for Machine Learning Based Bankruptcy Prediction Computational Model. - Natalia Yerashenia; Alexander Bolotov; David Chan You Fee; Gabriele Pierantoni (CBI (1), 2020)

Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+. - Alexander Bolotov; Montserrat Hermo; Paqui Lucio (Theor. Comput. Sci., 2020)

Developing a Generic Predictive Computational Model using Semantic data Pre-Processing with Machine Learning Techniques and its application for Stock Market Prediction Purposes. - Natalia Yerashenia; David Chan You Fee; Alexander Bolotov (CBI (1), 2022)

On the Expressive Power of the Normal Form for Branching-Time Temporal Logics. - Alexander Bolotov (NCL, 2022)

Toward a reference architecture based science gateway framework with embedded e-learning support. - 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; et al. (Concurr. Comput. Pract. Exp., 2023)

Revisiting the specification decomposition for synthesis based on LTL solvers. - Josu Oca; Montserrat Hermo; Alexander Bolotov (CoRR, 2023)

Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models. - Alex Abuin; Alexander Bolotov; Montserrat Hermo; Paqui Lucio (J. Log. Algebraic Methods Program., 2023)

A Sound and Complete Algorithm to Identify Independent Variables in a Reactive System Specification. - Josu Oca; Montserrat Hermo; Alexander Bolotov (DATE, 2024)

Applications Model: A High-Level Design Model for Rich Web-Based Applications. - Nalaka R. Dissanayake; Alexander Bolotov (ENASE, 2024)