Irina Makarenko

According to our database, Irina Makarenko authored at least 1 paper in 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding.

Irina Makarenko, Christoph Benzmüller

Proceedings of the KI 2020: Advances in Artificial Intelligence, 2020