Ekaterina Komendantskaya

Available identifiers

zbMath Open komendantskaya.ekaterinaMaRDI QIDQ280195

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q4631184	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ekaterina Komendantskaya