`Travelled to:`

1 × Ireland

1 × Norway

`Collaborated with:`

J.Power ∅ P.Johann V.Komendantskiy H.Basold Y.Li

`Talks about:`

program (2) logic (2) coalgebra (1) structur (1) corecurs (1) coinduct (1) uniform (1) resolut (1) network (1) foundat (1)

## Person: Ekaterina Komendantskaya

### DBLP: Komendantskaya:Ekaterina

### Facilitated 1 volumes:

### Contributed to:

### Wrote 4 papers:

- ICLP-2015-JohannKK #logic programming
- Structural Resolution for Logic Programming (PJ, EK, VK), pp. 87–99.
- CSL-2011-KomendantskayaP #algebra #logic programming
- Coalgebraic Derivations in Logic Programming (EK, JP), pp. 352–366.
- LATA-2007-Komendantskaya #deduction #first-order #network
- First-order deduction in neural networks (EK), pp. 307–318.
- ESOP-2019-BasoldKL #horn clause #induction #proving #recursion
- Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses (HB, EK, YL), pp. 783–813.