Ioanna Symeonidou

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 10

Top Topics

Answer Set Semantics

Top Venues

Theory Pract. Log. Program.

Log. Methods Comput. Sci.

Publications

Panos Rondogiannis, Ioanna Symeonidou
The Intricacies of Three-Valued Extensional Semantics for Higher-Order Logic Programs. IJCAI (2018)
Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs. Theory Pract. Log. Program. 18 (3-4) (2018)
Panos Rondogiannis, Ioanna Symeonidou
Extensional Semantics for Higher-Order Logic Programs with Negation. Log. Methods Comput. Sci. 14 (2) (2018)
Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs. CoRR (2018)
Panos Rondogiannis, Ioanna Symeonidou
Extensional Semantics for Higher-Order Logic Programs with Negation. CoRR (2017)
Panos Rondogiannis, Ioanna Symeonidou
The intricacies of three-valued extensional semantics for higher-order logic programs. Theory Pract. Log. Program. 17 (5-6) (2017)
Panos Rondogiannis, Ioanna Symeonidou
The Intricacies of 3-Valued Extensional Semantics for Higher-Order Logic Programs. CoRR (2017)
Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou
Equivalence of two fixed-point semantics for definitional higher-order logic programs. Theor. Comput. Sci. 668 (2017)
Panos Rondogiannis, Ioanna Symeonidou
Extensional Semantics for Higher-Order Logic Programs with Negation. JELIA (2016)
Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou
Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs. FICS (2015)