Panos Rondogiannis

81 papers A* 5B 7C 8Misc 1Journal 49Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
The Power of Negation in Higher-Order Datalog.
CoRR
Angelos Charalambidis, Babis Kostopoulos, Christos Nomikos, Panos Rondogiannis
2025 J jnl
The Power of Negation in Higher-Order Datalog.
Theory Pract. Log. Program.
Angelos Charalambidis, Babis Kostopoulos, Christos Nomikos, Panos Rondogiannis
2024 A* conf
Non-monotone Fixpoint Theory Based on the Structure of Weak Bilattices.
KR
Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Panos Rondogiannis
2024 J jnl
Recursive Function Definitions in Static Dataflow Graphs and their Implementation in TensorFlow.
CoRR
Kelly Kostopoulou, Angelos Charalambidis, Panos Rondogiannis
2024 J jnl
The Stable Model Semantics for Higher-Order Logic Programming.
CoRR
Bart Bogaerts, Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Samuele Pollaci, Panos Rondogiannis
2024 J jnl
The Stable Model Semantics for Higher-Order Logic Programming.
Theory Pract. Log. Program.
Bart Bogaerts, Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Samuele Pollaci, Panos Rondogiannis
2023 B conf
Categorical Approximation Fixpoint Theory.
JELIA
Angelos Charalambidis, Panos Rondogiannis
2022 J jnl
Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective.
Theory Pract. Log. Program.
Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis
2022 J jnl
Strong Equivalence of Logic Programs with Ordered Disjunction: a Logical Perspective.
CoRR
Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis
2021 J jnl
A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction.
CoRR
Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis
2021 J jnl
A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction.
Theory Pract. Log. Program.
Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis
2021 A* conf
A Many-valued Logic for Lexicographic Preference Representation.
KR
Angelos Charalambidis, George Papadimitriou, Panos Rondogiannis, Antonis Troumpoukis
2020 A* conf
A Fixed Point Theorem on Lexicographic Lattice Structures.
LICS
Angelos Charalambidis, Giannos Chatziagapis, Panos Rondogiannis
2020 J jnl
Lexicographic Logic: a Many-valued Logic for Preference Representation.
CoRR
Angelos Charalambidis, Giorgos Papadimitriou, Panos Rondogiannis, Antonis Troumpoukis
2019 J jnl
The Expressive Power of Higher-Order Datalog.
CoRR
Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis
2019 J jnl
The Expressive Power of Higher-Order Datalog.
Theory Pract. Log. Program.
Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis
2018 J jnl
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs.
CoRR
Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou
2018 J jnl
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs.
Theory Pract. Log. Program.
Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou
2018 J jnl
Extensional Semantics for Higher-Order Logic Programs with Negation.
Log. Methods Comput. Sci.
Panos Rondogiannis, Ioanna Symeonidou
2018 J jnl
Higher-order logic programming: An expressive language for representing qualitative preferences.
Sci. Comput. Program.
Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis
2018 A* conf
The Intricacies of Three-Valued Extensional Semantics for Higher-Order Logic Programs.
IJCAI
Panos Rondogiannis, Ioanna Symeonidou
2017 J jnl
Equivalence of two fixed-point semantics for definitional higher-order logic programs.
Theor. Comput. Sci.
Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou
2017 J jnl
Extensional Semantics for Higher-Order Logic Programs with Negation.
CoRR
Panos Rondogiannis, Ioanna Symeonidou
2017 J jnl
Game semantics for non-monotonic intensional logic programming.
Ann. Pure Appl. Log.
Chrysida Galanaki, Christos Nomikos, Panos Rondogiannis
2017 J jnl
Overview of an Abstract Fixed Point Theory for Non-Monotonic Functions and its Applications to Logic Programming.
Acta Cybern.
Angelos Charalambidis, Panos Rondogiannis
2017 J jnl
The Intricacies of 3-Valued Extensional Semantics for Higher-Order Logic Programs.
CoRR
Panos Rondogiannis, Ioanna Symeonidou
2017 J jnl
The intricacies of three-valued extensional semantics for higher-order logic programs.
Theory Pract. Log. Program.
Panos Rondogiannis, Ioanna Symeonidou
2016 B conf
Extensional Semantics for Higher-Order Logic Programs with Negation.
JELIA
Panos Rondogiannis, Ioanna Symeonidou
2016 C conf
Higher-order logic programming: an expressive language for representing qualitative preferences.
PPDP
Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis
2015 J jnl
A fixed point theorem for non-monotonic functions.
Theor. Comput. Sci.
Zoltán Ésik, Panos Rondogiannis
2015 — conf
Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs.
FICS
Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou
2015 C conf
Expressing preferences in logic programming using an infinite-valued logic.
PPDP
Panos Rondogiannis, Antonis Troumpoukis
2014 J jnl
A Fixed Point Theorem for Non-Monotonic Functions.
CoRR
Zoltán Ésik, Panos Rondogiannis
2014 A* conf
Constructive Negation in Extensional Higher-Order Logic Programming.
KR
Angelos Charalambidis, Panos Rondogiannis
2014 J jnl
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation.
CoRR
Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis
2014 J jnl
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation.
Theory Pract. Log. Program.
Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis
2014 — conf
Tagged Dataflow: a Formal Model for Iterative Map-Reduce.
EDBT/ICDT Workshops
Angelos Charalambidis, Nikolaos Papaspyrou, Panos Rondogiannis
2014 C conf
Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars.
WoLLIC
Zoltán Ésik, Panos Rondogiannis
2013 B conf
Game Semantics for Non-monotonic Intensional Logic Programming.
LPNMR
Chrysida Galanaki, Christos Nomikos, Panos Rondogiannis
2013 C conf
The Generalized Intensional Transformation for Implementing Lazy Functional Languages.
PADL
Georgios Fourtounis, Nikolaos Papaspyrou, Panos Rondogiannis
2013 J jnl
The infinite-valued semantics: overview, recent results and future directions.
J. Appl. Non Class. Logics
Panos Rondogiannis, Antonis Troumpoukis
2012 J jnl
On the expressive power of univariate equations over sets of natural numbers.
Inf. Comput.
Alexander Okhotin, Panos Rondogiannis
2011 J jnl
A game-theoretic characterization of Boolean grammars.
Theor. Comput. Sci.
Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis
2011 J jnl
Extensional Higher-Order Logic Programming
CoRR
Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge
2010 B conf
Extensional Higher-Order Logic Programming.
JELIA
Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge
2010 — conf
Fixed-Point Semantics for Non-Monotonic Formalisms.
FICS
Panos Rondogiannis
2009 C conf
A Game-Theoretic Characterization of Boolean Grammars.
Developments in Language Theory
Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis
2009 J jnl
Strong equivalence of logic programs under the infinite-valued semantics.
Inf. Process. Lett.
Christos Nomikos, Panos Rondogiannis, William W. Wadge
2009 J jnl
Well-founded semantics for Boolean grammars.
Inf. Comput.
Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis
2008 J jnl
An infinite-game semantics for well-founded negation in logic programming.
Ann. Pure Appl. Log.
Chrysida Galanaki, Panos Rondogiannis, William W. Wadge
2008 J jnl
Efficient Intensional Implementation for Lazy Functional Languages.
Math. Comput. Sci.
Angelos Charalambidis, Athanasios Grivas, Nikolaos S. Papaspyrou, Panos Rondogiannis
2008 — conf
General Logic Programs as Infinite Games.
Topological and Game-Theoretic Aspects of Infinite Computations
Chrysida Galanaki, Panos Rondogiannis, William W. Wadge
2008 J jnl
Locally stratified Boolean grammars.
Inf. Comput.
Christos Nomikos, Panos Rondogiannis
2008 — conf
On the Semantic Approaches to Boolean Grammars.
Topological and Game-Theoretic Aspects of Infinite Computations
Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis
2008 — conf
On the expressive power of univariate equations over sets of natural numbers.
IFIP TCS
Alexander Okhotin, Panos Rondogiannis
2007 B conf
A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation.
LPNMR
Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge
2007 C conf
Locally Stratified Boolean Grammars.
LATA
Christos Nomikos, Panos Rondogiannis
2006 J jnl
A Value-propagating Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs.
Fundam. Informaticae
Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis
2006 C conf
Well-Founded Semantics for Boolean Grammars.
Developments in Language Theory
Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis
2005 B conf
A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics.
ICLP
Christos Nomikos, Panos Rondogiannis, William W. Wadge
2005 — conf
An infinite-game semantics for negation in logic programming.
GALOP@ETAPS
Panos Rondogiannis, William W. Wadge
2005 J jnl
Minimum model semantics for logic programs with negation-as-failure.
ACM Trans. Comput. Log.
Panos Rondogiannis, William W. Wadge
2005 J jnl
Temporal stratification tests for linear and branching-time deductive databases.
Theor. Comput. Sci.
Christos Nomikos, Panos Rondogiannis, Manolis Gergatsoulis
2004 J jnl
A limit characterization for the number of spanning trees of graphs.
Inf. Process. Lett.
Stavros D. Nikolopoulos, Christos Nomikos, Panos Rondogiannis
2003 J jnl
Minimum Model Semantics for Logic Programs with Negation-as-Failure
CoRR
Panos Rondogiannis, William W. Wadge
2002 B conf
An Infinite-Valued Semantics for Logic Programs with Negation.
JELIA
Panos Rondogiannis, William W. Wadge
2001 C conf
A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs.
LOPSTR
Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis
2001 J jnl
Stratified negation in temporal logic programming and the cycle-sum test.
Theor. Comput. Sci.
Panos Rondogiannis
2001 J jnl
The Branching-Time Transformation Technique for Chain Datalog Programs.
J. Intell. Inf. Syst.
Panos Rondogiannis, Manolis Gergatsoulis
2000 — conf
Multidimensional XML.
DCW
Yannis Stavrakas, Manolis Gergatsoulis, Panos Rondogiannis
2000 J jnl
Temporal Disjunctive Logic Programming.
New Gener. Comput.
Manolis Gergatsoulis, Panos Rondogiannis, Themis Panayiotopoulos
1999 J jnl
Adding multidimensionality to procedural programming languages.
Softw. Pract. Exp.
Panos Rondogiannis
1999 J jnl
Higher-Order Functional Languages and Intensional Logic.
J. Funct. Program.
Panos Rondogiannis, William W. Wadge
1998 J jnl
Branching-Time Logic Programming: The Language
Comput. Lang.
Panos Rondogiannis, Manolis Gergatsoulis, Themis Panayiotopoulos
1998 J jnl
On the Number of Spanning Trees of Multi-Star Related Graphs.
Inf. Process. Lett.
Stavros D. Nikolopoulos, Panos Rondogiannis
1997 — conf
Cactus: A Branching-Time Logic Programming Language.
ECSQARU-FAPR
Panos Rondogiannis, Manolis Gergatsoulis, Themis Panayiotopoulos
1997 J jnl
First-Order Functional Languages and Intensional Logic.
J. Funct. Program.
Panos Rondogiannis, William W. Wadge
1994 — conf
Compiling Higher-Order Functions for Tagged-Dataflow.
IFIP PACT
Panos Rondogiannis, William W. Wadge
1994 Misc conf
Higher-order dataflow and its implementation on stock hardware.
SAC
Panos Rondogiannis, William W. Wadge
1994 — —
Higher-order functional languages and intensional logic.
Panos Rondogiannis
1994 J jnl
Petri-Net-Based Deadlock Analysis of Process Algebra Programs.
Sci. Comput. Program.
Panos Rondogiannis, Mantis H. M. Cheng