Conference, Workshop, and Seminar Presentations:
-
E.Komendantskaya.
Parallel Term-Rewriting in Neural Networks.
International Conference Computability in Europe (CiE'09), Heidelberg, 19-24 July,
2009.
-
E.Komendantskaya.
Neurons OR symbols: Why does OR remain exclusive?.
Scottish Theorem Proving meeting, St Andrews, 12 June 2009.
-
K.-U. Kuehnberger.
Natural Computation for
Reasoning and Learning Applications. March 2009, School of Computer
Science, University of St Andrews.
-
K.-U. Kuehnberger.
Translating Logic into Neural
Networks. March 2009, School of Computer Science, University of St
Andrews.
-
P. Hitzler.
Neural-Symbolic Integration.
January 2009, School of Computer Science, University of St Andrews, UK.
-
P. Hitzler.
Knowledge Representation and Reasoning for the Semantic
Web.
January 2009, School of Computer Science, University of St Andrews, UK.
-
E.Komendantskaya
Neural Networks and Kahn networks: relation between Neurons, Logic and Parallel Programming
January 2009, INRIA Sophia-Antipolis, France.
-
E. Komendantskaya
Project presentation: CLANN
March 2008, EPSRC, Swindon, UK.
-
E. Komendantskaya
Unification by Error-Correction.
Presentation at Fourth International Workshop on Neuro-Symbolic
Learning and Reasoning (NeSy'08).
21 July 2008, Patras, Greece.
-
E.Komendantskaya.
The Algorithms of Unification and SLD Resolution in Neural Networks.
An invited seminar in Universities of St Andrews, Bath, and Imperial College London. 3 - 6 March, 2008.
-
E. Komendantskaya.
First-Order Deduction in Neural Networks.
Presented at LATA'07 International Conference on Language and Automata Theory and Applications, Tarragona, Spain.
29 March - 4 April, 2007.