Ekaterina Komendantskaya

According to our database1, Ekaterina Komendantskaya authored at least 68 papers between 2007 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Neural Network Verification for the Masses (of AI graduates).
CoRR, 2019

Coinductive Uniform Proofs.
CoRR, 2019

Proof-Carrying Plans.
Proceedings of the Practical Aspects of Declarative Languages, 2019

Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses.
Proceedings of the Programming Languages and Systems, 2019

2018
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis.
TPLP, 2018

Logic programming: Laxness and saturation.
J. Log. Algebr. Meth. Program., 2018

Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses.
CoRR, 2018

Towards Coinductive Theory Exploration in Horn Clause Logic: Position Paper.
Proceedings of the Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, 2018

Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis.
CoRR, 2018

2017
Productive corecursion in logic programming.
TPLP, 2017

Operational semantics of resolution and productivity in Horn clause logic.
Formal Asp. Comput., 2017

Productive Corecursion in Logic Programming.
CoRR, 2017

Proof Mining with Dependent Types.
CoRR, 2017

Proof Mining with Dependent Types.
Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

2016
Coalgebraic logic programming: from Semantics to Implementation.
J. Log. Comput., 2016

Structural Resolution for Abstract Compilation of Object-Oriented Languages.
Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, 2016

Logic programming: laxness and saturation.
CoRR, 2016

Category theoretic semantics for theorem proving in logic programming: embracing the laxness.
CoRR, 2016

A Productivity Checker for Logic Programming.
CoRR, 2016

CoALP-Ty'16.
CoRR, 2016

Coinductive Soundness of Corecursive Type Class Resolution.
CoRR, 2016

Operational Semantics of Resolution in Horn Clause Logic.
CoRR, 2016

A Productivity Checker for Logic Programming.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

Coinductive Soundness of Corecursive Type Class Resolution.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

Proof Relevant Corecursive Resolution.
Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016

Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness.
Proceedings of the Coalgebraic Methods in Computer Science, 2016

2015
Structural Resolution: a Framework for Coinductive Proof Search and Proof Construction in Horn Clause Logic.
CoRR, 2015

Structural Resolution for Logic Programming.
CoRR, 2015

A Type-Theoretic Approach to Resolution.
CoRR, 2015

A Type-Theoretic Approach to Structural Resolution.
CoRR, 2015

Proof Relevant Corecursive Resolution.
CoRR, 2015

A Type-Theoretic Approach to Resolution.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

Structural Resolution for Logic Programming.
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

2014
Recycling Proof Patterns in Coq: Case Studies.
Mathematics in Computer Science, 2014

Exploiting Parallelism in Coalgebraic Logic Programming.
Electr. Notes Theor. Comput. Sci., 2014

Guarding (Co)Recursion in Coalgebraic Logic Programming.
CoRR, 2014

ACL2(ml): Machine-Learning for ACL2.
Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014

HoTT formalisation in Coq: Dependency Graphs \& ML4PG.
CoRR, 2014

Proof Pattern Search in Coq/SSReflect.
CoRR, 2014

2013
Statistical Proof Pattern Recognition: Automated or Interactive?
CoRR, 2013

ML4PG: proof-mining in Coq
CoRR, 2013

Statistical Proof-Patterns in Coq/SSReflect
CoRR, 2013

Exploiting Parallelism in Coalgebraic Logic Programming.
CoRR, 2013

Coalgebraic Logic Programming: from Semantics to Implementation.
CoRR, 2013

Proof-Pattern Recognition in ACL2.
CoRR, 2013

ML4PG in Computer Algebra Verification.
Proceedings of the Intelligent Computer Mathematics, 2013

Proof-Pattern Recognition and Lemma Discovery in ACL2.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2012
Machine Learning in Proof General: Interfacing Interfaces
Proceedings of the Proceedings 10th International Workshop On User Interfaces for Theorem Provers, 2012

Neural Networks for Proof-Pattern Recognition.
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2012, 2012

2011
Unification neural networks: unification by error-correction learning.
Logic Journal of the IGPL, 2011

SHERLOCK - An Interface for Neuro-Symbolic Networks.
Proceedings of the Seventh International Workshop on Neural-Symbolic Learning and Reasoning, 2011

Machine Learning Coalgebraic Proofs.
Proceedings of the Latest Advances in Inductive Logic Programming, 2011

Coalgebraic Derivations in Logic Programming.
Proceedings of the Computer Science Logic, 2011

Coalgebraic Semantics for Derivations in Logic Programming.
Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010
Neuro-symbolic Representation of Logic Programs Defining Infinite Sets.
Proceedings of the Artificial Neural Networks - ICANN 2010, 2010

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming.
Proceedings of the Algebraic Methodology and Software Technology, 2010

2009
Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs.
Electr. Notes Theor. Comput. Sci., 2009

Using Structural Recursion for Corecursion
CoRR, 2009

Neurons or Symbols - Why does OR Remain Exclusive?.
Proceedings of the IJCCI 2009, 2009

Parallel Rewriting in Neural Networks.
Proceedings of the IJCCI 2009, 2009

2008
Inductive and Coinductive Components of Corecursive Functions in Coq.
Electr. Notes Theor. Comput. Sci., 2008

Inductive and Coinductive Components of Corecursive Functions in Coq
CoRR, 2008

Using Structural Recursion for Corecursion.
Proceedings of the Types for Proofs and Programs, International Conference, 2008

Unification by Error-Correction.
Proceedings of the Fourth International Workshop on Neural-Symbolic Learning and Reasoning, 2008

Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness.
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

2007
Connectionist Representation of Multi-Valued Logic Programs.
Proceedings of the Perspectives of Neural-Symbolic Integration, 2007

A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

First-order deduction in neural networks.
Proceedings of the LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., 2007


  Loading...