Panos Rondogiannis
Panos Rondogiannis
Professor, Department of Informatics and Telecommunications, National and Kapodistrian University
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα di.uoa.gr
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
352009
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20