CLANN Papers

  1. E.Komendantskaya. Machine-Learning Coalgebraic Proofs. Pre-proceedinfs of the International Conference on Inductive Logic Programming'11, Windsor, UK. Imperial College Tech. Report.
  2. E.Komendantskaya and Q.Zhang. SHERLOCK - An Inteface for Neuro-Symbolic Networks. NeSy version, longer version. The software package is available here. System presentation at NeSy'11 workshop at ECAI'11. CEUR Workshop Proceedings.
  3. E.Komendantskaya and J.Power. Coalgebraic derivations in logic programming. International conference Computer Science Logic, CSL'11. LIPICS proceedings.
  4. E.Komendantskaya and J.Power. Coalgebraic semantics for derivations in logic programming. International conference on Algebra and Coalgebra CALCO'11. Springer LNCS 6859, pp. 268-282.
  5. E.Komendantskaya and J.Power. Coalgebraic proofs in logic programming. Proceedings of the 18th Workshop on Automated Reasoning, Dept of Computing Science, University of Glasgow (Tech Report), 2011.
  6. A.Bove, E. Komendantskaya and M.Niqui. Proceedings of the PAR'10 workshop on Partiality and Recursion at FLoC'10. Edinburgh, UK. Electronic Proceedings in Theoretical Computer Science. 2010.
  7. E. Komendantskaya, K. Broda and A. d'Avila Garcez. Neuro-Symbolic Representation of Logic Programs Defining Infinite Sets. In K. Diamantaras, et al.(Eds.): ICANN 2010, Part I, LNCS 6352, Springer, pp.301-304.
  8. Ekaterina Komendantskaya, Guy McCusker and John Power. Coalgebraic semantics for parallel derivation strategies in logic programming. Proceedings of AMAST'2010 - 13th International Conference on Algebraic Methodology and Software Technology (AMAST2010), 23-25 June 2010, Manoir St-Castin Quebec, Canada.
  9. Ekaterina Komendantskaya, Krysia Broda and Artur d'Avila Garcez. Using Inductive Types for Ensuring Correctness of Neuro-Symbolic Computations. Proceedings of CiE'2010 - Computability in Europe 2010 - Programs, Proofs, Processes. Ponta Delgada, Portugal, 30 June - 4 July 2010.
  10. E.Komendantskaya. Unification Neural Networks: Unification by Error-Correction Learning. Logic Journal of IGPL, Oxford Journals, 2010.
  11. E.Komendantskaya. Neurons OR Symbols: Why Does OR Remain Exclusive? Position paper. Proceedings of the International Conference on Neural Computation (ICNC), 2009.
  12. E.Komendantskaya. Parallel Rewriting in Neural Networks. Proceedings of the International Conference on Neural Computation (ICNC), 2009.
  13. Y.Bertot and E.Komendantskaya. Using Structural Recursion for Corecursion TYPES'08 LNCS 5497, Springer, 2009; pages 220-236.
  14. E.Komendantskaya. Intermediate three -valued regular logics of Kleene(In Russian) Logic Studies, 15: 116-128. 2009. Editor: A.S.Karpenko. Moscow.
  15. E.Komendantskaya and J.Power. Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. Proceedings of JELIA'08, 28 September - 1 October 2008, Dresden, Germany. LNCS 5293, pages 258-271.
  16. E.Komendantskaya. Unification by Error-Correction, Proceedings of NeSy'08 workshop at ECAI'08, 21-25 July 2008, Patras, Greece. CEUR Workshop Proceedings, Vol. 366, 2008. ISSN 1613-0073.
  17. E. Komendantskaya. First-order Deduction in Neural Networks, In pre-Proceedings of LATA'07, the 1st Conference on Language and Automata Theory and Applications, March 29--April 4, 2007, Tarragona, Spain; pages 307-318.