Ekaterina Komendantskaya

Cited by

	All	Since 2017
Citations	725	375
h-index	16	10
i10-index	22	14

200620072008200920102011201220132014201520162017201820192020202120224 14 13 14 26 24 36 36 55 44 77 64 76 58 72 74 31

Public access

View all

27 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Jónathan HerasUniversity of La RiojaVerified email at unirioja.es
John PowerHonorary Professor in Computing, Macquarie UniversityVerified email at bath.edu
Peng FuDalhousie UniversityVerified email at dal.ca
Yue LiHeriot-Watt UniversityVerified email at hw.ac.uk
Robert StewartAssistant Professor, Heriot Watt UniversityVerified email at hw.ac.uk
Patricia JohannAppalachian State UniversityVerified email at appstate.edu
Gudmund GrovSenior Scientist, Norwegian Defence Research EstablishmentVerified email at ffi.no
Henning BasoldLIACS - Leiden UniversityVerified email at liacs.leidenuniv.nl
Moa JohanssonAssociate Professor (Docent), Chalmers UniversityVerified email at chalmers.se
Guy McCuskerProfessor of Computer Science, University of BathVerified email at bath.ac.uk
Kevin HammondTechnology Manager, IOHKVerified email at iohk.io
Denis Pascal BacchusPhD Student at INRIAVerified email at inria.fr
Ron PetrickHeriot-Watt UniversityVerified email at hw.ac.uk
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Michael LonesAssociate Professor, Department of Computer Science, Heriot-Watt UniversityVerified email at hw.ac.uk
David AspinallProfessor in Computer Science, University of EdinburghVerified email at ed.ac.uk
Artur d'Avila GarcezProfessor of Computer Science. City, University of LondonVerified email at city.ac.uk
Alan BundyProfessor of Automated Reasoning, University of EdinburghVerified email at ed.ac.uk
Robert AtkeyUniversity of StrathclydeVerified email at strath.ac.uk
Christopher SchwaabUniversity of St AndrewsVerified email at st-andrews.ac.uk

Ekaterina Komendantskaya

Professor in Computer Science, Heriot-Watt University, Scotland

Verified email at hw.ac.uk - Homepage

Logic AI Verification Logic Programming Theorem Proving Machine Learning


Title Sort by citations Sort by year Sort by 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	62*	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	48	2013
Coalgebraic logic programming: from semantics to implementation E Komendantskaya, AJ Power, M Schmidt Journal of Logic and Computation 26 (2), 745-783, 2016	41	2016
Operational semantics of resolution and productivity in Horn clause logic P Fu, E Komendantskaya Formal Aspects of Computing 29 (3), 453-474, 2017	37*	2017
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	37	2008
Unification neural networks: unification by error-correction learning E Komendantskaya Logic Journal of the IGPL 19 (6), 821-847, 2011	36*	2011
Proof Relevant Corecursive Resolution P Fu, E Komendantskaya, T Schrijvers, A Pond FLOPS'2016 arXiv preprint arXiv:1511.09394, 2015	32	2015
Coalgebraic semantics for derivations in logic programming E Komendantskaya, J Power International Conference on Algebra and Coalgebra in Computer Science, 268-282, 2011	31	2011
Coalgebraic derivations in logic programming E Komendantskaya, J Power Computer Science Logic (CSL'11), 352-366, 2011	28	2011
Recycling Proof Patterns in Coq: Case Studies J Heras, E Komendantskaya Mathematics in Computer Science, 2013	23*	2013
Coalgebraic semantics for parallel derivation strategies in logic programming E Komendantskaya, G McCusker, J Power International Conference on Algebraic Methodology and Software Technology …, 2010	23	2010
Using structural recursion for corecursion Y Bertot, E Komendantskaya International Workshop on Types for Proofs and Programs, 220-236, 2008	23	2008
Productive corecursion in logic programming E Komendantskaya, Y Li ICLP, International Conference on Logic Programming 2017, 2017	19	2017
Structural Resolution for Logic Programming P Johann, E Komendantskaya, V Komendantskiy ICLP 2015, 2015	18	2015
Coinduction in uniform: Foundations for corecursive proof search with horn clauses H Basold, E Komendantskaya, Y Li European Symposium on Programming, 783-813, 2019	17	2019
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	16	2017
Connectionist representation of multi-valued logic programs E Komendantskaya, M Lane, AK Seda Perspectives of Neural-Symbolic Integration, 283-313, 2007	15	2007
A Productivity Checker for Logic Programming E Komendantskaya, P Johann, M Schmidt LOPSTR 2016 pre-proceedings at arXiv preprint arXiv:1608.04415, 2016	14	2016
ML4PG in computer algebra verification J Heras, E Komendantskaya International Conference on Intelligent Computer Mathematics, 354-358, 2013	14	2013
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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors