Ekaterina Komendantskaya

Available identifiers

zbMath Open komendantskaya.ekaterinaMaRDI QIDQ280195

List of research outcomes

Publication	Date of Publication	Type
ACL2(ml): machine-learning for ACL2	2024-08-19	Paper
Coinduction in uniform: foundations for corecursive proof search with Horn clauses	2023-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q3384904	2021-12-17	Paper
The new normal: we cannot eliminate cuts in coinductive calculi, but we can explore them	2020-12-13	Paper
Structural resolution for logic programming	2019-04-24	Paper
Logic programming: laxness and saturation	2018-11-01	Paper
Productive corecursion in logic programming	2017-11-08	Paper
A productivity checker for logic programming	2017-10-13	Paper
Coinductive soundness of corecursive type class resolution	2017-10-13	Paper
Proof mining with dependent types	2017-07-21	Paper
Operational semantics of resolution and productivity in Horn clause logic	2017-06-01	Paper
Category theoretic semantics for theorem proving in logic programming: embracing the laxness	2016-07-15	Paper
Coalgebraic logic programming: from Semantics to Implementation	2016-07-07	Paper
Exploiting parallelism in coalgebraic logic programming	2016-05-06	Paper
Proof relevant corecursive resolution	2016-04-04	Paper
A type-theoretic approach to resolution	2016-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q3459922	2016-01-11	Paper
Sound and complete SLD-resolution for bilattice-based annotated logic programs	2015-03-23	Paper
Recycling proof patterns in Coq: case studies	2014-11-26	Paper
Inductive and coinductive components of corecursive functions in Coq	2014-01-24	Paper
Proof-pattern recognition and lemma discovery in ACL2	2014-01-17	Paper
ML4PG in computer algebra verification	2013-08-09	Paper
Coalgebraic derivations in logic programming	2012-09-18	Paper
Unification neural networks: unification by error-correction learning	2012-06-08	Paper
Coalgebraic semantics for derivations in logic programming	2011-09-02	Paper
Coalgebraic semantics for parallel derivation strategies in logic programming	2011-01-21	Paper
Using Structural Recursion for Corecursion	2009-07-02	Paper
Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness	2008-10-27	Paper
A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation	2008-01-04	Paper

Research outcomes over time

This page was built for person: Ekaterina Komendantskaya