Follow
Panos Rondogiannis
Panos Rondogiannis
Professor, Department of Informatics and Telecommunications, National and Kapodistrian University
Verified email at di.uoa.gr
Title
Cited by
Cited by
Year
Minimum model semantics for logic programs with negation-as-failure
P Rondogiannis, WW Wadge
ACM Transactions on Computational Logic (TOCL) 6 (2), 441-467, 2005
672005
Higher-order functional languages and intensional logic
P Rondogiannis, WW Wadge
Journal of Functional Programming 9 (5), 527-564, 1999
461999
First-order functional languages and intensional logic
P Rondogiannis, WW Wadge
Journal of Functional Programming 7 (1), 73-101, 1997
401997
Well-founded semantics for Boolean grammars
V Kountouriotis, C Nomikos, P Rondogiannis
Information and Computation 207 (9), 945-967, 2009
382009
Branching-time logic programming: The language Cactus and its applications
P Rondogiannis, M Gergatsoulis, T Panayiotopoulos
Computer Languages 24 (3), 155-178, 1998
331998
Extensional higher-order logic programming
A Charalambidis, K Handjopoulos, P Rondogiannis, WW Wadge
ACM Transactions on Computational Logic (TOCL) 14 (3), 1-40, 2013
302013
On the number of spanning trees of multi-star related graphs
SD Nikolopoulos, P Rondogiannis
Information processing letters 65 (4), 183-188, 1998
291998
Multidimensional xml
Y Stavrakas, M Gergatsoulis, P Rondogiannis
International Workshop on Distributed Communities on the Web, 100-109, 2000
262000
A fixed point theorem for non-monotonic functions
Z Ésik, P Rondogiannis
Theoretical Computer Science 574, 18-38, 2015
232015
Minimum model semantics for extensional higher-order logic programming with negation
A Charalambidis, Z Ésik, P Rondogiannis
Theory and Practice of Logic Programming 14 (4-5), 725-737, 2014
202014
An infinite-game semantics for well-founded negation in logic programming
C Galanaki, P Rondogiannis, WW Wadge
Annals of Pure and Applied Logic 151 (2-3), 70-88, 2008
202008
Cactus: A branching-time logic programming language
P Rondogiannis, M Gergatsoulis, T Panayiotopoulos
International Joint Conference on Qualitative and Quantitative Practical …, 1997
181997
Distributed algorithm for communication deadlock detection
P Rontogiannis, G Pavlides, A Levy
Information and Software Technology 33 (7), 483-488, 1991
171991
Approximation fixpoint theory and the well-founded semantics of higher-order logic programs
A Charalambidis, P Rondogiannis, I Symeonidou
Theory and Practice of Logic Programming 18 (3-4), 421-437, 2018
162018
On the expressive power of univariate equations over sets of natural numbers
A Okhotin, P Rondogiannis
Information and Computation 212, 1-14, 2012
162012
Disjunctive Chronolog
M Gergatsoulis, P Rondogiannis, T Panayiotopoulos
Proceedings of the JICSLP 96, 129-136, 1996
161996
Temporal disjunctive logic programming
M Gergatsoulis, P Rondogiannis, T Panayiotopoulos
New Generation Computing 19, 87-100, 2001
132001
Higher-order dataflow and its implementation on stock hardware
P Rondogiannis, WW Wadge
Proceedings of the 1994 ACM symposium on Applied computing, 431-435, 1994
131994
A purely model-theoretic semantics for disjunctive logic programs with negation
P Cabalar, D Pearce, P Rondogiannis, WW Wadge
International Conference on Logic Programming and Nonmonotonic Reasoning, 44-57, 2007
122007
Well-founded semantics for Boolean grammars
V Kountouriotis, C Nomikos, P Rondogiannis
International Conference on Developments in Language Theory, 203-214, 2006
112006
The system can't perform the operation now. Try again later.
Articles 1–20