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.

Chapter titleTowards symbolic reasoning from subsymbolic sensory information
AuthorsBolotov, A., Gupta, G. and Psarrou, A.
EditorsBolotov, A.
Book titleProceedings of the automated reasoning workshop 2010: bridging the gap between theory and practice. ARW 2010
Year2010
PublisherUniversity of Westminster
Publication dates
Published2010
Web address (URL)http://www.csc.liv.ac.uk/~clare/ARW/year/2010/ARW-2010-main.pdf
EventARW 2010

Related outputs

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

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.

Fast 2D/3D object representation with growing neural gas
Angelopoulou, A., Garcia-Rodriguez, J., Orts Escolano, S., Gupta, G. and Psarrou, A. 2018. Fast 2D/3D object representation with growing neural gas. Neural Computing and Applications. 29 (10), pp. 903-919.

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.

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.

An Evaluation of the Efficacy of a Perceptually Controlled Immersive Environment for Learning Acupuncture
Ferguson, J., Mentzelopoulos, M. and Psarrou, A. 2016. An Evaluation of the Efficacy of a Perceptually Controlled Immersive Environment for Learning Acupuncture . IUCC 2016 - 15th International Conference on Ubiquitous Computing and Communications - Virtual Environments and Advanced Interfaces Workshop. Granada, Spain 14 - 16 Dec 2016 IEEE .

Performance Evaluation of a Statistical and a Neural Network Model for Nonrigid Shape-Based Registration
Angelopoulou, A., Psarrou, A., Garcia-Rodriguez, J. and Mentzelopoulos, M. 2016. Performance Evaluation of a Statistical and a Neural Network Model for Nonrigid Shape-Based Registration. Sixth International Conference on Image Processing Theory, Tools and Applications (IPTA'16). Finland 12 - 15 Dec 2016 IEEE .

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.

Real time motion estimation using a neural architecture implemented on GPUs
Garcia-Jose Rodriguez, Orts-Sergio Escolano, Angelopoulou, A., Alexandra Psarrou, Azorin-Lopez, J., García-Chamizo, J.M., Garcia-Rodriguez, J., Orts Escolano, S. and Psarrou, A. 2016. Real time motion estimation using a neural architecture implemented on GPUs. Real-Time Image Processing. 11 (4), pp. 731-749.

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.

Editorial: Neural Processing Letters - Special Issue on 'Neural Networks for Vision and Robotics'
Angelopoulou, A., Garcia-Rodriguez, J., Psarrou, A., Cazorla, M. and Lewis, A. 2015. Editorial: Neural Processing Letters - Special Issue on 'Neural Networks for Vision and Robotics'. Neural Processing Letters. 43 (2).

3D Reconstruction of Medical Images from Slices Automatically Landmarked with Growing Neural Models
Angelopoulou, A., Psarrou, A., Garcia-Rodriguez, J., Orts Escolano, S., Azorin-Lopez, J. and Revett, K. 2015. 3D Reconstruction of Medical Images from Slices Automatically Landmarked with Growing Neural Models. Neurocomputing. 150 (A), pp. 16-25.

Comparative performance between human and automated face recognition systems, using CCTV imagery, different compression levels and scene parameters
Tsifouti, A., Triantaphillidou, S., Larabi M-C, Bilissi, E. and Psarrou, A. 2015. Comparative performance between human and automated face recognition systems, using CCTV imagery, different compression levels and scene parameters . SPIE Electronic Imaging: Image Quality and System Performance XII. San Fransisco, USA Jan 2015 SPIE.

The effects of scene content parameters, compression, and frame rate on the performance of analytics systems
Tsifouti, A., Triantaphillidou, S., Larabi, M.C., Doré, G, Bilissi, E. and Psarrou, A. 2015. The effects of scene content parameters, compression, and frame rate on the performance of analytics systems. SPIE Elecgtronic Imaging: Image Quality and System Performance XII. San Fransisco, USA Jan 2015 SPIE.

Image quality optimization, via application of contextual contrast sensitivity and discrimination functions
Fry, E., Triantaphillidou, S., Jarvis, J. and Gupta, G. 2015. Image quality optimization, via application of contextual contrast sensitivity and discrimination functions. SPIE Electronic Imaging: Image Quality and System Performance XII. San Fransisco Jan 2015 SPIE.

A case study in identifying acceptable bitrates for human face recognition tasks
Tsifouti, A., Triantaphillidou, S., Larabi, M.C., Bilissi, E. and Psarrou, A. 2015. A case study in identifying acceptable bitrates for human face recognition tasks. Signal Processing: Image Communication . 36, p. 14–28.

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.

Adaptive-threshold region merging via path scanning
Gupta, G. and Psarrou, A. 2014. Adaptive-threshold region merging via path scanning. 22nd International Conference on Pattern Recognition. Stockholm, Sweden Aug 2014 IEEE .

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 .

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

Contrast sensitivity and discrimination in pictorial images
Triantaphillidou, S., Jarvis, J. and Gupta, G. 2014. Contrast sensitivity and discrimination in pictorial images. in: SPIE Proceedings 9016, Image Quality and System Performance XI SPIE.

Active foreground region extraction and tracking for sports video annotation
Mentzelopoulos, M., Psarrou, A., Angelopoulou, A., García-Rodríguez, J. and Garcia Rodriguez, J. 2013. Active foreground region extraction and tracking for sports video annotation. Neural Processing Letters. 37 (1), pp. 33-46.

Natural User Interfaces in Volume Visualisation using Microsoft Kinect
Angelopoulou, A., Garcia-Rodriguez, J., Psarrou, A., Mentzelopoulos, M., Reddy, B., Orts Escolano, S., Serra, J.A. and Lewis, A. 2013. Natural User Interfaces in Volume Visualisation using Microsoft Kinect. ICIAP 2013 International Workshops. Naples, Italy 09 Sep 2013 Springer.

Adaptive learning in motion analysis with self-organising maps
Angelopoulou, A., Garcia-Rodriguez, J., Psarrou, A., Gupta, G. and Mentzelopoulos, M. 2013. Adaptive learning in motion analysis with self-organising maps. International Joint Conference on Neural Networks (IJCNN). Dallas, TX 04 Aug 2013 IEEE .

A semi-parametric approach for football video annotation
Mentzelopoulos, M., Psarrou, A., Angelopoulou, A. and Garcia-Rodriguez, J. 2013. A semi-parametric approach for football video annotation. International Joint Conference on Neural Networks (IJCNN). Dallas, TX 04 Aug 2013 IEEE .

Defining human contrast sensitivity and discrimination from complex imagery
Triantaphillidou, S., Jarvis, J., Gupta, G. and Rana, H. 2013. Defining human contrast sensitivity and discrimination from complex imagery. in: SPIE proceedings: Optics and Photonics for Counterterrorism, Crime Fighting and Defence IX; and Optical Materials and Biomaterials in Security and Defence Systems Technology X, 89010C SPIE.

Contrast sensitivity and discrimination of complex scenes
Triantaphillidou, S., Jarvis, J. and Gupta, G. 2013. Contrast sensitivity and discrimination of complex scenes. in: Burns, P.D. and Triantaphillidou, S. (ed.) Image Quality and System Performance X SPIE.

3D gesture recognition with growing neural gas
Sera-Perez, J.A., Garcia Rodriguez, J., Orts-Escolano, S., García-Chamizo, J.M., Montoyo-Bojo, J., Angelopoulou, A., Psarrou, A., Mentzelopoulos, M., Lewis, A. and Orts Escolano, S. 2013. 3D gesture recognition with growing neural gas. in: Proceedings of the International Joint Conference in Neural Networks, IJCNN 2013, 2-9 August 2013, Dallas, USA IEEE . pp. 3034-3041

Visual region understanding: unsupervised extraction and abstraction
Gupta, G. 2012. Visual region understanding: unsupervised extraction and abstraction. PhD thesis University of Westminster School of Electronics and Computer Science

Autonomous growing neural gas for applications with time constraint: optimal parameter estimation
Garcia Rodriguez, J., Angelopoulou, A., García-Chamizo, J.M., Psarrou, A., Orts Escolano, S. and Morell Gimenez, V. 2012. Autonomous growing neural gas for applications with time constraint: optimal parameter estimation. Neural Networks. 32, pp. 196-208.

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.

Evaluation of perceived image sharpness with changes in the displayed image size
Park, J.Y., Triantaphillidou, S., Jacobson, R.E. and Gupta, G. 2012. Evaluation of perceived image sharpness with changes in the displayed image size. in: SPIE proceedings: Electronic Imaging: Image Quality & System Performance IX, 82930J SPIE.

Visual scene busyness measures through a region growing spatial segmentation
Gupta, G., Psarrou, A., Triantaphillidou, S. and Park, J.Y. 2012. Visual scene busyness measures through a region growing spatial segmentation. in: Lewis, C. and Burgess, D. (ed.) Optics and Photonics for Counterterrorism, Crime Fighting, and Defence VIII SPIE.

Region analysis through close contour transformation using growing neural gas
Gupta, G., Psarrou, A., Angelopoulou, A. and Garcia Rodriguez, J. 2012. Region analysis through close contour transformation using growing neural gas. in: WCCI 2012 IEEE World Congress on Computational Intelligence, IJCNN, Brisbane, Australia, 10-15 June 2012 IEEE . pp. 1-8

Image segmentation based on semi-greedy region merging
Gupta, G., Psarrou, A. and Angelopoulou, A. 2012. Image segmentation based on semi-greedy region merging. in: IET Conference on Image Processing (IPR 2012), University of Westminster, UK, 3-4 July 2012 Stevenage Institution of Engineering and Technology (IET). pp. 211-214

Building visual surveillance systems with neural networks.
Garcia Rodriguez, J., Angelopoulou, A., Mora-Gimeno, F.J. and Psarrou, A. 2012. Building visual surveillance systems with neural networks. in: Elizondo, D.A., Solanas, A. and Martinez-Balleste, A. (ed.) Computational Intelligence for Privacy and Security Springer.

Mobile augmented reality for cultural heritage
Angelopoulou, A., Economou, D., Bouki, V., Psarrou, A., Jin, L., Pritchard, C. and Kolyda, F. 2012. Mobile augmented reality for cultural heritage. in: Mobile wireless middleware, operating systems and applications: 4th international ICST conference, Mobilware 2011. London, UK, June 2011. Revised selected papers. Springer.

Near-infrared ink differentiation in medieval manuscripts
Psarrou, A., Licata, A., Kokla, V. and Tselikas, A. 2011. Near-infrared ink differentiation in medieval manuscripts. International Journal of Computer Vision. 94 (1), pp. 136-151.

An unsupervised method for active region extraction in sports videos
Mentzelopoulos, M., Angelopoulou, A. and Psarrou, A. 2011. An unsupervised method for active region extraction in sports videos. in: Cabestany, J., Rojas, I. and Joya, G. (ed.) Advances in Computational Intelligence: 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings, Part II Springer.

Fast Autonomous Growing Neural Gas
Garcia-Rodriguez, J., Angelopoulou, A., Orts Escolano, S., García-Chamizo, J.M., Psarrou, A. and Garcia Rodriguez, J. 2011. Fast Autonomous Growing Neural Gas. 2011 International Joint Conference on Neural Networks (IJCNN). San Jose, California July 31 - August 5, 2011

Fast image representation with GPU-based growing neural gas
Garcia Rodriguez, J., Angelopoulou, A., Morrell, V., Orts Escolano, S., Psarrou, A. and García-Chamizo, J.M. 2011. Fast image representation with GPU-based growing neural gas. in: Cabestany, J., Rojas, I. and Joya, G. (ed.) Advances in Computational Intelligence: 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings, Part II Springer.

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

A growing neural gas algorithm with applications in hand modelling and tracking
Angelopoulou, A., Psarrou, A. and Garcia Rodriguez, J. 2011. A growing neural gas algorithm with applications in hand modelling and tracking. in: Cabestany, J., Rojas, I. and Joya, G. (ed.) Advances in Computational Intelligence: 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings, Part II Springer.

Object representation with self-organising networks
Angelopoulou, A., Psarrou, A. and Garcia Rodriguez, J. 2011. Object representation with self-organising networks. in: Cabestany, J., Rojas, I. and Joya, G. (ed.) Advances in computational intelligence: 11th international work-conference on artificial neural networks, IWANN 2011, Torremolinos-Malaga, Spain, June 8-10, 2011 Springer. pp. 244-251

Hand gesture modelling and tracking using a self-organising network
Angelopoulou, A., Garcia-Rodriguez, J., Psarrou, A. and Gupta, G. 2010. Hand gesture modelling and tracking using a self-organising network. The 2010 International Joint Conference on Neural Networks (IJCNN) . Barcelona 18 Jul 2010 IEEE .

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.

Watercolour identification based on machine vision analysis
Kokla, V., Psarrou, A. and Konstantinou, V. 2010. Watercolour identification based on machine vision analysis. e-Preservation Science. 7, pp. 22-28.

GNG based surveillance system
Garcia Rodriguez, J., Angelopoulou, A., García-Chamizo, J.M. and Psarrou, A. 2010. GNG based surveillance system. in: 2010 International Joint Conference on Neural Networks (IJCNN), Barcelona, Spain, 18-23 July 2010 IEEE . pp. 1-8

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.

Tracking gestures using a probabilistic self-organising network
Angelopoulou, A., Psarrou, A., Garcia Rodriguez, J. and Gupta, G. 2010. Tracking gestures using a probabilistic self-organising network. in: 2010 International Joint Conference on Neural Networks (IJCNN), Barcelona, Spain, 18-23 July 2010 IEEE . pp. 1-7

Unsupervised ink type recognition in ancient manuscripts
Psarrou, A., Licata, A. and Kokla, V. 2009. Unsupervised ink type recognition in ancient manuscripts. in: IEEE 12th International Conference on Computer Vision Workshop: on e-heritage and digital art preservation IEEE . pp. 955-961

An ink texture descriptor for nir-imaged medieval documents
Licata, A., Psarrou, A. and Kokla, V. 2009. An ink texture descriptor for nir-imaged medieval documents. in: Proceedings of the 16th IEEE International Conference on Image Processing: ICIP 2009, November 2009, Cairo IEEE . pp. 1997-2000

Revealing the visually unknown in ancient manuscripts with a similarity measure for IR-imaged inks
Licata, A., Psarrou, A. and Kokla, V. 2009. Revealing the visually unknown in ancient manuscripts with a similarity measure for IR-imaged inks. in: Proceedings of the 10th International Conference on Document Analysis and Recognition: ICDAR 2009. 26 - 29 July 2009, Barcelona, Catalonia, Spain IEEE . pp. 818-822

Watercolour identification based on machine vision analysis
Kokla, V., Psarrou, A. and Konstantinou, V. 2009. Watercolour identification based on machine vision analysis. in: Proceedings of New Media Art Conference 2008, 7-9 Nov. 2008, Shanghai, China Shanghai, P.R. China Tongji University Press. pp. 133-143

Trends on interactive platforms for social media through Web2.0
Jin, L., Psarrou, A., Cao, S. and Chen, Y. 2009. Trends on interactive platforms for social media through Web2.0. in: International Conference on Management and Service Science. MASS '09. 20-22 Sept. 2009 IEEE .

Generic colour image segmentation via multi-stage region merging
Gupta, G., Psarrou, A. and Angelopoulou, A. 2009. Generic colour image segmentation via multi-stage region merging. in: Proceedings of the 10th Workshop on Image Analysis for Multimedia Interactive Services (WIAMIS '09) IEEE . pp. 185-188

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.

Unsupervised classification for ancient manuscript analysis
Lu, K., Psarrou, A., Licata, A., Konstantinou, V. and Kokla, V. 2008. Unsupervised classification for ancient manuscript analysis. in: Proceedings of the International MultiConference of Engineers and Computer Scientists (IMECS'08), 19-20th March 2008, Hong-Kong International Association of Engineers. pp. 348-353

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

Active-GNG: model acquisition and tracking in cluttered backgrounds
Angelopoulou, A., Psarrou, A., Garcia Rodriguez, J. and Gupta, G. 2008. Active-GNG: model acquisition and tracking in cluttered backgrounds. in: VNBA '08: Proceeding of the 1st ACM workshop on vision networks for behavior analysis ACM. pp. 17-22

Computational models for pigment analysis
Kokla, V., Psarrou, A. and Konstantinou, V. 2008. Computational models for pigment analysis. Applied Physics A: Materials Science & Processing. 90 (1), pp. 15-22.

Ink discrimination based on co-occurrence analysis of visible and infrared images
Kokla, V., Psarrou, A. and Konstantinou, V. 2007. Ink discrimination based on co-occurrence analysis of visible and infrared images. in: Proceedings of the Ninth International Conference on Document Analysis and Recognition, 23-26 Sept. 2007 (ICDAR 2007) Los Alamitos, USA IEEE .

A Bayesian decision model for watercolour analysis
Kokla, V., Psarrou, A. and Konstantinou, V. 2007. A Bayesian decision model for watercolour analysis. in: Fotakis, C., Pezzati, L. and Salimbeni, R. (ed.) O3A: optics for arts, architecture, and archaeology: 20-22 June 2007, Munich, Germany Bellingham, Wash. SPIE.

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

Robust modelling and tracking of NonRigid objects using Active-GNG
Angelopoulou, A., Psarrou, A., Gupta, G. and Garcia Rodriguez, J. 2007. Robust modelling and tracking of NonRigid objects using Active-GNG. in: IEEE Workshop on Non-rigid Registration and Tracking through Learning, NRTL 2007, in conjunction with ICCV 2007, 14-21 October 2007, Rio de Janeiro Los Alamitos, USA IEEE . pp. 1-7

Nonparametric modelling and tracking with Active-GNG
Angelopoulou, A., Psarrou, A., Gupta, G. and Garcia Rodriguez, J. 2007. Nonparametric modelling and tracking with Active-GNG. in: Lew, M., Sebe, N., Huang, T.S. and Bakker, E.M. (ed.) Human-Computer Interaction: IEEE international workshop, HCI 2007, Rio de Janeiro, Brazil, October 20, 2007; proceedings Berlin Springer.

Growing neural gas (GNG): a soft competitive learning method for 2D hand modelling
Garcia Rodriguez, J., Angelopoulou, A. and Psarrou, A. 2006. Growing neural gas (GNG): a soft competitive learning method for 2D hand modelling. IEICE Transactions on Information and Systems. E89-D (7), pp. 2124-2131.

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.

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.

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.

The characterization if inks through image-based analysis
Kokla, V., Psarrou, A. and Konstantinou, V. 2006. The characterization if inks through image-based analysis. in: The object in context: crossing conservation boundaries Munich, Germany International Institute for Conservation of Historic & Artistic Works. pp. 322

Probability analysis in art conservation
Kokla, V., Psarrou, A. and Konstantinou, V. 2006. Probability analysis in art conservation. in: Ranchordas, A., Araujo, H. and Encarnacao, B. (ed.) VISAPP 2006: Proceedings of the First International Conference on Computer Vision Theory and Applications Portugal INSTICC Press. pp. 508-514

Ink recognition based on statistical classification methods
Kokla, V., Psarrou, A. and Konstantinou, V. 2006. Ink recognition based on statistical classification methods. in: Second International Conference on Document Image Analysis for Libraries, 2006. DIAL '06. USA IEEE . pp. 254-264

Automatically building 2D statistical shapes using the topology preservation model GNG
Garcia Rodriguez, J., Angelopoulou, A., Psarrou, A. and Revett, K. 2006. Automatically building 2D statistical shapes using the topology preservation model GNG. in: Narayanan, P.J., Nayar, S.K. and Shum, H.Y. (ed.) Computer Vision ACCV 2006: 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006: Proceedings, Part I Springer.

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

Learning 2D hand shapes using the topology preservation model GNG
Angelopoulou, A., Garcia Rodriguez, J. and Psarrou, A. 2006. Learning 2D hand shapes using the topology preservation model GNG. in: Leonardis, A., Bischof, H. and Pinz, A. (ed.) Proceedings of the 9th IEEE European Conference on Computer Vision, ECCV 2006 Hamburg, Germany Springer.

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.

Probablistic image-based characterisation of manuscript inks
Psarrou, A. and Angelopoulou, A. 2005. Probablistic image-based characterisation of manuscript inks. SPIE International Symposium on Optical Metrology. Munich, Germany 13-17 Jun 2005

Probabilistic image-based characterization of manuscript inks
Kokla, V., Psarrou, A. and Konstantinou, V. 2005. Probabilistic image-based characterization of manuscript inks. in: Salimbeni, R. and Pezzati, L. (ed.) Proceedings of SPIE: optical methods for arts and archaeology International Society for Optical Engineering.

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

Automatic landmarking of 2D medical shapes using the growing neural gas network
Angelopoulou, A., Psarrou, A., Garcia Rodriguez, J. and Revett, K. 2005. Automatic landmarking of 2D medical shapes using the growing neural gas network. in: Liu, Y., Jiang, T. and Zhang, C. (ed.) Computer Vision for Biomedical Image Applications: First International Workshop, CVBIA 2005, Beijing, China, October 21, 2005, Proceedings Berlin, Germany Springer.

Automatic landmark extraction from a class of hands using growing neural gas
Angelopoulou, A., Garcia Rodriguez, J. and Psarrou, A. 2005. Automatic landmark extraction from a class of hands using growing neural gas. in: Proceedings of the 9th IAPR Conference on Machine Vision Applications, MVA 2005 Tokyo, Japan IAPR MVA Conference Committee. pp. 168-171

Key-frame extraction algorithm using entropy difference
Mentzelopoulos, M. and Psarrou, A. 2004. Key-frame extraction algorithm using entropy difference. in: Proceedings of the 6th ACM SIGMM International Workshop on Multimedia Information Retrieval New York, USA ACM. pp. 39-45

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

Delivering distance learning material via interactive television in the UK: a dynamic content-based inferface
Angelopoulou, A., Thomas, S., Konstantinou, V. and Psarrou, A. 2004. Delivering distance learning material via interactive television in the UK: a dynamic content-based inferface. 21st ICDE Conference on Open Learning and Distance Education. Hong Kong 18-21 Feb 2004

Evaluating statistical shape models for automatic landmark generation on a class of human hands
Angelopoulou, A. and Psarrou, A. 2004. Evaluating statistical shape models for automatic landmark generation on a class of human hands. International Archives of Photogrammetry, Remote Sensing and Spatial Information Sciences. 34 (XXX).

diARTgnosis: study of European religious painting
Angelopoulou, A., Mantratzis, C., Psarrou, A. and Konstantinou, V. 2004. diARTgnosis: study of European religious painting. 2nd International Conference of Museology. Mytilene, Greece 28 Jun - 02 Jul 2004

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

A dynamic model for delivering distance learning material via interactive television
Angelopoulou, A., Thomas, S., Gallahan, P. and Psarrou, A. 2003. A dynamic model for delivering distance learning material via interactive television. Second International Conference on Multimedia and ICTs in Education. Badajoz, Spain 03-06 Dec 2003

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.

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.

Recognition of human gestures and behaviour based on motion trajectories
Psarrou, A., Gong, S. and Walter, M. 2002. Recognition of human gestures and behaviour based on motion trajectories. Image and Vision Computing. 20 (5-6), pp. 349-358.

Corresponding dynamic appearances
Gong, S., Psarrou, A. and Romdani, S. 2002. Corresponding dynamic appearances. Image and Vision Computing. 20 (4), pp. 307-318.

Image processing: a helpful tool in art conservation
Kokla, V., Psarrou, A. and Konstantinou, V. 2002. Image processing: a helpful tool in art conservation. in: Van Grieken, R., Janssens, K., Dack, L.V.T. and Meersman, G. (ed.) Art 2002 : 7th International Conference on Non-destructive Testing and Microanalysis for the Diagnostics and Conservation of the Cultural and Environmental Heritage 2-6 June 2002 Congress Centre Elzenveld, Antwerp, Begium: proceedings Antwerp University of Antwerp.

Use of non-destructive methodology in the identification of old inks
Alexopoulou, A., Kokla, V., Psarrou, A. and Konstantinou, V. 2002. Use of non-destructive methodology in the identification of old inks. in: Van Grieken, R., Janssens, K., van't dack, L. and Meersman, G. (ed.) Art 2002: proceedings of the 7th International Conference on Non-Destructive Testing and Microanalysis for Diagnostics and Conservation of Cultural and Environmental Heritage, 2002 Antwerp, Belgium University of Antwerp.

Data driven model acquisition using minimum description length
Walter, M., Psarrou, A. and Gong, S. 2001. Data driven model acquisition using minimum description length. in: Cootes, T. and Taylor, C. (ed.) BMVC: Proceedings of the 12th British Machine Vision Conference BMVA. pp. 673-683

Auto clustering for unsupervised learning of atomic gesture components using minimum description length
Walter, M., Psarrou, A. and Gong, S. 2001. Auto clustering for unsupervised learning of atomic gesture components using minimum description length. in: Proceedings of IEEE ICCV Workshop on Recognition, Analysis, and Tracking of Faces and Gestures in Real-Time Systems, 2001 USA IEEE . pp. 157-162

An extensible movie system interface for information-rich television
Angelopoulou, A., Psarrou, A. and Parapadakis, D. 2001. An extensible movie system interface for information-rich television. in: Graham, P., Maheswaran, M. and Eskicioglu, M.R. (ed.) Proceedings of the International Conference on Internet Computing, IC'2001, Las Vegas, Nevada, USA, June 25-28, 2001 USA CSREA Press.

Permalink - https://westminsterresearch.westminster.ac.uk/item/904vz/towards-symbolic-reasoning-from-subsymbolic-sensory-information


Share this
Tweet
Email