Research Output per year

## Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

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

## 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 proceeding › Conference 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 proceeding › Conference contribution

Open Access

File

Planning

Specifications

## 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 journal › Article

Logic Programming

Saturation

Propositional Logic

Logic

Unity

## 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 proceeding › Conference 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 proceeding › Conference contribution

Open Access

File

Soundness

Glossaries

Acoustic waves

Horn clause

Haskell