The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Ioanna Symeonidou" ( http://dblp.L3S.de/Authors/Ioanna_Symeonidou )

  Author page on DBLP  Author page in RDF  Community of Ioanna Symeonidou in ASPL-2

Publication years (Num. hits)
2015 (1) 2016 (1) 2017 (4) 2018 (4)
Publication types (Num. hits)
article(7) inproceedings(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 11 publication records. Showing 10 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Panos Rondogiannis, Ioanna Symeonidou Extensional Semantics for Higher-Order Logic Programs with Negation. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis, Ioanna Symeonidou The Intricacies of Three-Valued Extensional Semantics for Higher-Order Logic Programs. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou Equivalence of two fixed-point semantics for definitional higher-order logic programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis, Ioanna Symeonidou The Intricacies of 3-Valued Extensional Semantics for Higher-Order Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Panos Rondogiannis, Ioanna Symeonidou Extensional Semantics for Higher-Order Logic Programs with Negation. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Panos Rondogiannis, Ioanna Symeonidou The intricacies of three-valued extensional semantics for higher-order logic programs. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis, Ioanna Symeonidou Extensional Semantics for Higher-Order Logic Programs with Negation. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs. Search on Bibsonomy FICS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license