Ekaterina Komendantskaya
Ekaterina Komendantskaya
Professor in Computer Science, Heriot-Watt University, Scotland
Verified email at hw.ac.uk - Homepage
Title
Cited by
Cited by
Year
Machine Learning in Proof General: Interfacing Interfaces
E Komendantskaya, J Heras, G Grov
EPTCS 118 (User Interfaces for Theorem Provers), 15-41, 2013
53*2013
Proof-pattern recognition and lemma discovery in ACL2
J Heras, E Komendantskaya, M Johansson, E Maclean
International Conference on Logic for Programming Artificial Intelligence …, 2013
442013
Inductive and coinductive components of corecursive functions in Coq
Y Bertot, E Komendantskaya
Coalgebraic Methods in Computer Science, 2008, arXiv preprint arXiv:0807.1524, 2008
342008
Operational semantics of resolution and productivity in Horn clause logic
P Fu, E Komendantskaya
Formal Aspects of Computing 29 (3), 453-474, 2017
30*2017
Coalgebraic logic programming: from semantics to implementation
E Komendantskaya, AJ Power, M Schmidt
Journal of Logic and Computation 26 (2), 745-783, 2016
29*2016
Proof Relevant Corecursive Resolution
P Fu, E Komendantskaya, T Schrijvers, A Pond
FLOPS'2016 arXiv preprint arXiv:1511.09394, 2015
292015
Unification neural networks: unification by error-correction learning
E Komendantskaya
Logic Journal of the IGPL 19 (6), 821-847, 2011
27*2011
Coalgebraic semantics for derivations in logic programming
E Komendantskaya, J Power
International Conference on Algebra and Coalgebra in Computer Science, 268-282, 2011
262011
Coalgebraic derivations in logic programming
E Komendantskaya, J Power
Computer Science Logic (CSL'11), 352-366, 2011
262011
Using structural recursion for corecursion
Y Bertot, E Komendantskaya
International Workshop on Types for Proofs and Programs, 220-236, 2008
222008
Recycling Proof Patterns in Coq: Case Studies
J Heras, E Komendantskaya
Mathematics in Computer Science, 2013
21*2013
Structural Resolution for Logic Programming
P Johann, E Komendantskaya, V Komendantskiy
ICLP 2015, 2015
172015
Coalgebraic semantics for parallel derivation strategies in logic programming
E Komendantskaya, G McCusker, J Power
International Conference on Algebraic Methodology and Software Technology …, 2010
172010
Productive corecursion in logic programming
E Komendantskaya, Y Li
Theory and Practice of Logic Programming 17 (5-6), 906-923, 2017
162017
ML4PG in computer algebra verification
J Heras, E Komendantskaya
International Conference on Intelligent Computer Mathematics, 354-358, 2013
152013
Structural Resolution: a Framework for Coinductive Proof Search and Proof Construction in Horn Clause Logic
E Komendantskaya, P Johann, M Schmidt
A draft, available as arXiv preprint, 2017
142017
Sound and complete SLD-resolution for bilattice-based annotated logic programs
E Komendantskaya, AK Seda
Electronic Notes in Theoretical Computer Science 225, 141-159, 2009
14*2009
Connectionist representation of multi-valued logic programs
E Komendantskaya, M Lane, AK Seda
Perspectives of Neural-Symbolic Integration, 283-313, 2007
142007
A Productivity Checker for Logic Programming
E Komendantskaya, P Johann, M Schmidt
LOPSTR 2016 pre-proceedings at arXiv preprint arXiv:1608.04415, 2016
112016
On approximation of the semantic operators determined by bilattice-based logic programs
E Komendantskaya, AK Seda, V Komendantsky
Proceedings of the Seventh International Workshop on First-Order Theorem …, 2005
102005
The system can't perform the operation now. Try again later.
Articles 1–20