We stand with Ukraine  

Ioanna Symeonidou

According to our database1, Ioanna Symeonidou authored at least 6 papers between 2016 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

The Intricacies of Three-Valued Extensional Semantics for Higher-Order Logic Programs.
[BibTeX]
[DOI]
Panos Rondogiannis
,
Ioanna Symeonidou
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

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

2016
Extensional Semantics for Higher-Order Logic Programs with Negation.
[BibTeX]
[DOI]
Panos Rondogiannis
,
Ioanna Symeonidou
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016


  Loading...