The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Panos Rondogiannis Panagiotis Rondogiannis ( http://dblp.L3S.de/Authors/Panos_Rondogiannis )

Publication years (Num. hits)
1994-2002 (15) 2003-2008 (17) 2009-2014 (19) 2015-2018 (16) 2019 (2)
Publication types (Num. hits)
article(41) inproceedings(28)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords

Results
Found 70 publication records. Showing 69 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis The Expressive Power of Higher-Order Datalog. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis The Expressive Power of Higher-Order Datalog. Search on Bibsonomy TPLP The full citation details ... 2019 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 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, Antonis Troumpoukis Higher-order logic programming: An expressive language for representing qualitative preferences. Search on Bibsonomy Sci. Comput. Program. 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 Overview of an Abstract Fixed Point Theory for Non-Monotonic Functions and its Applications to Logic Programming. Search on Bibsonomy Acta Cybern. The full citation details ... 2017 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
1Chrysida Galanaki, Christos Nomikos, Panos Rondogiannis Game semantics for non-monotonic intensional logic programming. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2017 DBLP  DOI  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
1Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis Higher-order logic programming: an expressive language for representing qualitative preferences. Search on Bibsonomy PPDP The full citation details ... 2016 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
1Zoltán Ésik, Panos Rondogiannis A fixed point theorem for non-monotonic functions. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2015 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
1Panos Rondogiannis, Antonis Troumpoukis Expressing preferences in logic programming using an infinite-valued logic. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Zoltán Ésik, Panos Rondogiannis A Fixed Point Theorem for Non-Monotonic Functions. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Zoltán Ésik, Panos Rondogiannis Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars. Search on Bibsonomy WoLLIC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Angelos Charalambidis, Panos Rondogiannis Constructive Negation in Extensional Higher-Order Logic Programming. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Angelos Charalambidis, Nikolaos Papaspyrou, Panos Rondogiannis Tagged Dataflow: a Formal Model for Iterative Map-Reduce. Search on Bibsonomy EDBT/ICDT Workshops The full citation details ... 2014 DBLP  BibTeX  RDF
1Angelos Charalambidis, Konstantinos Handjopoulos, Panagiotis Rondogiannis, William W. Wadge Extensional Higher-Order Logic Programming. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis, Antonis Troumpoukis The infinite-valued semantics: overview, recent results and future directions. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Georgios Fourtounis 0001, Nikolaos Papaspyrou, Panos Rondogiannis The Generalized Intensional Transformation for Implementing Lazy Functional Languages. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Chrysida Galanaki, Christos Nomikos, Panos Rondogiannis Game Semantics for Non-monotonic Intensional Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis Models and Games by Jouko Väänänen, Cambridge University Press, Cambridge Studies in Advanced Mathematics Series 132, 2011. Hardcover, ISBN 978-0-521-51812-3, 367 pp. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alexander Okhotin, Panos Rondogiannis On the expressive power of univariate equations over sets of natural numbers. Search on Bibsonomy Inf. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis A game-theoretic characterization of Boolean grammars. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge Extensional Higher-Order Logic Programming Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge Extensional Higher-Order Logic Programming. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis Fixed-Point Semantics for Non-Monotonic Formalisms. Search on Bibsonomy FICS The full citation details ... 2010 DBLP  BibTeX  RDF
1Christos Nomikos, Panos Rondogiannis, William W. Wadge Strong equivalence of logic programs under the infinite-valued semantics. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis Well-founded semantics for Boolean grammars. Search on Bibsonomy Inf. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis A Game-Theoretic Characterization of Boolean Grammars. Search on Bibsonomy Developments in Language Theory The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Weichang Du, John Plaice, Panagiotis Rondogiannis SECASA 2008 Workshop Organization. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Angelos Charalambidis, Athanasios Grivas, Nikolaos S. Papaspyrou, Panos Rondogiannis Efficient Intensional Implementation for Lazy Functional Languages. Search on Bibsonomy Mathematics in Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Implementation of functional languages, dataflow computation, intensional logic
1Chrysida Galanaki, Panos Rondogiannis, William W. Wadge An infinite-game semantics for well-founded negation in logic programming. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Christos Nomikos, Panos Rondogiannis Locally stratified Boolean grammars. Search on Bibsonomy Inf. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Chrysida Galanaki, Panos Rondogiannis, William W. Wadge General Logic Programs as Infinite Games. Search on Bibsonomy Topological and Game-Theoretic Aspects of Infinite Computations The full citation details ... 2008 DBLP  BibTeX  RDF
1Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis On the Semantic Approaches to Boolean Grammars. Search on Bibsonomy Topological and Game-Theoretic Aspects of Infinite Computations The full citation details ... 2008 DBLP  BibTeX  RDF
1Alexander Okhotin, Panos Rondogiannis On the expressive power of univariate equations over sets of natural numbers. Search on Bibsonomy IFIP TCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Christos Nomikos, Panos Rondogiannis Locally Stratified Boolean Grammars. Search on Bibsonomy LATA The full citation details ... 2007 DBLP  BibTeX  RDF
1Pedro Cabalar, David Pearce 0001, Panos Rondogiannis, William W. Wadge A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis A Value-propagating Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs. Search on Bibsonomy Fundam. Inform. The full citation details ... 2006 DBLP  BibTeX  RDF
1Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis Well-Founded Semantics for Boolean Grammars. Search on Bibsonomy Developments in Language Theory The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis, William W. Wadge Minimum model semantics for logic programs with negation-as-failure. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF infinite-valued logics, Logic programming, well-founded model, negation-as-failure
1Christos Nomikos, Panos Rondogiannis, Manolis Gergatsoulis Temporal stratification tests for linear and branching-time deductive databases. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis, William W. Wadge An infinite-game semantics for negation in logic programming. Search on Bibsonomy GALOP The full citation details ... 2005 DBLP  BibTeX  RDF
1Christos Nomikos, Panos Rondogiannis, William W. Wadge A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Stavros D. Nikolopoulos, Christos Nomikos, Panos Rondogiannis A limit characterization for the number of spanning trees of graphs. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis, William W. Wadge Minimum Model Semantics for Logic Programs with Negation-as-Failure Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Panos Rondogiannis, William W. Wadge An Infinite-Valued Semantics for Logic Programs with Negation. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis, Manolis Gergatsoulis The Branching-Time Transformation Technique for Chain Datalog Programs. Search on Bibsonomy J. Intell. Inf. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis Stratified negation in temporal logic programming and the cycle-sum test. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs. Search on Bibsonomy LOPSTR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Logic Program Transformations, Deductive Databases
1Manolis Gergatsoulis, Panos Rondogiannis, Themis Panayiotopoulos Temporal Disjunctive Logic Programming. Search on Bibsonomy New Generation Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Yannis Stavrakas, Manolis Gergatsoulis, Panos Rondogiannis Multidimensional XML. Search on Bibsonomy DCW The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis, William W. Wadge Higher-Order Functional Languages and Intensional Logic. Search on Bibsonomy J. Funct. Program. The full citation details ... 1999 DBLP  BibTeX  RDF
1Panos Rondogiannis Adding multidimensionality to procedural programming languages. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Stavros D. Nikolopoulos, Panos Rondogiannis On the Number of Spanning Trees of Multi-Star Related Graphs. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis, Manolis Gergatsoulis, Themis Panayiotopoulos Branching-Time Logic Programming: The Language Cactus and its Applications. Search on Bibsonomy Comput. Lang. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis, William W. Wadge First-Order Functional Languages and Intensional Logic. Search on Bibsonomy J. Funct. Program. The full citation details ... 1997 DBLP  BibTeX  RDF
1Panos Rondogiannis, Manolis Gergatsoulis, Themis Panayiotopoulos Cactus: A Branching-Time Logic Programming Language. Search on Bibsonomy ECSQARU-FAPR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis, Mantis H. M. Cheng Petri-Net-Based Deadlock Analysis of Process Algebra Programs. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis, William W. Wadge Higher-order dataflow and its implementation on stock hardware. Search on Bibsonomy SAC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF funtional programming, higher-order dataflow, intensonal programming
1Panos Rondogiannis, William W. Wadge Compiling Higher-Order Functions for Tagged-Dataflow. Search on Bibsonomy IFIP PACT The full citation details ... 1994 DBLP  BibTeX  RDF
Displaying result #1 - #69 of 69 (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