Konstnatinos Papafilippou

According to our database, Konstnatinos Papafilippou authored at least 3 papers between 2022 and 2023.

Collaborative distances:

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

2023

The Universal Tangle for Spatial Reasoning.

David Fernández-Duque, Konstnatinos Papafilippou

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

2022

Arithmetical and Hyperarithmetical Worm Battles.

David Fernández-Duque, Joost J. Joosten, Fedor Pakhomov, Konstnatinos Papafilippou, Andreas Weiermann

J. Log. Comput., 2022

Hyperarithmetical Worm Battles.

David Fernández-Duque, Konstnatinos Papafilippou, Joost J. Joosten

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022