Alexander Bolotov - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 39 from 39

2023

2022

Developing a Generic Predictive Computational Model using Semantic data Pre-Processing with Machine Learning Techniques and its application for Stock Market Prediction PurposesNatalia Yerashenia, David Chan You Fee, Alexander Bolotov. wecwis 2022: 50-59 [doi]

2020

2019

Towards Certified Model Checking for PLTL Using One-Pass TableauxAlex Abuin, Alexander Bolotov, Unai Díaz-de-Cerio, Montserrat Hermo, Paqui Lucio. time 2019: [doi]

Computational Modelling for Bankruptcy Prediction: Semantic Data Analysis Integrating Graph Database and Financial OntologyNatalia Yerashenia, Alexander Bolotov. wecwis 2019: 84-93 [doi]

2018

2017

Message from SETA 2017 Program ChairsHridesh Rajan, Alexander Bolotov, Chang Xu. compsac 2017: 1 [doi]

2014

Tackling Incomplete System Specifications Using Natural Deduction in the Paracomplete SettingAlexander Bolotov, Vasilyi Shangin. compsac 2014: 91-96 [doi]

2012

Natural Deduction System in Paraconsistent Setting: Proof Search for PContAlexander Bolotov, Vasilyi Shangin. jois, 21(1):1-24, 2012. [doi]

2011

Natural Deduction System in Paraconsistent Setting: proof search for PContAlexander Bolotov, Vasilyi Shangin. iicai 2011: 632-640

Handling Periodic Properties: Deductive Verification for Quantified Temporal Logic SpecificationsAlexander Bolotov. ssiri 2011: 179-186 [doi]

2009

Temporal Specification and Deductive Verification of a Distributed Component Model and Its EnvironmentAlessandro Basso, Alexander Bolotov, Vladimir Getov. ssiri 2009: 379-386 [doi]

Deontic Extension of Deductive Verification of Component Model: Combining Computation Tree Logic and Deontic Logic in Natural Deduction Style CalculusAlexander Bolotov, Alessandro Basso, Oleg Grigoriev. iicai 2009: 166-185

2007

Towards gcm re-configuration - extending specification by normsAlessandro Basso, Alexander Bolotov. coregrid 2008: 17-29 [doi]

Automated Natural Deduction for Propositional Linear-Time Temporal LogicAlexander Bolotov, Oleg Grigoriev, Vasilyi Shangin. time 2007: 47-58 [doi]

A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal LogicAlexander Bolotov, Oleg Grigoriev, Vasilyi Shangin. iicai 2007: 1253-1266

2006

2005

Search Strategies for Resolution in CTL-Type Logics: Extension and ComplexityArtie Basukoski, Alexander Bolotov. time 2005: 195-197 [doi]

Automated First Order Natural DeductionAlexander Bolotov, Vyacheslav Bocharov, Alexander Gorchakov, Vasilyi Shangin. iicai 2005: 1292-1311

Alternating automata and temporal logic normal formsClare Dixon, Alexander Bolotov, Michael Fisher. APAL, 135(1-3):263-285, 2005. [doi]

2004

A Clausal Resolution Method for Branching-Time Logic ECTL+Alexander Bolotov, Artie Basukoski. time 2004: 140-147 [doi]

2003

A Clausal Resolution Method for Extended Computation Tree Logic ECTLAlexander Bolotov. time 2003: 107-117 [doi]

2002

On the Relationship between [ohgr]-automata and Temporal Logic Normal FormsAlexander Bolotov, Michael Fisher, Clare Dixon. logcom, 12(4):561-581, 2002. [doi]

Clausal resolution in a logic of rational agencyClare Dixon, Michael Fisher, Alexander Bolotov. ai, 139(1):47-89, 2002. [doi]

2000

Clausal resolution for branching-time temporal logicAlexander Bolotov. PhD thesis, Manchester Metropolitan University, UK, 2000. [doi]

Automata on Infinite Words and Temporal Logic Normal FormsAlexander Bolotov. arw 2000: [doi]

Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution RuleAlexander Bolotov, Clare Dixon. time 2000: 163-172 [doi]

1999

Clausal Resolution for CTL:::*:::Alexander Bolotov, Clare Dixon, Michael Fisher. mfcs 1999: 137-148

A clausal resolution method for CTL branching-time temporal logicAlexander Bolotov, Michael Fisher. jetai, 11(1):77-93, 1999.

1998

Case-based reasoning for medical decision support tasks: The Inreca approachKlaus-Dieter Althoff, Ralph Bergmann, Stefan Wess, Michel Manago, Eric Auriol, Oleg I. Larichev, Alexander Bolotov, Yurii I. Zhuravlev, Serge I. Gurov. artmed, 12(1):25-41, 1998.

1997

A Resolution Method For CTL Branching-Time Temporal LogicAlexander Bolotov, Michael Fisher. time 1997: 20-27 [doi]

Sign in or sign up to see more results.

runs on WebDSL