Ioanna Symeonidou | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Angelos Charalambidis
8 publications
Panos Rondogiannis
7 publications

research

∙ 04/23/2018

Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs

We define a novel, extensional, three-valued semantics for higher-order ...

0 Angelos Charalambidis, et al. ∙

research

∙ 07/15/2017

The Intricacies of 3-Valued Extensional Semantics for Higher-Order Logic Programs

In (Bezem 1999; Bezem 2001), M. Bezem defined an extensional semantics f...

0 Panos Rondogiannis, et al. ∙