Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Ekaterina Komendantskaya
2010 – today
- 2013
[c12]Jónathan Heras, Ekaterina Komendantskaya: ML4PG in Computer Algebra Verification. MKM/Calculemus/DML 2013: 354-358- [i7]Jónathan Heras, Ekaterina Komendantskaya: Statistical Proof-Patterns in Coq/SSReflect. CoRR abs/1301.6039 (2013)
- [i6]
- [i5]Jónathan Heras, Ekaterina Komendantskaya: Statistical Proof Pattern Recognition: Automated or Interactive? CoRR abs/1303.1419 (2013)
- [i4]Jónathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean: Proof-Pattern Recognition in ACL2. CoRR abs/1308.1780 (2013)
- 2012
- [c11]Ekaterina Komendantskaya, Kacper Lichota: Neural Networks for Proof-Pattern Recognition. ICANN (2) 2012: 427-434
- [i3]Ekaterina Komendantskaya, Jónathan Heras, Gudmund Grov: Machine Learning in Proof General: Interfacing Interfaces. CoRR abs/1212.3618 (2012)
- 2011
- [j3]Ekaterina Komendantskaya: Unification neural networks: unification by error-correction learning. Logic Journal of the IGPL 19(6): 821-847 (2011)
- [c10]Ekaterina Komendantskaya, John Power: Coalgebraic Semantics for Derivations in Logic Programming. CALCO 2011: 268-282
- [c9]Ekaterina Komendantskaya, John Power: Coalgebraic Derivations in Logic Programming. CSL 2011: 352-366
- 2010
- [c8]Ekaterina Komendantskaya, Guy McCusker, John Power: Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming. AMAST 2010: 111-127
- [c7]Ekaterina Komendantskaya, Krysia Broda, Artur S. d'Avila Garcez: Neuro-symbolic Representation of Logic Programs Defining Infinite Sets. ICANN (1) 2010: 301-304
- [e1]Ana Bove, Ekaterina Komendantskaya, Milad Niqui (Eds.): Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers. EPTCS 43, 2010
2000 – 2009
- 2009
- [j2]Ekaterina Komendantskaya, Anthony Karel Seda: Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs. Electr. Notes Theor. Comput. Sci. 225: 141-159 (2009)
- [c6]
- [c5]
- [i2]Yves Bertot, Ekaterina Komendantskaya: Using Structural Recursion for Corecursion. CoRR abs/0903.3850 (2009)
- 2008
- [j1]Yves Bertot, Ekaterina Komendantskaya: Inductive and Coinductive Components of Corecursive Functions in Coq. Electr. Notes Theor. Comput. Sci. 203(5): 25-47 (2008)
- [c4]Ekaterina Komendantskaya, John Power: Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. JELIA 2008: 258-271
- [c3]Yves Bertot, Ekaterina Komendantskaya: Using Structural Recursion for Corecursion. TYPES 2008: 220-236
- [i1]Yves Bertot, Ekaterina Komendantskaya: Inductive and Coinductive Components of Corecursive Functions in Coq. CoRR abs/0807.1524 (2008)
- 2007
- [c2]
- [c1]Ekaterina Komendantskaya: A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation. TABLEAUX 2007: 165-182
- [p1]Ekaterina Komendantskaya, Máire Lane, Anthony Karel Seda: Connectionist Representation of Multi-Valued Logic Programs. Perspectives of Neural-Symbolic Integration 2007: 283-313
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:06 CEST by the dblp team