We stand with Ukraine  

Ioanna Symeonidou

According to our database1, Ioanna Symeonidou authored at least 6 papers between 2017 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Semantics of negation in extensional higher-order logic programming
[BibTeX]
[DOI]
Ioanna Symeonidou
PhD thesis, 2018

Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs.
[BibTeX]
[DOI]
Angelos Charalambidis
,
Panos Rondogiannis
,
Ioanna Symeonidou
Theory Pract. Log. Program., 2018

Extensional Semantics for Higher-Order Logic Programs with Negation.
[BibTeX]
[DOI]
Panos Rondogiannis
,
Ioanna Symeonidou
Log. Methods Comput. Sci., 2018

2017
The intricacies of three-valued extensional semantics for higher-order logic programs.
[BibTeX]
[DOI]
Panos Rondogiannis
,
Ioanna Symeonidou
Theory Pract. Log. Program., 2017

Equivalence of two fixed-point semantics for definitional higher-order logic programs.
[BibTeX]
[DOI]
Angelos Charalambidis
,
Panos Rondogiannis
,
Ioanna Symeonidou
Theor. Comput. Sci., 2017

The Intricacies of 3-Valued Extensional Semantics for Higher-Order Logic Programs.
[BibTeX]
[DOI]
Panos Rondogiannis
,
Ioanna Symeonidou
CoRR, 2017


  Loading...