- Report

Bolotov, A., Pierantoni, G., Wisudha, A., Abduraimova, Z. and Chan You Fee, D. 2018. *Enabled: Educational Network Amplifying Learning Experience (EnAbled).*

Title | Enabled: Educational Network Amplifying Learning Experience (EnAbled) |
---|---|

Authors | Bolotov, A., Pierantoni, G., Wisudha, A., Abduraimova, Z. and Chan You Fee, D. |

Abstract | In modern days, students are faced with a plethora of different options in their learning journey during the University years. From the classical approach of at-tending lectures and tutorials to learning from online videos or participating in the many fora and tutorials that are freely available online; there are so many possible paths and approaches that it is becoming difficult for students to make an in-formed and optimal choice among available resources. To help students to make optimal choices among all these options, we have conducted a research project “Enabled: Educational Network Amplifying Learning Experience” (EnAbled). In this paper, we present and discuss the results of this project. The project aims at “mapping” these choices to personal preferences and individual learning styles. We define students’ individual learning profiles based on the Lumina Psychological Traits of Behavioral Preferences. We argue that this approach will be beneficial not only to the students but also to the academics assisting them in the preparation and delivery of modules and providing them with more insight into what and how teaching is delivered. Alongside the theoretical investigation, the project aims at creating an “Academic Compass”, a digital platform that brings together students and lecturers. Students use the platform to navigate across the various learning op-tions guided by both their preferences and learning styles and previous learning experience whilst lecturers use the platform to model their modules encompassing the various options available at each learning stage. During the project, we collect data required to build students individual learning profiles and utilize them in the definition of a Use Case that models the revision sessions for a module: “Mathe-matics for Computing”. |

Keywords | eLearning, Psychological Profiles, Threshold Concepts, Strategies for Online Learning. |

Year | 2018 |

Towards Certified Model Checking for PLTL using One-pass Tableaux

Bolotov, A., Lucio, P., Hermo, M., Abuin, A. and de Cerio, U. 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.

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

Yerashenia, N. and Bolotov, A. 2019. Computational Modelling for Bankruptcy Prediction: Semantic data Analysis Integrating Graph Database and Financial Ontology. *21st IEEE Conference on Business Informatics.* Moscow, Russian Federation 15 - 17 Jul 2019 IEEE . doi:10.1109/CBI.2019.00017

A Cloud-agnostic Queuing System to Support the Implementation of Deadline-based Application Execution Policies

Kiss, T., Deslauriers, J., Gesmier, G., Terstyanszky, G., Pierantoni, G., Abu Oun, O., Taylor, S.J.E., Anagnostou, A. and Kovacs, J. 2019. A Cloud-agnostic Queuing System to Support the Implementation of Deadline-based Application Execution Policies. *Future Generation Computer Systems.* 101, pp. 99-111.

A Secure Cloud-based Platform to Host Healthcare Applications

Pierantoni, G., Kiss, T., Terstyanszky, G., Dang, H., Delgado Olabarriaga, S., Tuler de Olivera, M., Yigzaw, K. Y., Belika, J. G., Krefting, D. and Penzel, T. 2019. A Secure Cloud-based Platform to Host Healthcare Applications. Gesing, S. (ed.) *11th International Workshop on Science Gateways, IWSG 2019.* Ljubljana, Slovenia 12 - 14 Jun 2019

Enabling Modular Design of an Application-Level Auto-Scaling and Orchestration Framework using TOSCA-based Application Description Templates

Deslauriers, J., Kiss, T., Pierantoni, G., Gesmier, G. and Terstyanszky, G. 2019. Enabling Modular Design of an Application-Level Auto-Scaling and Orchestration Framework using TOSCA-based Application Description Templates. *11th International Workshop on Science Gateways, IWSG 2019.* Ljubljana, Slovenia 12 - 14 Jun 2019

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

Bolotov, A., Chan, D.Y.L., Pierantoni, G., Wisudha, A. and Abduraimova, Z. 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.

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. doi:10.4230/LIPIcs.TIME.2018.5

Automated Scalability of Cloud Services and Jobs

Kiss, T., Terstyanszky, G., Abu Oun, O., Deslauriers, J., Gesmier, G., Pierantoni, G., Kovacs, J., Kacsuk, P., Nagy, E and Farkas, A 2018. Automated Scalability of Cloud Services and Jobs. Gesing, S. and Atkinson, M. (ed.) *10th International Workshop on Science Gateways, IWSG 2018.* Edinburgh UK 13 - 15 Jun 2018

Flexible Deployment of Social Media Analysis Tools, Flexible, Policy-Oriented and Multi-Cloud deployment of Social Media Analysis Tools in the COLA Project

Pierantoni, G., Kiss, T., Gesmier, G., Deslauriers, J., Terstyanszky, G. and Martin Rapun, J M 2018. Flexible Deployment of Social Media Analysis Tools, Flexible, Policy-Oriented and Multi-Cloud deployment of Social Media Analysis Tools in the COLA Project. Gesing, S. and Atkinson, M. (ed.) *10th International Workshop on Science Gateways, IWSG 2018.* Edinburgh UK 13 - 15 Jun 2018 CEUR Workshop Proceedings.

High-level Description of Cloud Applications using TOSCA

Terstyanszky, G., Kiss, T., Gesmier, G. and Pierantoni, G. 2018. High-level Description of Cloud Applications using TOSCA. Gesing, S. and Atkinson, M. (ed.) *10th International Workshop on Science Gateways, IWSG 2018.* Edinburgh UK 13 - 15 Jun 2018

Learning from Young Entrepreneurs: Context and Competencies

Wisudha, A. 2018. Learning from Young Entrepreneurs: Context and Competencies. *6th ASEAN Regional Union of Psychological Societies (ARUPS) Congress.* Bali, Indonesia 20 - 22 Feb 2018

Differences in personality and individual entrepreneurial orientation between entrepreneur students and non-entrepreneur students

Wisudha, A., Kenyatta, G.A. and Rumondor, P.C.B. 2018. Differences in personality and individual entrepreneurial orientation between entrepreneur students and non-entrepreneur students. in: Ariyanto, A.A., Muluk, H., Newcombe, P., Piercy, F.P., Poerwandari, E.K. and Suradijono, S.H.R. (ed.) Diversity in Unity: Perspectives from Psychology and Behavioral Sciences London, UK Routledge. pp. 429-436

Paracomplete logic Kl: natural deduction, its automation, complexity and applications

Bolotov, A., Kozhemiachenko, D. and Shangin, V. 2018. Paracomplete logic Kl: natural deduction, its automation, complexity and applications. *Journal of Applied Logics - IfCoLog Journal of Logics and their Applications.* 5 (1), pp. 221-261.

Towards Cloud Application Description Templates Supporting Quality of Service

Pierantoni, G., Kiss, T. and Terstyanszky, G. 2017. Towards Cloud Application Description Templates Supporting Quality of Service. *9th International Workshop on Science Gateways, IWSG 2017.* Poznan, Poland 19 - 21 Jun 2017 CEUR Workshop Proceedings.

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.

The Correlation Between Personality And Individual Entrepreneurial Orientation: A Recommendation For Entrepreneurial Education

Wisudha, A., Angie, G., Rumondor, P.C.B., Rumeser, J.A.A. and Andangsari, E.W. 2016. The Correlation Between Personality And Individual Entrepreneurial Orientation: A Recommendation For Entrepreneurial Education. *International Conference on Entrepreneurship (IConEnt-2016): How Innovation could Improve the Performance and Productivity in Entrepreneurship?.* Universitas Pelita Harapan, Tangerang, Indonesia 17 Mar 2016 Fakultas Ekonomi Universitas Pelita Harapan.

A model for information and action flows connecting science gateways to distributed computing infrastructures

Pierantoni, G., Frost, G., Gesing, S., Olabarriaga, S., Jaghoori, M., Terstyanski, G. and Arshad, J. 2016. A model for information and action flows connecting science gateways to distributed computing infrastructures. Gesing, S. and Krüger, J. (ed.) *8th International Workshop on Science Gateways.* Rome 08 - 10 Jun 2016 CEUR Workshop Proceedings.

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.

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.

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.

The Digital Repository of Ireland

Pierantoni, G., Frost, D., Cassidy, K., Kenny, S., O'Neill, J., Tiernan, P. and Kilfeather, E. 2015. The Digital Repository of Ireland. *7th International Workshop on Science Gateways.* Budapest 03 - 05 Jun 2015 IEEE . doi:10.1109/IWSG.2015.17

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.

Metaworkflows and Workflow Interoperability for Heliophysics

Pierantoni, G. and Carley, E. 2014. Metaworkflows and Workflow Interoperability for Heliophysics. *6th International Workshop on Science Gateways.* Dublin 03 - 05 Jun 2014 IEEE . doi:10.1109/IWSG.2014.19

HELIOGate: a Portal for the Heliophysics Community

Pierantoni, G. and Carley, E. 2014. HELIOGate: a Portal for the Heliophysics Community. in: Kacsuk, P. (ed.) Science Gateways for Distributed Computing Infrastructures Cham Springer. pp. 195-207

A Workflow-Oriented Approach to Propagation Models

Pierantoni, G. and Perez Suarez, D. 2014. A Workflow-Oriented Approach to Propagation Models. *Krakow Grid Workshop.* Krakow 27 - 29 Oct 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.

Tackling Incomplete System Specifcations Using Natural Deduction in the Paracomplete Setting

Bolotov, A. and Shangin, V. 2014. Tackling Incomplete System Specifcations Using Natural Deduction in the Paracomplete Setting. * COMPSAC 2014.* Vasteras, Sweden Jul 2014 IEEE . doi:10.1109/COMPSAC.2014.15

Natural Deduction in a Paracomplete Setting

Bolotov, A. and Shangin, V. 2014. Natural Deduction in a Paracomplete Setting. *Logical Investigations.* 20, pp. 224-247.

Natural deduction system in paraconsistent setting: proof search for PCont

Bolotov, A. and Shangin, V. 2012. Natural deduction system in paraconsistent setting: proof search for PCont. *Journal of Intelligent Systems.* 21 (1), pp. 1-24. doi:10.1515/jisys-2011-0021

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

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

Handling periodic properties: deductive verification for quantified temporal logic specifications

Bolotov, A. 2011. Handling periodic properties: deductive verification for quantified temporal logic specifications. in: 2011 5th international conference on secure software integration and reliability improvement companion IEEE . pp. 179-186

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.

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.

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.

Multi-agent systems as instrumentation tools for e-business and e-society

Bolotov, A. and Maltseva, S. 2009. Multi-agent systems as instrumentation tools for e-business and e-society. *Russian Internet Week.* Moscow, Russia December 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 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.

Natural deduction calculus for quantified propositional linear-time temporal logic

Bolotov, A. and Grigoriev, O. 2009. *Natural deduction calculus for quantified propositional linear-time temporal logic.* University of Westminster.

Combining computation tree logic and deontic logic in natural deduction style calculus

Bolotov, A. and Grigoriev, O. 2009. *Combining computation tree logic and deontic logic in natural deduction style calculus.* University of Westminster.

Deontic extension of deductive verification of component model: combining computation tree logic and deontic logic in natural deduction style calculus

Bolotov, A., Basso, A. and Grigoriev, O. 2009. Deontic extension of deductive verification of component model: combining computation tree logic and deontic logic in natural deduction style calculus. in: Proceedings of the 4th Indian International Conference on Artificial Intelligence (IICAI-09), December 16-18, 2009, SIT, Tumkur, India IICAI. pp. 166-185

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.

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

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.

Dynamic reconfiguration of GCM components

Basso, A., Bolotov, A., Getov, Vladimir and Henrio, L. 2008. *Dynamic reconfiguration of GCM components.* CoreGRID. doi:CoreGRIDTechnicalReportNumberTR-0173

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.

Automating natural deduction for temporal logic

Bolotov, A., Grigoriev, O. and Shangin, V. 2008. 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.

Natural deduction system for linear time temporal logic

Bolotov, A., Basukoski, A., Gregoryev, O. and Shangin, V. 2008. Natural deduction system for linear time temporal logic. in: Logical Investigations Moscow Nauka.

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

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.

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

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

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.

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

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

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

Bolotov, A., Grigoriev, O. and Shangin, V. 2007. Buy one get two free: a simpler formulation of natural deduction for computation tree logic CTL. in: Proceedings of the "Smirnov's Readings", VI International Conference (in Russian) Moscow, Russia Moscow State University.

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

A clausal resolution method for extended computation tree logic ECTL

Bolotov, A. and Basukoski, A. 2006. A clausal resolution method for extended computation tree logic ECTL. *Journal of Applied Logic.* 4 (2), pp. 141-167. doi:10.1016/j.jal.2005.06.003

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.* CoreGRID. doi:CoreGRIDTechnicalReportNumberTR-0042

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. doi:10.1007/s10472-006-9018-1

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.

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

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.

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

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. doi:10.1016/j.apal.2005.03.002

A balancing act

Wisudha, A. 2005. A balancing act. in: Association for project management yearbook 2005/6 Association for project management. pp. 41-43

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.

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.

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

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

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.

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

The scientist and his time

Bolotov, A. and Zaitzev, D. 2003. The scientist and his time. *Logical Studies.* 10, pp. 1-9.

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

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. doi:10.1093/logcom/12.4.561

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. doi:10.1016/S0004-3702(02)00196-0

**Permalink - **https://westminsterresearch.westminster.ac.uk/item/q5074/enabled-educational-network-amplifying-learning-experience-enabled