Conference, Workshop, and Seminar Presentations:
- E.Komendantskaya. Coalgebraic Derivations in Logic Programming. International Conference Computer Science Logic CSL'11. September 2011.
- E.Komendantskaya. Coinductive Logic Programming for Type Inference. International Workshop TYPES'11. September 2011.
-
E.Komendantskaya. Machine-Learning Coalgebraic Automated Proofs.
Invited DREAM seminar, School of Informatics, University of Edinburgh, 9 August 2011.
-
E.Komendantskaya.
Machine-Learning Coalgebraic Automated Proofs International Conf. in Inductive Logic Programming, ILP'11.
August 2011.
-
E.Komendantskaya.
Machine Learning Methods for Discovering Proof Tactics
in Automated Proofs Scottish
Theorem Proving Workshop. University of Dundee.
17 June 2011.
-
E.Komendantskaya.
Coalgebraic Semantics for Parallel Derivation Strategies
in Logic Programming. Scottish Category Theory Seminar. University of Glasgow.
13 May 2011.
-
E.Komendantskaya.
Pattern recognition for coinductive proof trees.
Artificial Intelligence for Formal Methods Workshop. University of Edinburgh.
29 April 2011.
-
E.Komendantskaya.
Coalgebraic derivations in Logic Programming.
Automated Reasoning Workshop. University of Glasgow. 11 April 2011.
-
E.Komendantskaya.
Computational Logic in Artificial Neural Networks: A personal Perspective
School of Computing, University of Aberdeen, UK. 9 February 2011.
Also, with some modifications - at the Department of Informatics, Eurasian National University, Kazakhstan, 18 February 2011,
and at the School of Computer Science, University of Striling, 25 March 2011.
-
E.Komendantskaya.
Using Inductive Types for Ensuring Correctness of Neuro-Symbolic Computations.
CiE'2010 - Computability in Europe 2010 -
Programs, Proofs, Processes. Ponta Delgada, Portugal, 30 June - 4 July 2010.
-
E.Komendantskaya.
Applications of inductive types in artificial
intelligence and inductive reasoning.
Invited talk at Institute of Cognitive Science
University of Osnabrueck, April 2010.
-
E.Komendantskaya. Partiality and Co-Recursion.
Functional Programming Lunch series, St Andrews, February - March 2010.
-
E.Komendantskaya.
Neurons OR Symbols: Why Does OR Remain Exclusive? Position paper.
International Conference on Neural Computation (ICNC), October 2009.
-
E.Komendantskaya. Parallel Rewriting in Neural Networks.
International Conference on Neural Computation (ICNC), October 2009.
-
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, June 12, 2009.
-
E.Komendantskaya.
Neural Networks and Kahn networks: relation between Neurons, Logic and Parallel Programming
January 2009, INRIA Sophia-Antipolis, France.
-
Unification by Error-Correction.
Presentation at Fourth International Workshop on Neuro-Symbolic
Learning and Reasoning (NeSy'08).
21 July 2008, Patras, Greece.
-
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.