Angelos Charalambidis

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 31

Top Topics

Top Venues

Theory Pract. Log. Program.

Publications

Angelos Charalambidis, Panos Rondogiannis
Categorical Approximation Fixpoint Theory. JELIA (2023)
Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis
Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective. Theory Pract. Log. Program. 22 (5) (2022)
Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis
Strong Equivalence of Logic Programs with Ordered Disjunction: a Logical Perspective. CoRR (2022)
Angelos Charalambidis, George Papadimitriou, Panos Rondogiannis, Antonis Troumpoukis
A Many-valued Logic for Lexicographic Preference Representation. KR (2021)
Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis
A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction. CoRR (2021)
Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis
A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction. Theory Pract. Log. Program. 21 (5) (2021)
Charalampos Kostopoulos, Giannis Mouchakis, Antonis Troumpoukis, Nefeli Prokopaki-Kostopoulou, Angelos Charalambidis, Stasinos Konstantopoulos
KOBE: Cloud-Native Open Benchmarking Engine for Federated Query Processors. ESWC (2021)
Angelos Charalambidis, Giorgos Papadimitriou, Panos Rondogiannis, Antonis Troumpoukis
Lexicographic Logic: a Many-valued Logic for Preference Representation. CoRR (2020)
Angelos Charalambidis, Giannos Chatziagapis, Panos Rondogiannis
A Fixed Point Theorem on Lexicographic Lattice Structures. LICS (2020)
Charalampos Kostopoulos, Giannis Mouchakis, Nefeli Prokopaki-Kostopoulou, Antonis Troumpoukis, Angelos Charalambidis, Stasinos Konstantopoulos
KOBE: Cloud-native Open Benchmarking Engine for Federated Query Processors. ISWC (Demos/Industry) (2020)
Iraklis A. Klampanos, Federica Magnoni, Emanuele Casarotti, Christian Pagé, Mike Lindner, Andreas Ikonomopoulos, Vangelis Karkaletsis, Athanasios Davvetas, André Gemünd, Malcolm P. Atkinson, Antonios Koukourikos, Rosa Filgueira, Amrey Krause, Alessandro Spinuso, Angelos Charalambidis
DARE: A Reflective Platform Designed to Enable Agile Data-Driven Research on the Cloud. eScience (2019)
Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis
The Expressive Power of Higher-Order Datalog. Theory Pract. Log. Program. 19 (5-6) (2019)
Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis
The Expressive Power of Higher-Order Datalog. CoRR (2019)
Manolis Koubarakis, Konstantina Bereta, Dimitris Bilidas, Konstantinos Giannousis, Theofilos Ioannidis, Despina-Athanasia Pantazi, George Stamoulis, Jim Dowling, Seif Haridi, Vladimir Vlassov, Lorenzo Bruzzone, Claudia Paris, Torbjørn Eltoft, Thomas Krämer, Angelos Charalambidis, Vangelis Karkaletsis, Stasinos Konstantopoulos, Theofilos Kakantousis, Mihai Datcu, Corneliu Octavian Dumitru, Florian Appel, Heike Bach, Silke Migdall, Nick Hughes, David Arthurs, Andrew Fleming
From Copernicus Big Data to Extreme Earth Analytics. EDBT (2019)
Orestis Melkonian, Angelos Charalambidis
RHEA: a reactive, heterogeneous, extensible, and abstract framework for dataflow programming. REBLS@SPLASH (2018)
Antonis Troumpoukis, Angelos Charalambidis
Predicate Specialization for Definitional Higher-order Logic Programs. CoRR (2018)
Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs. Theory Pract. Log. Program. 18 (3-4) (2018)
Antonis Troumpoukis, Angelos Charalambidis
Predicate Specialization for Definitional Higher-Order Logic Programs. LOPSTR (2018)
Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs. CoRR (2018)
Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis
Higher-order logic programming: An expressive language for representing qualitative preferences. Sci. Comput. Program. 155 (2018)
Sören Auer, Simon Scerri, Aad Versteden, Erika Pauwels, Angelos Charalambidis, Stasinos Konstantopoulos, Jens Lehmann, Hajira Jabeen, Ivan Ermilov, Gezim Sejdiu, Andreas Ikonomopoulos, Spyros Andronopoulos, Mandy Vlachogiannis, Charalambos Pappas, Athanasios Davettas, Iraklis A. Klampanos, Efstathios Grigoropoulos, Vangelis Karkaletsis, Victor de Boer, Ronald Siebes, Mohamed Nadjib Mami, Sergio Albani, Michele Lazzarini, Paulo Nunes, Emanuele Angiuli, Nikiforos Pittaras, George Giannakopoulos, Giorgos Argyriou, George Stamoulis, George Papadakis, Manolis Koubarakis, Pythagoras Karampiperis, Axel-Cyrille Ngonga Ngomo, Maria-Esther Vidal
The BigDataEurope Platform - Supporting the Variety Dimension of Big Data. ICWE (2017)
Angelos Charalambidis, Panos Rondogiannis
Overview of an Abstract Fixed Point Theory for Non-Monotonic Functions and its Applications to Logic Programming. Acta Cybern. 23 (1) (2017)
Stasinos Konstantopoulos, Angelos Charalambidis, Antonis Troumpoukis, Giannis Mouchakis, Vangelis Karkaletsis
The Sevod Vocabulary for Dataset Descriptions for Federated Querying. PROFILES@ISWC (2017)
Antonis Troumpoukis, Stasinos Konstantopoulos, Angelos Charalambidis
An Extension of SPARQL for Expressing Qualitative Preferences. ISWC (1) (2017)
Antonis Troumpoukis, Stasinos Konstantopoulos, Angelos Charalambidis
An extension of SPARQL for expressing qualitative preferences. CoRR (2017)
Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou
Equivalence of two fixed-point semantics for definitional higher-order logic programs. Theor. Comput. Sci. 668 (2017)
Katerina Zamani, Angelos Charalambidis, Stasinos Konstantopoulos, Maria Dagioglou, Vangelis Karkaletsis
A Peer-to-Peer Protocol and System Architecture for Privacy-Preserving Statistical Analysis. CD-ARES (2016)
Stasinos Konstantopoulos, Angelos Charalambidis, Giannis Mouchakis, Antonis Troumpoukis, Jürgen Jakobitsch, Vangelis Karkaletsis
Semantic Web Technologies and Big Data Infrastructures: SPARQL Federated Querying of Heterogeneous Big Data Stores. ISWC (Posters & Demos) (2016)
Antonis Troumpoukis, Angelos Charalambidis, Giannis Mouchakis, Stasinos Konstantopoulos, Ronald Siebes, Victor de Boer, Stian Soiland-Reyes, Daniela Digles
Developing a Benchmark Suite for Semantic Web Data from Existing Workflows. BLINK@ISWC (2016)
Katerina Zamani, Angelos Charalambidis, Stasinos Konstantopoulos, Nickolas Zoulis, Effrosyni Mavroudi
Workload-Aware Self-tuning Histograms for the Semantic Web. Trans. Large Scale Data Knowl. Centered Syst. 28 (2016)
Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis
Higher-order logic programming: an expressive language for representing qualitative preferences. PPDP (2016)
Angelos Charalambidis, Stasinos Konstantopoulos, Vangelis Karkaletsis
Dataset Descriptions for Optimizing Federated Querying. WWW (Companion Volume) (2015)
Angelos Charalambidis, Antonis Troumpoukis, Stasinos Konstantopoulos
SemaGrow: optimizing federated SPARQL queries. SEMANTiCS (2015)
Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou
Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs. FICS (2015)
Nickolas Zoulis, Effrosyni Mavroudi, Anna Lykoura, Angelos Charalambidis, Stasinos Konstantopoulos
Workload-Aware Self-Tuning Histograms of String Data. DEXA (1) (2015)
Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation. Theory Pract. Log. Program. 14 (4-5) (2014)
Angelos Charalambidis, Nikolaos Papaspyrou, Panos Rondogiannis
Tagged Dataflow: a Formal Model for Iterative Map-Reduce. EDBT/ICDT Workshops (2014)
Angelos Charalambidis, Panos Rondogiannis
Constructive Negation in Extensional Higher-Order Logic Programming. KR (2014)
Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation. CoRR (2014)
Angelos Charalambidis, Konstantinos Handjopoulos, Panagiotis Rondogiannis, William W. Wadge
Extensional Higher-Order Logic Programming. ACM Trans. Comput. Log. 14 (3) (2013)
Angelos Charalambidis, Stasinos Konstantopoulos
A Refinement Operator for Inducing Threaded-Variable Clauses. ILP (2012)
Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge
Extensional Higher-Order Logic Programming CoRR (2011)
Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge
Extensional Higher-Order Logic Programming. JELIA (2010)
Stasinos Konstantopoulos, Angelos Charalambidis
Formulating description logic learning as an Inductive Logic Programming task. FUZZ-IEEE (2010)
Angelos Charalambidis, Athanasios Grivas, Nikolaos S. Papaspyrou, Panos Rondogiannis
Efficient Intensional Implementation for Lazy Functional Languages. Math. Comput. Sci. 2 (1) (2008)