Alexander Bolotov

Alexander Bolotov, A. Bolotov, A. Basukoski, 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..

Message from SETA 2017 Program Chairs

Alexander Bolotov, Hridesh Rajan, Chang Xu, 2017, 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC).

Search and Check: problem solving by problem reduction

Alexander Bolotov, Mariusz Urbański, P. Lupkowski, 2006 .

A clausal resolution method for CTL branching-time temporal logic

Michael Fisher, Alexander Bolotov, 1999, J. Exp. Theor. Artif. Intell..

Tackling Incomplete System Specifications Using Natural Deduction in the Paracomplete Setting

Alexander Bolotov, Vasilyi Shangin, V. Shangin, 2014, 2014 IEEE 38th Annual Computer Software and Applications Conference.

A clausal resolution method for branching-time logic ECTL+

Alexander Bolotov, Artie Basukoski, 2004, Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. TIME 2004..

Automating natural deduction for linear-time temporal logic

Alexander Bolotov, Vasilyi Shangin, Oleg Grigoriev, 2007 .

Dynamic reconfiguration of GCM components

Alexander Bolotov, Vladimir Getov, Ludovic Henrio, 2008 .

Proceedings of the Automated Reasoning Workshop 2008

Abdur Rakib, Michael Fisher, Alexander Bolotov, 2008 .

Handling Periodic Properties: Deductive Verification for Quantified Temporal Logic Specifications

Alexander Bolotov, 2011, 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion.

State-based behavior specification for GCM systems

Alexander Bolotov, Vladimir Getov, Alessandro Basso, 2009 .

Socratic Proofs for Propositional Linear-Time Logic

Alexander Bolotov, Mariusz Urbański, Vasilyi Shangin, 2014 .

Alternating automata and temporal logic normal forms

Clare Dixon, Michael Fisher, Alexander Bolotov, 2005, Ann. Pure Appl. Log..

Automata on Infinite Words and Temporal Logic Normal Forms

Alexander Bolotov, 2000, ARW.

The 1st Workshop on Model-Based Verification & Validation Temporal Specification and Deductive Verification of a Distributed Component Model and Its Environment

Alexander Bolotov, Vladimir Getov, Alessandro Basso, 2009 .

A clausal resolution method for extended computation tree logic ECTL

Alexander Bolotov, Artie Basukoski, 2006, J. Appl. Log..

Towards symbolic reasoning from subsymbolic sensory information

Alexander Bolotov, Alexandra Psarrou, Gaurav Gupta, 2010 .

Automata based formal specification of stateful systems

Alexander Bolotov, Vladimir Getov, Alessandro Basso, 2008 .

Let the computer prove it

Alexander Bolotov, V. V. Makarov, Vyacheslav Bocharov, 2004 .

Enabled: Educational Network Amplifying Learning Experience (EnAbled)

Alexander Bolotov, Gabriele Pierantoni, A. Wisudha, 2018 .

Natural Deduction Calculus for Computation Tree Logic

Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin, 2006, IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing (JVA'06).

Proceedings of the automated reasoning workshop 2010: bridging the gap between theory and practice. ARW 2010

Alexander Bolotov, A. Bolotov, 2010 .

Resolution for branching time temporal logics: applying the temporal resolution rule

Clare Dixon, Alexander Bolotov, C. Dixon, 2000, Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000.

One-Pass Context-Based Tableaux Systems for CTL and ECTL

Montserrat Hermo, Alexander Bolotov, Paqui Lucio, 2020, TIME.

Clausal Resolution for CTL*

Clare Dixon, Michael Fisher, Alexander Bolotov, 1999, MFCS.

Resolution in a Logic of Rational Agency

Clare Dixon, Michael Fisher, Alexander Bolotov, 2000 .

A clausal resolution method for branching-time logic ECTL+

Alexander Bolotov, Artie Basukoski, A. Bolotov, 2004, Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. TIME 2004..

Towards Certified Model Checking for PLTL Using One-Pass Tableaux

Montserrat Hermo, Alexander Bolotov, Paqui Lucio, 2019, TIME.

EnAbled: A Psychology Profile based Academic Compass to Build and Navigate Students' Learning Paths

Alexander Bolotov, Gabriele Pierantoni, Ayleen Wisudha, 2018, EC-TEL.

Natural Deduction Calculus for Linear-Time Temporal Logic

Alexander Bolotov, Artie Basukoski, Vasilyi Shangin, 2006, JELIA.

Proceedings of the Joint Automated Reasoning Workshop and Deduktionstreffen: As part of the Vienna Summer of Logic – IJCAR 23-24 July 2014

Alexander Bolotov, 2014 .

Clausal resolution for branching-time temporal logic

Alexander Bolotov, 2000 .

On the "until induction" in natural deduction for PLTL

Alexander Bolotov, 2009 .

On the Relationship between [ohgr]-automata and Temporal Logic Normal Forms

Clare Dixon, Michael Fisher, Alexander Bolotov, 2002, J. Log. Comput..

Joint Automated Reasoning Workshop and Deduktionstreffen

Alexander Bolotov, 2014 .

Automating natural deduction for temporal logic

Alexander Bolotov, Vasilyi Shangin, Oleg Grigoriev, 2008 .

Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+

Montserrat Hermo, Alexander Bolotov, Paqui Lucio, 2020, Theor. Comput. Sci..

Behavioural model of component-based Grid environments

Alexander Bolotov, Vladimir Getov, Alessandro Basso, 2008 .

Natural Deduction System in Paraconsistent Setting: Proof Search for PCont

Alexander Bolotov, Vasilyi Shangin, 2011, J. Intell. Syst..

Towards gcm re-configuration - extending specification by norms

Alexander Bolotov, Alessandro Basso, 2007, CoreGRID Workshop - Making Grids Work.

Temporal Specification and Deductive Verification of a Distributed Component Model and Its Environment

Alexander Bolotov, Vladimir Getov, Alessandro Basso, 2009, 2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement.

Distributed Agent-Based Load Balancer for Cloud Computing

Alexander Bolotov, Vladimir Getov, L. Sliwko, 2015 .

Safety and liveness of component-oriented protocols: a feasibility study

Alexander Bolotov, Vladimir Getov, Shamimabi Paurobally, 2010 .

Buy one get two free: a simpler formulation of natural deduction for computation tree logic CTL

Alexander Bolotov, Vasilyi Shangin, Oleg Grigoriev, 2007 .

Computational Modelling for Bankruptcy Prediction: Semantic Data Analysis Integrating Graph Database and Financial Ontology

Alexander Bolotov, Natalia Yerashenia, A. Bolotov, 2019, 2019 IEEE 21st Conference on Business Informatics (CBI).

Semantic Data Pre-Processing for Machine Learning Based Bankruptcy Prediction Computational Model

Alexander Bolotov, Gabriele Pierantoni, David Chan You Fee, 2020, 2020 IEEE 22nd Conference on Business Informatics (CBI).

Sensor Intelligence for Tackling Energy-Drain Attacks on Wireless Sensor Networks

Alexander Bolotov, Vladimir Getov, Ekereuke Udoh, 2016 .

Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach

Alexander Bolotov, Paqui Lucio, Montserrat Hermo, 2018, TIME.

A clausal resolution for extended computation tree logic ECTL

Alexander Bolotov, 2003 .