| 2024 | KR | Non-monotone Fixpoint Theory Based on the Structure of Weak Bilattices. | Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Panos Rondogiannis |
| 2023 | JELIA | Categorical Approximation Fixpoint Theory. | Angelos Charalambidis, Panos Rondogiannis |
| 2021 | KR | A Many-valued Logic for Lexicographic Preference Representation. | Angelos Charalambidis, George Papadimitriou, Panos Rondogiannis, Antonis Troumpoukis |
| 2020 | LICS | A Fixed Point Theorem on Lexicographic Lattice Structures. | Angelos Charalambidis, Giannos Chatziagapis, Panos Rondogiannis |
| 2018 | IJCAI | The Intricacies of Three-Valued Extensional Semantics for Higher-Order Logic Programs. | Panos Rondogiannis, Ioanna Symeonidou |
| 2016 | JELIA | Extensional Semantics for Higher-Order Logic Programs with Negation. | Panos Rondogiannis, Ioanna Symeonidou |
| 2016 | PPDP | Higher-order logic programming: an expressive language for representing qualitative preferences. | Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis |
| 2015 | PPDP | Expressing preferences in logic programming using an infinite-valued logic. | Panos Rondogiannis, Antonis Troumpoukis |
| 2014 | EDBT | Tagged Dataflow: a Formal Model for Iterative Map-Reduce. | Angelos Charalambidis, Nikolaos Papaspyrou, Panos Rondogiannis |
| 2014 | KR | Constructive Negation in Extensional Higher-Order Logic Programming. | Angelos Charalambidis, Panos Rondogiannis |
| 2014 | WoLLIC | Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars. | Zoltn sik, Panos Rondogiannis |
| 2013 | LPNMR | Game Semantics for Non-monotonic Intensional Logic Programming. | Chrysida Galanaki, Christos Nomikos, Panos Rondogiannis |
| 2013 | PADL | The Generalized Intensional Transformation for Implementing Lazy Functional Languages. | Georgios Fourtounis, Nikolaos Papaspyrou, Panos Rondogiannis |
| 2010 | JELIA | Extensional Higher-Order Logic Programming. | Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge |
| 2009 | DLT | A Game-Theoretic Characterization of Boolean Grammars. | Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis |
| 2007 | LATA | Locally Stratified Boolean Grammars. | Christos Nomikos, Panos Rondogiannis |
| 2007 | LPNMR | A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. | Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge |
| 2006 | DLT | Well-Founded Semantics for Boolean Grammars. | Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis |
| 2005 | ICLP | A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics. | Christos Nomikos, Panos Rondogiannis, William W. Wadge |
| 2002 | JELIA | An Infinite-Valued Semantics for Logic Programs with Negation. | Panos Rondogiannis, William W. Wadge |
| 2001 | LOPSTR | A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs. | Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis |
| 1997 | ECSQARU | Cactus: A Branching-Time Logic Programming Language. | Panos Rondogiannis, Manolis Gergatsoulis, Themis Panayiotopoulos |
| 1994 | SAC | Higher-order dataflow and its implementation on stock hardware. | Panos Rondogiannis, William W. Wadge |