CONFERENCE PUBLICATIONS

1. Z. Ésik and P. Rondogiannis. Theorems of Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Gramars, WOLLIC 2014 (to appear).

2. A. Charalambidis, Z. Ésik and P. Rondogiannis. Minimum Model Semantics for Extensional Higher-Order Logic Programming with Negation. ICLP 2014 (to appear).

3. A. Charalambidis and P. Rondogiannis. Constructive Negation in Extensional Higher-Order Logic Programming. KR 2014 (to appear).

4. A. Charalambidis, N. Papaspyrou and P. Rondogiannis. Tagged Dataflow: a Formal Model for Iterative Map-Reduce. EDBT/ICDT Workshops, 2014, 29-36.

5. Ch. Galanaki, Ch. Nomikos and P. Rondogiannis. Game Semantics for Non-Monotonic Intensional Logic Programming. LPNMR 2013, 329-341.

6. G. Fourtounis, N. Papaspyrou and P. Rondogiannis. The Generalized Intensional Transformation for Implementing Lazy Functional Languages. PADL 2013, 157-172.

7. A. Charalambidis, K. Handjopoulos, P. Rondogiannis and W. W. Wadge. Extensional Higher-Order Logic Programming. JELIA 2010. 91-103.

8. V. Kountouriotis, C. Nomikos and P. Rondogiannis. A Game-Theoretic Characterization of Boolean Grammars. Developments in Language Theory (DLT) 2009: 334-347.

9. A. Okhotin, P. Rondogiannis: On the expressive power of univariate equations over sets of natural numbers. IFIP TCS 2008: 215-227.

10. P. Cabalar, D. Pearce, P. Rondogiannis and W. W. Wadge. A Purely Model-Theoretic Semantics with Disjunctive Logic Programs with Negation. In Proceedings of the Ninth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Tempe, Arizona, May 2007. 

11. C. Nomikos and P. Rondogiannis. Locally Stratified Boolean Grammars. In Proceedings of the First International Conference on Language and Automata Theory and Applications (LATA), Taragona, Spain, April 2007.

12. V. Kountouriotis, C. Nomikos and P. Rondogiannis. Well-Founded Semantics for Boolean Grammars. In Proceedings of the Tenth International Conference on Developments in Language Theory , Santa Barbara, California, June 2006, Lecture Notes in Computer Science.

13. V. Kountouriotis, P. Rondogiannis and W. W. Wadge, Extensional Higher-Order Datalog, In short paper proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-12), pages 1-5, Jamaica, December 2005.

14. C. Nomikos, P. Rondogiannis and W. W. Wadge, A Sufficient Condition for Strong Equivalence under the Well-Founded Semantics, In Proceedings of the 21st International Conference on Logic Programming (ICLP 2005), pages 414-415, Sitges, Spain, October 2005.

15. A. Charalambidis, A. Grivas, N. Papaspyrou, and P. Rondogiannis, Efficient Intensional Implementation for Lazy Functional Languages, In Proceedings of the 17th International Workshop on the Implementation and Applications of Functional Languages (IFL’05), Dublin, Ireland, September 2005.

16. P. Rondogiannis and W. W. Wadge, An Infinite-Game Semantics for Negation in Logic Programming, Games for Logic and Programming Languages (GaLoP), Etaps 2005, pages 77-91, Edinburgh, April 2005

17. P. Rondogiannis and W. W. Wadge,  An Infinite-Valued Semantics for Logic Programs with Negation, In proceedings of the 8th European Conference of Logics in Artificial Intelligence (JELIA 2002), pages 456-467, Cosenza, Italy, September 2002.

18. P. Potikas, P. Rondogiannis and M. Gergatsoulis, A Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs, in the Pre-Proceedings of the 11th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR), pp. 1-8, Paphos, Cyprus, October 2001.

19. C. Nomikos, P. Rondogiannis and M. Gergatsoulis, A Stratification Test for Temporal Logic Programs, In Proceedings of the Third Panhellenic Logic Symposium, Anogia, Crete, July 2001.

20. Y. Stavrakas, M. Gergatsoulis and P. Rondogiannis, Multidimensional XML, in Proceedings of the Third International Workshop DCW 2000 (Distributed Communities on the Web), Quebec City, Canada, June 2000, LNCS 1830, pp. 100-109, Springer- Verlag.

21. P. Rondogiannis and W. Wadge, Intensional Programming Languages, In Proceedings of the First Panhellenic Conference on New Information Technologies (NIT'98), pages 85-94, Athens, Greece, October 1998.

22. M. Gergatsoulis, P. Rondogiannis, and T. Panayiotopoulos, Proof Procedures for Branching-Time Logic Programming, In Proceedings of the International Symposium on Languages for Intensional Programming, pages 12-26, Victoria, Canada, May 1997.

23. P. Rondogiannis, M. Gergatsoulis and T. Panayiotopoulos, Cactus: A Branching-Time Logic Programming Language, In Proceedings of the International Joint Conference on Qualitative and Quantitative Practical Reasoning, Bad Honnef, Germany, Lecture Notes in Artificial Intelligence (LNAI) 1244, pages 511-524, 9-12 June 1997, Springer.

24. M. Gergatsoulis, P. Rondogiannis and T. Panayiotopoulos, Disjunctive Chronolog, In Proceedings of the Workshop on Multi-Paradigm Logic Programming, pages 129-136,1996.

25. P. Rondogiannis and W. W. Wadge, Transforming First-Order Functional Programs to Intensional Programs of Nullary Variables: Theoretical Foundations, In Proceedings of the International Symposium on Lucid and Intensional Programming, pages 84-93, San Francisco, USA, September 1994.

26. P. Rondogiannis and W. W. Wadge, Compiling Higher-Order Functions for Tagged Dataflow, in Proceedings of the IFIP International Conference on Parallel Architectures and Compilation Techniques, pages 269-278, Montreal, Canada, August 1994, North Holland.

27. P. Rondogiannis and W. W. Wadge, Higher-Order Dataflow and its Implementation on Stock Hardware, in Proceedings of the ACM Symposium on Applied Computing, pages 431-435, Phoenix, Arizona, March 1994, ACM Press.

28. P. Rondogiannis and W. W. Wadge, A Dataflow Implementation Technique for Lazy Typed Functional Languages, In Proceedings of the International Symposium on Lucid and Intensional Programming, pages 23-43, Quebec, Canada, April 1993.

29. P. Rondogiannis and M. H. M. Cheng. DART: A Prolog System for Detecting Deadlocks in Concurrent Programs, in Proceedings of the International Conference of Prolog Applications, London, England, April 1992.

30. P. Rondogiannis and M. Cheng. Using Petri Net Reduction Techniques to Detect Ada Static Deadlocks, in Proceedings of the Tenth Annual National Conference on Ada Technology, pages 147-157, Arlington, Virginia, USA, February 1992.