Panos Rondogiannis

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 26

Top Topics

Semantics Of Logic Programs

Top Venues

Theory Pract. Log. Program.

Theor. Comput. Sci.

Publications

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