Seguir
Panos Rondogiannis
Panos Rondogiannis
Professor, Department of Informatics and Telecommunications, National and Kapodistrian University
Dirección de correo verificada de di.uoa.gr
Título
Citado por
Citado por
Año
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
652005
Higher-order functional languages and intensional logic
P Rondogiannis, WW Wadge
Journal of Functional Programming 9 (5), 527-564, 1999
451999
First-order functional languages and intensional logic
P Rondogiannis, WW Wadge
Journal of Functional Programming 7 (1), 73-101, 1997
381997
Well-founded semantics for Boolean grammars
V Kountouriotis, C Nomikos, P Rondogiannis
Information and Computation 207 (9), 945-967, 2009
352009
Branching-time logic programming: The language Cactus and its applications
P Rondogiannis, M Gergatsoulis, T Panayiotopoulos
Computer Languages 24 (3), 155-178, 1998
321998
On the number of spanning trees of multi-star related graphs
SD Nikolopoulos, P Rondogiannis
Information processing letters 65 (4), 183-188, 1998
271998
Extensional higher-order logic programming
A Charalambidis, K Handjopoulos, P Rondogiannis, WW Wadge
ACM Transactions on Computational Logic (TOCL) 14 (3), 1-40, 2013
262013
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
192008
Cactus: A branching-time logic programming language
P Rondogiannis, M Gergatsoulis, T Panayiotopoulos
Qualitative and Quantitative Practical Reasoning, 511-524, 1997
181997
Distributed algorithm for communication deadlock detection
P Rontogiannis, G Pavlides, A Levy
Information and Software Technology 33 (7), 483-488, 1991
171991
On the expressive power of univariate equations over sets of natural numbers
A Okhotin, P Rondogiannis
Information and Computation 212, 1-14, 2012
152012
Disjunctive Chronolog
M Gergatsoulis, P Rondogiannis, T Panayiotopoulos
Proceedings of the JICSLP 96, 129-136, 1996
151996
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
122006
Temporal disjunctive logic programming
M Gergatsoulis, P Rondogiannis, T Panayiotopoulos
New Generation Computing 19 (1), 87-100, 2001
122001
Theorems on pre-fixed points of non-monotonic functions with applications in logic programming and formal grammars
Z Ésik, P Rondogiannis
International Workshop on Logic, Language, Information, and Computation, 166-180, 2014
112014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20