Följ
Panos Rondogiannis
Panos Rondogiannis
Professor, Department of Informatics and Telecommunications, National and Kapodistrian University
Verifierad e-postadress på di.uoa.gr
Titel
Citeras av
Citeras av
År
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20