Panos Rondogiannis

According to our database, Panos Rondogiannis authored at least 62 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Recursive Function Definitions in Static Dataflow Graphs and their Implementation in TensorFlow.

Kelly Kostopoulou, Angelos Charalambidis, Panos Rondogiannis

CoRR, 2024

The Stable Model Semantics for Higher-Order Logic Programming.

Bart Bogaerts, Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Samuele Pollaci, Panos Rondogiannis

CoRR, 2024

Non-monotone Fixpoint Theory Based on the Structure of Weak Bilattices.

Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Panos Rondogiannis

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

2023

Categorical Approximation Fixpoint Theory.

Angelos Charalambidis, Panos Rondogiannis

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

2022

Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective.

Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis

Theory Pract. Log. Program., 2022

2021

A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction.

Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis

Theory Pract. Log. Program., 2021

A Many-valued Logic for Lexicographic Preference Representation.

Angelos Charalambidis, George Papadimitriou, Panos Rondogiannis, Antonis Troumpoukis

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

2020

Lexicographic Logic: a Many-valued Logic for Preference Representation.

Angelos Charalambidis, Giorgos Papadimitriou, Panos Rondogiannis, Antonis Troumpoukis

CoRR, 2020

A Fixed Point Theorem on Lexicographic Lattice Structures.

Angelos Charalambidis, Giannos Chatziagapis, Panos Rondogiannis

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019

The Expressive Power of Higher-Order Datalog.

Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis

Theory Pract. Log. Program., 2019

2018

Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs.

Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou

Theory Pract. Log. Program., 2018

Higher-order logic programming: An expressive language for representing qualitative preferences.

Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis

Sci. Comput. Program., 2018

Extensional Semantics for Higher-Order Logic Programs with Negation.

Panos Rondogiannis, Ioanna Symeonidou

Log. Methods Comput. Sci., 2018

2017

The intricacies of three-valued extensional semantics for higher-order logic programs.

Panos Rondogiannis, Ioanna Symeonidou

Theory Pract. Log. Program., 2017

Equivalence of two fixed-point semantics for definitional higher-order logic programs.

Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou

Theor. Comput. Sci., 2017

The Intricacies of 3-Valued Extensional Semantics for Higher-Order Logic Programs.

Panos Rondogiannis, Ioanna Symeonidou

CoRR, 2017

Game semantics for non-monotonic intensional logic programming.

Chrysida Galanaki, Christos Nomikos, Panos Rondogiannis

Ann. Pure Appl. Log., 2017

Overview of an Abstract Fixed Point Theory for Non-Monotonic Functions and its Applications to Logic Programming.

Angelos Charalambidis, Panos Rondogiannis

Acta Cybern., 2017

2015

A fixed point theorem for non-monotonic functions.

Zoltán Ésik, Panos Rondogiannis

Theor. Comput. Sci., 2015

Expressing preferences in logic programming using an infinite-valued logic.

Panos Rondogiannis, Antonis Troumpoukis

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

2014

Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation.

Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis

Theory Pract. Log. Program., 2014

Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars.

Zoltán Ésik, Panos Rondogiannis

Proceedings of the Logic, Language, Information, and Computation, 2014

Constructive Negation in Extensional Higher-Order Logic Programming.

Angelos Charalambidis, Panos Rondogiannis

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Tagged Dataflow: a Formal Model for Iterative Map-Reduce.

Angelos Charalambidis, Nikolaos Papaspyrou, Panos Rondogiannis

Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

2013

Extensional Higher-Order Logic Programming.

Angelos Charalambidis, Konstantinos Handjopoulos, Panagiotis Rondogiannis, William W. Wadge

ACM Trans. Comput. Log., 2013

The infinite-valued semantics: overview, recent results and future directions.

Panos Rondogiannis, Antonis Troumpoukis

J. Appl. Non Class. Logics, 2013

The Generalized Intensional Transformation for Implementing Lazy Functional Languages.

Georgios Fourtounis, Nikolaos Papaspyrou, Panos Rondogiannis

Proceedings of the Practical Aspects of Declarative Languages, 2013

2012

<i>Models and Games</i> 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.

Panos Rondogiannis

Theory Pract. Log. Program., 2012

On the expressive power of univariate equations over sets of natural numbers.

Alexander Okhotin, Panos Rondogiannis

Inf. Comput., 2012

2011

A game-theoretic characterization of Boolean grammars.

Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis

Theor. Comput. Sci., 2011

2010

Fixed-Point Semantics for Non-Monotonic Formalisms.

Panos Rondogiannis

Proceedings of the 7th Workshop on Fixed Points in Computer Science, 2010

2009

Strong equivalence of logic programs under the infinite-valued semantics.

Christos Nomikos, Panos Rondogiannis, William W. Wadge

Inf. Process. Lett., 2009

Well-founded semantics for Boolean grammars.

Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis

Inf. Comput., 2009

2008

Efficient Intensional Implementation for Lazy Functional Languages.

Angelos Charalambidis, Athanasios Grivas, Nikolaos S. Papaspyrou, Panos Rondogiannis

Math. Comput. Sci., 2008

Locally stratified Boolean grammars.

Christos Nomikos, Panos Rondogiannis

Inf. Comput., 2008

An infinite-game semantics for well-founded negation in logic programming.

Chrysida Galanaki, Panos Rondogiannis, William W. Wadge

Ann. Pure Appl. Log., 2008

On the Semantic Approaches to Boolean Grammars.

Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis

Proceedings of the Topological and Game-Theoretic Aspects of Infinite Computations, 29.06., 2008

General Logic Programs as Infinite Games.

Chrysida Galanaki, Panos Rondogiannis, William W. Wadge

Proceedings of the Topological and Game-Theoretic Aspects of Infinite Computations, 29.06., 2008

SECASA 2008 Workshop Organization.

Weichang Du, John Plaice, Panagiotis Rondogiannis

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation.

Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

2006

A Value-propagating Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs.

Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis

Fundam. Informaticae, 2006

2005

Minimum model semantics for logic programs with negation-as-failure.

Panos Rondogiannis, William W. Wadge

ACM Trans. Comput. Log., 2005

Temporal stratification tests for linear and branching-time deductive databases.

Christos Nomikos, Panos Rondogiannis, Manolis Gergatsoulis

Theor. Comput. Sci., 2005

A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics.

Christos Nomikos, Panos Rondogiannis, William W. Wadge

Proceedings of the Logic Programming, 21st International Conference, 2005

An infinite-game semantics for negation in logic programming.

Panos Rondogiannis, William W. Wadge

Proceedings of the 1st Workshop on Games for Logic and Programming Languages, 2005

2004

A limit characterization for the number of spanning trees of graphs.

Stavros D. Nikolopoulos, Christos Nomikos, Panos Rondogiannis

Inf. Process. Lett., 2004

2002

An Infinite-Valued Semantics for Logic Programs with Negation.

Panos Rondogiannis, William W. Wadge

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001

Stratified negation in temporal logic programming and the cycle-sum test.

Panos Rondogiannis

Theor. Comput. Sci., 2001

The Branching-Time Transformation Technique for Chain Datalog Programs.

Panos Rondogiannis, Manolis Gergatsoulis

J. Intell. Inf. Syst., 2001

A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs.

Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis

Proceedings of the Logic Based Program Synthesis and Transformation, 2001

2000

Temporal Disjunctive Logic Programming.

Manolis Gergatsoulis, Panos Rondogiannis, Themis Panayiotopoulos

New Gener. Comput., 2000

Multidimensional XML.

Yannis Stavrakas, Manolis Gergatsoulis, Panos Rondogiannis

Proceedings of the Distributed Communities on the Web, Third International Workshop, 2000

1999

Adding multidimensionality to procedural programming languages.

Panos Rondogiannis

Softw. Pract. Exp., 1999

Higher-Order Functional Languages and Intensional Logic.

Panos Rondogiannis, William W. Wadge

J. Funct. Program., 1999

1998

On the Number of Spanning Trees of Multi-Star Related Graphs.

Stavros D. Nikolopoulos, Panos Rondogiannis

Inf. Process. Lett., 1998

Branching-Time Logic Programming: The Language <i>Cactus</i> and its Applications.

Panos Rondogiannis, Manolis Gergatsoulis, Themis Panayiotopoulos

Comput. Lang., 1998

1997

First-Order Functional Languages and Intensional Logic.

Panos Rondogiannis, William W. Wadge

J. Funct. Program., 1997

Cactus: A Branching-Time Logic Programming Language.

Panos Rondogiannis, Manolis Gergatsoulis, Themis Panayiotopoulos

Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

1994

Higher-order functional languages and intensional logic.

Panos Rondogiannis

PhD thesis, 1994

Petri-Net-Based Deadlock Analysis of Process Algebra Programs.

Panos Rondogiannis, Mantis H. M. Cheng

Sci. Comput. Program., 1994

Higher-order dataflow and its implementation on stock hardware.

Panos Rondogiannis, William W. Wadge

Proceedings of the 1994 ACM Symposium on Applied Computing, 1994

Compiling Higher-Order Functions for Tagged-Dataflow.

Panos Rondogiannis, William W. Wadge

Proceedings of the Parallel Architectures and Compilation Techniques, 1994