If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Ekaterina Komendantskaya is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Logic programming Engineering & Materials Science
Semantics Engineering & Materials Science
Logic Programming Mathematics
Soundness Mathematics
Neural networks Engineering & Materials Science
Productivity Engineering & Materials Science
Learning systems Engineering & Materials Science
Logic Programs Mathematics

Co Author Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2007 2019

  • 14 Chapter
  • 10 Article
  • 8 Conference contribution
  • 1 Chapter (peer-reviewed)

Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses

Basold, H., Komendantskaya, E. & Li, Y., 2019, Programming Languages and Systems: ESOP 2019. Caires, L. (ed.). Springer, p. 783-813 31 p. (Lecture Notes in Computer Science; vol. 11423).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Coinduction
Proof Search
Horn clause
Soundness
Semantics

Proof-carrying plans

Schwaab, C., Komendantskaya, E., Hill, A., Farka, F., Petrick, R. P. A., Wells, J. & Hammond, K., 2019, Practical Aspects of Declarative Languages: PADL 2019. Alferes, J. J. & Johansson, M. (eds.). Springer, p. 204-220 17 p. (Lecture Notes in Computer Science; vol. 11372).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Planning
Design Method
Specifications
Correspondence
Safety

Logic programming: Laxness and Saturation

Komendantskaya, E. & Power, J., Dec 2018, In : Journal of Logical and Algebraic Methods in Programming. 101, p. 1-21 21 p.

Research output: Contribution to journalArticle

Open Access
File
Logic Programming
Saturation
Unity
Propositional Logic
Logic

A productivity checker for logic programming

Komendantskaya, E., Johann, P. & Schmidt, M., 25 Jul 2017, Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Revised Selected Papers. Springer, Vol. 10184. p. 168-186 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10184 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Logic programming
Logic Programming
Productivity
Termination
Term

Coinductive soundness of corecursive type class resolution

Farka, F., Komendantskaya, E. & Hammond, K., 25 Jul 2017, Logic-Based Program Synthesis and Transformation: LOPSTR 2016. Springer, p. 311-327 17 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Soundness
Glossaries
Acoustic waves
Horn clause
Haskell