Visiting Assistant Professor

Angelos Charalampidis

Visiting Assistant Professor

Short Bio

Angelos Charalampidis is a computer scientist and Ph.D. in computational logic. He has carried out extensive research on artificial intelligence and programming languages. His interests include programming languages with applications on artificial intelligence and scalable implementation techniques to accelerate large-scale machine intelligence tasks.

Publications

2020

  • Charalambidis, A, Chatziagapis, G, Rondogiannis, P. A fixed point theorem on lexicographic lattice structures. LICS 20: 35th annual ACM/IEEE symposium on logic in computer science, Saarbrücken, Germany, July 8-11, 2020 [Internet]. ACM 2020;301–11. doi: 10.1145/3373718.3394797.

2019

  • Charalambidis, A, Nomikos, C, Rondogiannis, P. The expressive power of higher-order datalog. Theory Pract Log Program [Internet]. 2019;19(5-6):925–40. doi: 10.1017/S1471068419000279.
  • Klampanos, IA, Magnoni, F, Casarotti, E, Pagé, C, Lindner, M, Ikonomopoulos, A, et al. DARE: A reflective platform designed to enable agile data-driven research on the cloud. 15th international conference on eScience, eScience 2019, San Diego, CA, USA, September 24-27, 2019 [Internet]. IEEE 2019;578–85. doi: 10.1109/eScience.2019.00079.
  • Koubarakis, M, Bereta, K, Bilidas, D, Giannousis, K, Ioannidis, T, Pantazi, D, et al. From copernicus big data to extreme earth analytics. Advances in database technology - 22nd international conference on extending database technology, EDBT 2019, Lisbon, Portugal, March 26-29, 2019 [Internet]. OpenProceedings.org 2019;690–3. doi: 10.5441/002/edbt.2019.88.
  • Charalambidis, A, Nomikos, C, Rondogiannis, P. The expressive power of higher-order datalog. CoRR [Internet]. 2019;abs/1907.09820. Available from: http://arxiv.org/abs/1907.09820.

2018

  • Charalambidis, A, Rondogiannis, P, Troumpoukis, A. Higher-order logic programming: An expressive language for representing qualitative preferences. Sci Comput Program [Internet]. 2018;155:173–97. Austria10.1016/j.scico.2017.09.002.
  • Charalambidis, A, Rondogiannis, P, Symeonidou, I. Approximation fixpoint theory and the well-founded semantics of higher-order logic programs. Theory Pract Log Program [Internet]. 2018;18(3-4):421–37. Austria10.1017/S1471068418000108.
  • Troumpoukis, A, Charalambidis, A. Predicate specialization for definitional higher-order logic programs. Logic-based program synthesis and transformation - 28th international symposium, LOPSTR 2018, Frankfurt/main, Germany, September 4-6, 2018, revised selected papers [Internet]. Springer 2018;132–47. (Lecture notes in computer science; vol. 11408). Austria. doi: 10.1007/978-3-030-13838-7\_8.
  • Melkonian, O, Charalambidis, A. RHEA: a reactive, heterogeneous, extensible, and abstract framework for dataflow programming. Proceedings of the 5th ACM SIGPLAN international workshop on reactive and event-based languages and systems, rebls@SPLASH 2018, Boston, MA, USA, November 4, 2018 [Internet]. ACM 2018;11–20. Austria. doi: 10.1145/3281278.3281279.
  • Charalambidis, A, Rondogiannis, P, Symeonidou, I. Approximation fixpoint theory and the well-founded semantics of higher-order logic programs. CoRR [Internet]. 2018;abs/1804.08335. Available from: http://arxiv.org/abs/1804.08335.
  • Troumpoukis, A, Charalambidis, A. Predicate specialization for definitional higher-order logic programs. CoRR [Internet]. 2018;abs/1808.04176. Available from: http://arxiv.org/abs/1808.04176.

2017

  • Charalambidis, A, Rondogiannis, P. Overview of an abstract fixed point theory for non-monotonic functions and its applications to logic programming. Acta Cybern [Internet]. 2017;23(1):319–26. Austria. doi: 10.14232/actacyb.23.1.2017.17.
  • Charalambidis, A, Rondogiannis, P, Symeonidou, I. Equivalence of two fixed-point semantics for definitional higher-order logic programs. Theor Comput Sci [Internet]. 2017;668:27–42. Austria. doi: 10.1016/j.tcs.2017.01.005.
  • Auer, S, Scerri, S, Versteden, A, Pauwels, E, Charalambidis, A, Konstantopoulos, S, et al. The bigdataeurope platform - supporting the variety dimension of big data. Web engineering - 17th international conference, ICWE 2017, Rome, Italy, June 5-8, 2017, proceedings [Internet]. Springer 2017;41–59. (Lecture notes in computer science; vol. 10360). Austria. doi:10.1007/978-3-319-60131-1\_3.
  • Konstantopoulos, S, Charalambidis, A, Troumpoukis, A, Mouchakis, G, Karkaletsis, V. The sevod vocabulary for dataset descriptions for federated querying. Proceedings of the 4th international workshop on dataset profiling and fEderated search for web data (PROFILES 2017) co-located with the 16th international semantic web conference (ISWC 2017), Vienna, Austria, October 22, 2017 [Internet]. CEUR-WS.org 2017. (CEUR workshop proceedings; vol. 1927). Available from: http://ceur-ws.org/Vol-1927/paper4.pdf.
  • Troumpoukis, A, Konstantopoulos, S, Charalambidis, A. An extension of SPARQL for expressing qualitative preferences. The semantic web - ISWC 2017 - 16th international semantic web conference, Vienna, Austria, October 21-25, 2017, proceedings, part I [Internet]. Springer 2017;711–27. (Lecture notes in computer science; vol. 10587). Austria. doi: 10.1007/978-3-319-68288-4\_42.
  • Troumpoukis, A, Konstantopoulos, S, Charalambidis, A. An extension of SPARQL for expressing qualitative preferences. CoRR [Internet]. 2017;abs/1707.06406. Available from: http://arxiv.org/abs/1707.06406.

2016

  • Zamani, K, Charalambidis, A, Konstantopoulos, S, Zoulis, N, Mavroudi, E. Workload-aware self-tuning histograms for the semantic web. Trans Large Scale Data Knowl Centered Syst [Internet]. 2016;28:133–56. Austria. doi: 10.1007/978-3-662-53455-7\_6.
  • Zamani, K, Charalambidis, A, Konstantopoulos, S, Dagioglou, M, Karkaletsis, V. A peer-to-peer protocol and system architecture for privacy-preserving statistical analysis. Availability, reliability, and security in information systems - IFIP WG 84, 89, TC 5 international cross-domain conference, CD-ARES 2016, and workshop on privacy aware machine learning for health data science, PAML 2016, Salzburg, Austria, August 31 - September 2, 2016, proceedings [Internet]. Springer 2016;236–50. (Lecture notes in computer science; vol. 9817). Austria. doi: 10.1007/978-3-319-45507-5\_16.
  • Charalambidis, A, Rondogiannis, P, Troumpoukis, A. Higher-order logic programming: An expressive language for representing qualitative preferences. Proceedings of the 18th international symposium on principles and practice of declarative programming, Edinburgh, United Kingdom, September 5-7, 2016 [Internet]. ACM 2016;24–37. Austria. doi: 10.1145/2967973.2968607.
  • Konstantopoulos, S, Charalambidis, A, Mouchakis, G, Troumpoukis, A, Jakobitsch, J, Karkaletsis, V. Semantic web technologies and big data infrastructures: SPARQL federated querying of heterogeneous big data stores. Proceedings of the ISWC 2016 posters & demonstrations track co-located with 15th international semantic web conference (ISWC 2016), Kobe, Japan, October 19, 2016 [Internet]. CEUR-WS.org 2016. (CEUR workshop proceedings; vol. 1690). Available from: http://ceur-ws.org/Vol-1690/paper33.pdf.
  • Troumpoukis, A, Charalambidis, A, Mouchakis, G, Konstantopoulos, S, Siebes, R, Boer V de, et al. Developing a benchmark suite for semantic web data from existing workflows. Proceedings of the workshop on benchmarking linked data (BLINK 2016) co-located with the 15th international semantic web conference (iswc), Kobe, Japan, October 18, 2016 [Internet]. CEUR-WS.org 2016. (CEUR workshop proceedings; vol. 1700). Available from: http://ceur-ws.org/Vol-1700/paper-04.pdf.

2015

  • Zoulis, N, Mavroudi, E, Lykoura, A, Charalambidis, A, Konstantopoulos, S. Workload-aware self-tuning histograms of string data. Database and expert systems applications - 26th international conference, DEXA 2015, Valencia, Spain, September 1-4, 2015, proceedings, part I [Internet]. Springer 2015;285–99. (Lecture notes in computer science; vol. 9261). Austria. doi: 10.1007/978-3-319-22849-5\_20.
  • Charalambidis, A, Troumpoukis, A, Konstantopoulos, S. SemaGrow: Optimizing federated SPARQL queries. Proceedings of the 11th international conference on semantic systems, SEMANTICS 2015, Vienna, Austria, September 15-17, 2015 [Internet]. ACM 2015;121–8. Austria. doi: 10.1145/2814864.2814886.
  • Charalambidis, A, Konstantopoulos, S, Karkaletsis, V. Dataset descriptions for optimizing federated querying. Proceedings of the 24th international conference on world wide web companion, WWW 2015, Florence, Italy, May 18-22, 2015 - companion volume [Internet]. ACM 2015;17–8. Austria. doi: 10.1145/2740908.2742779.
  • Charalambidis, A, Rondogiannis, P, Symeonidou, I. Equivalence of two fixed-point semantics for definitional higher-order logic programs. Proceedings tenth international workshop on fixed points in computer science, FICS 2015, Berlin, Germany, September 11-12, 2015 [Internet]. 2015;18–32. (EPTCS; vol. 191). Austria. doi: 10.4204/EPTCS.191.4.

2014

  • Charalambidis, A, Ésik, Z, Rondogiannis, P. Minimum model semantics for extensional higher-order logic programming with negation. Theory Pract Log Program [Internet]. 2014;14(4-5):725–37. Austria. doi:10.1017/S1471068414000313.
  • Charalambidis, A, Papaspyrou, N, Rondogiannis, P. Tagged dataflow: A formal model for iterative map-reduce. Proceedings of the workshops of the EDBT/ICDT 2014 joint conference (EDBT/ICDT 2014), Athens, Greece, March 28, 2014 [Internet]. CEUR-WS.org 2014;29–36. (CEUR workshop proceedings; vol. 1133). Available from: http://ceur-ws.org/Vol-1133/paper-05.pdf.
  • Charalambidis A, Rondogiannis, P. Constructive negation in extensional higher-order logic programming. Principles of knowledge representation and reasoning: Proceedings of the fourteenth international conference, KR 2014, Vienna, Austria, July 20-24, 2014 [Internet]. AAAI Press 2014. Available from: http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7995.
  • Charalambidis, A, Ésik, Z, Rondogiannis, P. Minimum model semantics for extensional higher-order logic programming with negation. CoRR [Internet]. 2014;abs/1405.3792. Available from: http://arxiv.org/abs/1405.3792.

2013

  • Charalambidis, A, Handjopoulos, K, Rondogiannis, P, Wadge, WW. Extensional higher-order logic programming. ACM Trans Comput Log [Internet]. 2013;14(3):21:1–21:40. Austria. doi: 10.1145/2499937.2499942.

2012

  • Charalambidis, A, Konstantopoulos, S. A refinement operator for inducing threaded-variable clauses. Inductive logic programming - 22nd international conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, revised selected papers [Internet]. Springer 2012;16–31. (Lecture notes in computer science; vol. 7842). Austria. doi: 10.1007/978-3-642-38812-5\_2.

2011

  • Charalambidis, A, Handjopoulos, K, Rondogiannis, P, Wadge, WW. Extensional higher-order logic programming. CoRR [Internet]. 2011;abs/1106.3457. Available from: http://arxiv.org/abs/1106.3457.

2010

  • Konstantopoulos, S, Charalambidis, A. Formulating description logic learning as an inductive logic programming task. FUZZ-IEEE 2010, IEEE international conference on fuzzy systems, Barcelona, Spain, 18-23 July, 2010, proceedings [Internet]. IEEE 2010;1–7. Austria. doi: 10.1109/FUZZY.2010.5584417.
  • Charalambidis, A, Handjopoulos, K, Rondogiannis, P, Wadge, WW. Extensional higher-order logic programming. Logics in artificial intelligence - 12th european conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010 Proceedings [Internet]. Springer 2010;91–103. (Lecture notes in computer science; vol. 6341). Austria. doi: 10.1007/978-3-642-15675-5\_10.

2008

  • Charalambidis, A, Grivas, A, Papaspyrou, NS, Rondogiannis, P. Efficient intensional implementation for lazy functional languages. Mathematics in Computer Science [Internet]. 2008;2(1):123–41. Austria. doi: 10.1007/s11786-008-0047-5.

Contact Info

Email: Angelos.Charalampidis@jefferson.edu