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
582005
Higher-order functional languages and intensional logic
P Rondogiannis, WW Wadge
Journal of Functional Programming 9 (5), 527-564, 1999
411999
Well-founded semantics for Boolean grammars
V Kountouriotis, C Nomikos, P Rondogiannis
Information and Computation 207 (9), 945-967, 2009
362009
First-order functional languages and intensional logic
P Rondogiannis, WW Wadge
Journal of Functional Programming 7 (1), 73-101, 1997
341997
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
Multidimensional xml
Y Stavrakas, M Gergatsoulis, P Rondogiannis
International Workshop on Distributed Communities on the Web, 100-109, 2000
262000
Extensional higher-order logic programming
A Charalambidis, K Handjopoulos, P Rondogiannis, WW Wadge
ACM Transactions on Computational Logic (TOCL) 14 (3), 1-40, 2013
242013
Does self-efficacy mediate functional change in older adults participating in an exercise program after hip fracture? A randomized controlled trial
FH Chang, NK Latham, P Ni, AM Jette
Archives of physical medicine and rehabilitation 96 (6), 1014-1020. e1, 2015
21*2015
A fixed point theorem for non-monotonic functions
Z Ésik, P Rondogiannis
Theoretical Computer Science 574, 18-38, 2015
202015
Minimum model semantics for extensional higher-order logic programming with negation
A Charalambidis, Z Ésik, P Rondogiannis
arXiv preprint arXiv:1405.3792, 2014
192014
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
Vmake, ISE and IRCS: General tools for the intensionalization of software systems
P Swoboda, WW Wadge
Intensional Programming II, World-Scientific, 2000
192000
Cactus: A branching-time logic programming language
P Rondogiannis, M Gergatsoulis, T Panayiotopoulos
Qualitative and Quantitative Practical Reasoning, 511-524, 1997
171997
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
142012
Disjunctive Chronolog
M Gergatsoulis, P Rondogiannis, T Panayiotopoulos
Proceedings of the JICSLP 96, 129-136, 1996
141996
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
Petri-net-based deadlock analysis of Process Algebra programs
P Rondogiannis, MHM Cheng
Science of Computer Programming 23 (1), 55-89, 1994
121994
The system can't perform the operation now. Try again later.
Articles 1–20