Applications Model: A High-Level Design Model for Rich Web-Based Applications Dissanayake, Nalaka and Bolotov, Alexander 2024. Applications Model: A High-Level Design Model for Rich Web-Based Applications. 19th International Conference on Evaluation of Novel Approaches to Software Engineering. Angers, France 28 - 29 Apr 2024 SCITEPRESS – Science and Technology Publications. https://doi.org/10.5220/0012605600003687
2024
A Sound and Complete Algorithm to Identify Independent Variables in a Reactive System Specification Oca, Josu, Hermo, Montserrat and Bolotov, Alexander 2024. A Sound and Complete Algorithm to Identify Independent Variables in a Reactive System Specification. 2024 Design, Automation & Test in Europe Conference & Exhibition. Valencia, Spain 25 - 27 Mar 2024 IEEE . pp. 1-2 https://doi.org/10.23919/date58400.2024.10546630
One-pass Context-based Tableaux Systems for CTL and ECTL Abuin, A., Bolotov, A., Hermo, M. and Lucio, P. 2020. One-pass Context-based Tableaux Systems for CTL and ECTL. 27th International Symposium on Temporal Representation and Reasoning. Bozen-Bolzano, Italy 23 - 25 Sep 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany. https://doi.org/10.4230/LIPIcs.TIME.2020.14
2020
Semantic Data Pre-Processing for Machine Learning Based Bankruptcy Prediction Computational Model Yerashenia, N., Bolotov, A., Chan You Fee, D. and Pierantoni, G. 2020. Semantic Data Pre-Processing for Machine Learning Based Bankruptcy Prediction Computational Model. 22nd IEEE International Conference on Business Informatics (IEEE CBI 2020) . Antwerp, Belgium 22 - 24 Jun 2020 IEEE . https://doi.org/10.1109/CBI49978.2020.00015
2020
Science Gateways with Embedded Ontology-based E-learning Support Kiss, T., Bolotov, A., Pierantoni, G., Deslauriers, J., MOSA, A., Kagialis, D., Terstyanszky, G. and Chan You Fee, D. 2020. Science Gateways with Embedded Ontology-based E-learning Support. Gesing, S., Taylor, I. and Barclay, I (ed.) 12th International Workshop on Science Gateways. On-line 10 - 11 Jun 2020 CEUR Workshop Proceedings.
Towards Certified Model Checking for PLTL using One-pass Tableaux Abuin, A., Bolotov, A., de Cerio, U., Hermo, M. and Lucio, P. 2019. Towards Certified Model Checking for PLTL using One-pass Tableaux. 26th International Symposium on Temporal Representation and Reasoning, TIME 2019. Malaga, Spain 16 - 19 Oct 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany. https://doi.org/10.4230/LIPIcs.TIME.2019.12
Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach Bolotov, A., Hermo, M. and Lucio, P. 2019. Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach. 19th Spanish Conference on Programming and Computer Languages. Sep 2019 Spanish Society of Software Engineering and Software Development Technologies.
2018
Tuning Natural Deduction Proof Search by Analytic Methods Bolotov, A. and Gorchakov, A. 2018. Tuning Natural Deduction Proof Search by Analytic Methods. The 25th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. University of Cambridge Apr 2018 University of Cambridge.
2018
A tree-style one-pass tableau for an extension of ECTL+ Bolotov, A., Hermo, M. and Lucio, P. 2018. A tree-style one-pass tableau for an extension of ECTL+. The 25th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. University of Cambridge Apr 2018 University of Cambridge.
2018
Extending fairness expressibility of ECTL+: a tree-style one-pass tableau approach Bolotov, A., Hermo, M. and Lucio, P. 2018. Extending fairness expressibility of ECTL+: a tree-style one-pass tableau approach. 25th International Symposium on Temporal Representation and Reasoning, TIME-2018. Warsaw, Poland 15 - 17 Oct 2018 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.TIME.2018.5
2018
EnAbled: A Psychology Profile based Academic Compass to Build and Navigate Students' Learning Paths Bolotov, A., Pierantoni, G., Wisudha, A., Abduraimova, Z. and Chan You Fee, D. 2018. EnAbled: A Psychology Profile based Academic Compass to Build and Navigate Students' Learning Paths. EC-TEL Practitioner Proceedings 2018: 13th European Conference On Technology Enhanced Learning. Leeds, UK 03 - 06 Sep 2018 CEUR.
2017
On the Complexity of the Natural Deduction Proof Search Algorithm Bolotov, A., Shangin, V. and Kozhemiachenko, D. 2017. On the Complexity of the Natural Deduction Proof Search Algorithm. ARW2017 - 24th Automated Reasoning Workshop. Bristol 03 - 04 Apr 2017 University of Bristol Technical Report.
2016
Sensor Intelligence for Tackling Energy-Drain Attacks on Wireless Sensor Networks Udoh, E., Getov, Vladimir and Bolotov, A. 2016. Sensor Intelligence for Tackling Energy-Drain Attacks on Wireless Sensor Networks. The 23rd Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. University of Liverpool 19 - 20 May 2016 Automated Reasoning Workshop.
2016
Discovering of System’s Invariants by Temporal Reasoning Bolotov, A. 2016. Discovering of System’s Invariants by Temporal Reasoning. The International Conference on Innovations in Info-business and Technology (ICIIT). Colombo, Sri Lanka 04 - 04 Mar 2016 Informatics Institute of Technology.
2016
Towards Generalised Proof Search for Natural Deduction Systems for logics I⟨a;b⟩ Bolotov, A. and Shangin, V. 2016. Towards Generalised Proof Search for Natural Deduction Systems for logics I⟨a;b⟩. Hustadt, U. (ed.) Automated Reasoning Workshop 2016: Bridging the Gap between Theory and Practice (ARW 2016). Liverpool 19 - 20 May 2016 Automated Reasoning Workshop.
2015
Distributed Agent-Based Load Balancer for Cloud Computing Sliwko, L., Getov, Vladimir and Bolotov, A. 2015. Distributed Agent-Based Load Balancer for Cloud Computing. The 22nd Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. University of Birmingham 09 Apr 2015 Automated Reasoning Workshop.
2014
Socratic Proofs for Propositional Linear-Time Logic Urbanski, M., Bolotov, A., Shangin, V. and Grigoriev, O. 2014. Socratic Proofs for Propositional Linear-Time Logic. Bolotov, A. (ed.) Joint Automated Reasoning Workshop and Deduktionstreffen. Vienna 23 - 24 Jul 2014 IJCAR.
Natural deduction system in paraconsistent setting: proof search for PCont Bolotov, A. and Shangin, V. 2011. Natural deduction system in paraconsistent setting: proof search for PCont. In the Proceedings of the 5th Indian International Conference on Artificial Intelligence (IICAI-2011). Tumkur, Karnataka State, India 14th - 16th December 2011 pp. 630-638
2011
Natural deduction in the setting of paraconsistent logic Bolotov, A. 2011. Natural deduction in the setting of paraconsistent logic. 18th Automated Reasoning Workshop 2011 (ARW2011). University of Glasgow 11th - 12th April 2011
High-level Design Models for Rich Web-based Applications Dissanayake, N.R., Bolotov, A. and Courtenage, S. 2023. High-level Design Models for Rich Web-based Applications. Showcasing Research at the School of Computer Science and Engineering. Regent cinema, Regent street, London 22 Nov 2023 University of Westminster.
Toward a reference architecture based science gateway framework with embedded e‐learning support Pierantoni, G., Kiss, T., Bolotov, A., Kagialis, D., James DesLauriers, Ullah, A., Chen, H., Chan You Fee, D., Dang, H., Kovacs, J., Belehaki, A., Herekakis, T., Tsagouri, I. and Gesing, S. 2023. Toward a reference architecture based science gateway framework with embedded e‐learning support. Concurrency and Computation: Practice and Experience. 35 (18) e6872. https://doi.org/10.1002/cpe.6872
The scientist and his time Bolotov, A. and Zaitzev, D. 1993. The scientist and his time. Moscow University Bulletin. 5, pp. 1-12.
2022
The Digital Health Evidence Generator Bolotov, A., Volpi, E. and Chan You Fee, D. 2022. The Digital Health Evidence Generator. University of Westminster. https://doi.org/10.34737/w6866
A clausal resolution method for branching-time logic ECTL+ Bolotov, A. and Basukoski, A. 2006. A clausal resolution method for branching-time logic ECTL+. Annals of Mathematics and Artificial Intelligence. 46 (3), pp. 235-263. https://doi.org/10.1007/s10472-006-9018-1
2005
Alternating automata and temporal logic normal forms Dixon, C., Bolotov, A. and Fisher, M. 2005. Alternating automata and temporal logic normal forms. Annals of Pure and Applied Logic. 135 (1-3), pp. 263-285. https://doi.org/10.1016/j.apal.2005.03.002
2002
On the relationship between w-automata and temporal logic normal forms Bolotov, A., Fisher, M. and Dixon, C. 2002. On the relationship between w-automata and temporal logic normal forms. Journal of Logic and Computation. 12 (4), pp. 561-581. https://doi.org/10.1093/logcom/12.4.561
2002
Clausal resolution in a logic of rational agency Dixon, C., Fisher, M. and Bolotov, A. 2002. Clausal resolution in a logic of rational agency. Artificial Intelligence: an international journal. 139 (1), pp. 47-89. https://doi.org/10.1016/S0004-3702(02)00196-0
Let the computer prove it Bolotov, A., Bocharov, V., Gorchakov, A., Makarov, V. and Shangin, V. 2004. Let the computer prove it. Moscow, Russia Nauka.
2020
SMARTEST - knowledge and learning repository Bolotov, A., Pierantoni, G., Chan You Fee, D., Wojtunik, D., Ivanauskaite, G., Tait, C., Makadicy, W., Wasowski, T., Kulczynska, A. and Yerashenia, N. 2020. SMARTEST - knowledge and learning repository . University of Westminster.
2006
Specification and Verification of Reconfiguration Protocols in Grid Component Systems Bolotov, A., Getov, Vladimir, Basso, A. and Basukoski, A. 2006. Specification and Verification of Reconfiguration Protocols in Grid Component Systems. Proceedings of the Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. London 30 - 31 Mar 2010 University of Bristol Technical Report.
2003
The relationship between Temporal Logic, Normal Form and Alternating Automata Dixon, C., Bolotov, A. and Fisher, M. 2003. The relationship between Temporal Logic, Normal Form and Alternating Automata. Proceedings of the Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. London 30 - 31 Mar 2010
2002
Towards Automated Generation of Beliefs in BDI Logics. Basukoski, A. and Bolotov, A. 2002. Towards Automated Generation of Beliefs in BDI Logics. Automated Reasoning Workshop ARW2002. Imperial College, London Imperial College.
Dynamic reconfiguration of GCM components Basso, A., Bolotov, A., Getov, Vladimir and Henrio, L. 2008. Dynamic reconfiguration of GCM components. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0173
Towards balanced distribution of computations through automated reasoning Shojanoori, R., Juric, R. and Lohi, M. 2010. Towards balanced distribution of computations through automated reasoning. in: Bolotov, A. (ed.) Proceedings of the Automated Reasoning Workshop 2010: Bridging the Gap between Theory and Practice, ARW 2010 London University of Westminster.
2010
Safety and liveness of component-oriented protocols: a feasibility study Paurobally, S., Bolotov, A. and Getov, Vladimir 2010. Safety and liveness of component-oriented protocols: a feasibility study. in: Bolotov, A. (ed.) Proceedings of the automated reasoning workshop 2010: bridging the gap between theory and practice. ARW 2010 University of Westminster.
2010
Towards symbolic reasoning from subsymbolic sensory information Bolotov, A., Gupta, G. and Psarrou, A. 2010. Towards symbolic reasoning from subsymbolic sensory information. in: Bolotov, A. (ed.) Proceedings of the automated reasoning workshop 2010: bridging the gap between theory and practice. ARW 2010 University of Westminster.
2010
Invariant-free deduction for CTL*: the tableau method Bolotov, A., Gaintzarain, J. and Lucio, P. 2010. Invariant-free deduction for CTL*: the tableau method. in: Bolotov, A. (ed.) Proceedings of the automated reasoning workshop 2010: bridging the gap between theory and practice. ARW 2010 University of Westminster.
2009
Natural deduction calculus for quantified propositional linear-time temporal logic (QPTL) Bolotov, A. and Grigoriev, O. 2009. Natural deduction calculus for quantified propositional linear-time temporal logic (QPTL). in: Hustadt, U. (ed.) Proceedings of the Automated Reasoning Workshop 2009: bridging the gap between theory and practice (ARW 2009), 21st - 22nd April 2009, , Liverpool, United Kingdom University of Liverpool Department of Computer Science.
On the "until induction" in natural deduction for PLTL Bolotov, A. 2009. On the "until induction" in natural deduction for PLTL. in: International conference "6th Smirnov's Readings in Logic" June 17-19, 2009, Moscow, Russia Faculty of Philosophy, Lomonosov Moscow State University.
2009
Temporal specification and deductive verification of a distributed component model and its environment Basso, A., Bolotov, A. and Getov, Vladimir 2009. Temporal specification and deductive verification of a distributed component model and its environment. in: Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009 (SSIRI 2009) IEEE . pp. 379-386
2009
State-based behavior specification for GCM systems Basso, A., Bolotov, A. and Getov, Vladimir 2009. State-based behavior specification for GCM systems. in: Hustadt, U. (ed.) Proceedings of the utomated Reasoning Workshop 2009: bridging the gap between theory and practice (ARW 2009), 21st - 22nd April 2009, , Liverpool, United Kingdon University of Liverpool Department of Computer Science.
2008
Automating natural deduction for temporal logic Bolotov, A., Grigoriev, O. and Shangin, V. 2008. Automating natural deduction for temporal logic. in: Glymour, C., Wang, W. and Westerstahl, D. (ed.) Proceedings of the 13th International Congress of Logic Methodology and Philosophy of Science King's College Publications.
Tackling ”until induction” in natural deduction for PLTL Bolotov, A. 2008. Tackling ”until induction” in natural deduction for PLTL. in: Dennis, L.A. and Sorge, V. (ed.) Proceedings of the automated reasoning workshop 2008 University of Birmingham. pp. 12-13
2008
Tackling "until induction" in natural deduction for PLTL Bolotov, A. 2008. Tackling "until induction" in natural deduction for PLTL. in: Proceedings of the 15th workshop on automated reasoning: bridging the gap between theory and practice: CICM 2008, Conferences on Intelligent Computer Mathematics, University of Birmingham, UK Birmingham School of Computer Science.
2008
Behavioural model of component-based Grid environments Basso, A., Bolotov, A. and Getov, Vladimir 2008. Behavioural model of component-based Grid environments. in: Priol, T. and Vanneschi, M. (ed.) From grids to service and pervasive computing Springer. pp. 19-30
2008
Automata-based formal specification of stateful systems Basso, A., Bolotov, A. and Getov, Vladimir 2008. Automata-based formal specification of stateful systems. in: Dennis, L.A. and Sorge, V. (ed.) Proceedings of the automated reasoning workshop 2008 University of Birmingham. pp. 6-7
2008
Automata based formal specification of stateful systems Basso, A., Bolotov, A. and Getov, Vladimir 2008. Automata based formal specification of stateful systems. in: Proceedings of the 15th workshop on automated reasoning: bridging the gap between theory and practice: CICM 2008, Conferences on Intelligent Computer Mathematics, University of Birmingham, UK Birmingham School of Computer Science.
2008
Towards GCM re-configuration – extending specification by norm Basso, A. and Bolotov, A. 2008. Towards GCM re-configuration – extending specification by norm. in: Danelutto, M., Fragopoulou, P. and Getov, Vladimir (ed.) Making grids work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments 12-13 June 2007, Heraklion, Crete, Greece New York, NY, USA Springer. pp. 17-29
2007
Automating natural deduction for temporal logic Bolotov, A., Grigoriev, O. and Shangin, V. 2007. Automating natural deduction for temporal logic. in: Proceedings of the 14th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, ARW 2007. London Imperial College.
2007
A Simpler formulation of natural deduction calculus for linear-time temporal logic Bolotov, A., Grigoriev, O. and Shangin, V. 2007. A Simpler formulation of natural deduction calculus for linear-time temporal logic. in: Bhanu, P. (ed.) Proceedings of the 3rd Indian International Conference on Artificial Intelligence, Pune, India, December 17-19, 2007. IICAI 2007 India IICAI. pp. 1253-1266
Automating natural deduction for linear-time temporal logic Bolotov, A., Grigoriev, O. and Shangin, V. 2007. Automating natural deduction for linear-time temporal logic. in: 14th International Symposium on Temporal Representation and Reasoning (TIME'07)), 28-30 June 2007, Alicante, Spain Los Alamitos, USA IEEE . pp. 47-58
2006
Search and Check: problem solving by problem reduction Bolotov, A., Lupkowski, P. and Urbanski, M. 2006. Search and Check: problem solving by problem reduction. in: Artificial Intelligence and Soft Computing ICAISC 2006: 8th International Conference, Zakopane, Poland, June 25-29, 2006, Proceedings Polish Neural Networks Society.
2006
Natural deduction calculus for computation tree logic Bolotov, A., Grigoriev, O. and Shangin, V. 2006. Natural deduction calculus for computation tree logic. in: IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing (JVA'06) Los Alamitos, USA IEEE . pp. 175-183
2006
Natural deduction calculus for linear-time temporal logic Bolotov, A., Basukoski, A., Grigoriev, O. and Shangin, V. 2006. Natural deduction calculus for linear-time temporal logic. in: Fisher, M., van der Hoek, W., Konev, B. and Lisitsa, A. (ed.) Logics in artificial intelligence: 10th European conference, JELIA 2006: Liverpool, UK September 13-15 2006: proceedings Berlin, Germany Springer.
2006
Specification and verification of reconfiguration protocols in grid component systems Basso, A., Bolotov, A., Basukoski, A., Getov, Vladimir, Henrio, L. and Urbanski, M. 2006. Specification and verification of reconfiguration protocols in grid component systems. in: Proceedings of the 3rd IEEE International Conference on Intelligent Systems (IS-2006) Los Alamitos, USA IEEE . pp. 450-455
2005
Normative agents: formal analysis and applications Bolotov, A. and Svigkos, I. 2005. Normative agents: formal analysis and applications. in: Proceedings of the International Conference Business at the Heart of Central Asia: Critical Issues of Competition and Competitiveness Westminster International University in Tashkent.
2005
Proof-searching algorithm in first order classical natural deduction calculus Bolotov, A., Bocharov, V., Gorchakov, A. and Shangin, V. 2005. Proof-searching algorithm in first order classical natural deduction calculus. in: Hajek, P., Valdes-Villanueva, L. and Westerstahl, D. (ed.) Logic, methodology and philosophy of science: proceedings of the twelfth international congress King's College Publications.
2005
Automated first order natural deduction Bolotov, A., Bocharov, V., Gorchakov, A. and Shangin, V. 2005. Automated first order natural deduction. in: Prasad, B. (ed.) Proceedings of the 2nd Indian International Conference on Artificial Intelligence, Pune, India, December 20-22, 2005. IICAI 2005 ISCAI. pp. 1292-1311
2005
Search strategies for resolution in CTL-type logics: extension and complexity Basukoski, A. and Bolotov, A. 2005. Search strategies for resolution in CTL-type logics: extension and complexity. in: 12th International Symposium on Temporal Representation and Reasoning, 2005: TIME 2005 Los Alamitos, USA IEEE . pp. 195-197
2004
A clausal resolution method for branching-time logic ECTL+ Bolotov, A. and Basukoski, A. 2004. A clausal resolution method for branching-time logic ECTL+. in: Combi, C. (ed.) 11th International Symposium on Temporal Representation and Reasoning: (TIME 2004), Tatihou, Normandie, France, 1-3 July 2004 IEEE . pp. 140-147
2003
A clausal resolution for extended computation tree logic ECTL Bolotov, A. 2003. A clausal resolution for extended computation tree logic ECTL. in: Reynolds, M. and Sattar, A. (ed.) Proceedings of the Combined Tenth International Symposium on Temporal Representation and Reasoning and the Fourth International Conference on Temporal Logic: TIME-ICTL 2003 Cairns, Queensland, Australia, 8-10 July 2003 USA IEEE . pp. 107-117
Usage Statistics
14883 total views of outputs
6295 total downloads of outputs
These values cover views and downloads from WestminsterResearch and are for the period from September 2nd 2018, when this repository was created.