Angelos Charalambidis

55 papers A* 4B 7C 3Misc 1Journal 26Unranked 13
YearRankTypeTitle / Venue / Authors
2025 J jnl
Dealing with Inconsistency for Reasoning over Knowledge Graphs: A Survey.
CoRR
Anastasios Nentidis, Charilaos Akasiadis, Angelos Charalambidis, Alexander Artikis
2025 C conf
Implementing a Many-Valued Semantics for Logic Programs with Ordered Disjunction Using ASP.
LOPSTR
Angelos Charalambidis, Georgios Nikolaou, Antonis Troumpoukis
2025 J jnl
The Power of Negation in Higher-Order Datalog.
CoRR
Angelos Charalambidis, Babis Kostopoulos, Christos Nomikos, Panos Rondogiannis
2025 J jnl
The Power of Negation in Higher-Order Datalog.
Theory Pract. Log. Program.
Angelos Charalambidis, Babis Kostopoulos, Christos Nomikos, Panos Rondogiannis
2024 — conf
Detecting and Fixing Inconsistency of Large Knowledge Graphs.
SETN
Charilaos Akasiadis, Anastasios Nentidis, Angelos Charalambidis, Alexander Artikis
2024 A* conf
Non-monotone Fixpoint Theory Based on the Structure of Weak Bilattices.
KR
Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Panos Rondogiannis
2024 J jnl
Recursive Function Definitions in Static Dataflow Graphs and their Implementation in TensorFlow.
CoRR
Kelly Kostopoulou, Angelos Charalambidis, Panos Rondogiannis
2024 J jnl
The Stable Model Semantics for Higher-Order Logic Programming.
CoRR
Bart Bogaerts, Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Samuele Pollaci, Panos Rondogiannis
2024 J jnl
The Stable Model Semantics for Higher-Order Logic Programming.
Theory Pract. Log. Program.
Bart Bogaerts, Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Samuele Pollaci, Panos Rondogiannis
2023 B conf
Categorical Approximation Fixpoint Theory.
JELIA
Angelos Charalambidis, Panos Rondogiannis
2022 J jnl
Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective.
Theory Pract. Log. Program.
Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis
2022 J jnl
Strong Equivalence of Logic Programs with Ordered Disjunction: a Logical Perspective.
CoRR
Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis
2021 J jnl
A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction.
CoRR
Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis
2021 J jnl
A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction.
Theory Pract. Log. Program.
Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis
2021 A* conf
A Many-valued Logic for Lexicographic Preference Representation.
KR
Angelos Charalambidis, George Papadimitriou, Panos Rondogiannis, Antonis Troumpoukis
2021 B conf
KOBE: Cloud-Native Open Benchmarking Engine for Federated Query Processors.
ESWC
Charalampos Kostopoulos, Giannis Mouchakis, Antonis Troumpoukis, Nefeli Prokopaki-Kostopoulou, Angelos Charalambidis, Stasinos Konstantopoulos
2020 A* conf
A Fixed Point Theorem on Lexicographic Lattice Structures.
LICS
Angelos Charalambidis, Giannos Chatziagapis, Panos Rondogiannis
2020 — conf
KOBE: Cloud-native Open Benchmarking Engine for Federated Query Processors.
ISWC (Demos/Industry)
Charalampos Kostopoulos, Giannis Mouchakis, Nefeli Prokopaki-Kostopoulou, Antonis Troumpoukis, Angelos Charalambidis, Stasinos Konstantopoulos
2020 J jnl
Lexicographic Logic: a Many-valued Logic for Preference Representation.
CoRR
Angelos Charalambidis, Giorgos Papadimitriou, Panos Rondogiannis, Antonis Troumpoukis
2019 — conf
DARE: A Reflective Platform Designed to Enable Agile Data-Driven Research on the Cloud.
eScience
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
2019 B conf
From Copernicus Big Data to Extreme Earth Analytics.
EDBT
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
2019 J jnl
The Expressive Power of Higher-Order Datalog.
CoRR
Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis
2019 J jnl
The Expressive Power of Higher-Order Datalog.
Theory Pract. Log. Program.
Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis
2018 J jnl
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs.
CoRR
Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou
2018 J jnl
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs.
Theory Pract. Log. Program.
Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou
2018 J jnl
Higher-order logic programming: An expressive language for representing qualitative preferences.
Sci. Comput. Program.
Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis
2018 C conf
Predicate Specialization for Definitional Higher-Order Logic Programs.
LOPSTR
Antonis Troumpoukis, Angelos Charalambidis
2018 J jnl
Predicate Specialization for Definitional Higher-order Logic Programs.
CoRR
Antonis Troumpoukis, Angelos Charalambidis
2018 — conf
RHEA: a reactive, heterogeneous, extensible, and abstract framework for dataflow programming.
REBLS@SPLASH
Orestis Melkonian, Angelos Charalambidis
2017 — conf
An Extension of SPARQL for Expressing Qualitative Preferences.
ISWC (1)
Antonis Troumpoukis, Stasinos Konstantopoulos, Angelos Charalambidis
2017 J jnl
An extension of SPARQL for expressing qualitative preferences.
CoRR
Antonis Troumpoukis, Stasinos Konstantopoulos, Angelos Charalambidis
2017 J jnl
Equivalence of two fixed-point semantics for definitional higher-order logic programs.
Theor. Comput. Sci.
Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou
2017 J jnl
Overview of an Abstract Fixed Point Theory for Non-Monotonic Functions and its Applications to Logic Programming.
Acta Cybern.
Angelos Charalambidis, Panos Rondogiannis
2017 B conf
The BigDataEurope Platform - Supporting the Variety Dimension of Big Data.
ICWE
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
2017 — conf
The Sevod Vocabulary for Dataset Descriptions for Federated Querying.
PROFILES@ISWC
Stasinos Konstantopoulos, Angelos Charalambidis, Antonis Troumpoukis, Giannis Mouchakis, Vangelis Karkaletsis
2016 — conf
A Peer-to-Peer Protocol and System Architecture for Privacy-Preserving Statistical Analysis.
CD-ARES
Katerina Zamani, Angelos Charalambidis, Stasinos Konstantopoulos, Maria Dagioglou, Vangelis Karkaletsis
2016 — conf
Developing a Benchmark Suite for Semantic Web Data from Existing Workflows.
BLINK@ISWC
Antonis Troumpoukis, Angelos Charalambidis, Giannis Mouchakis, Stasinos Konstantopoulos, Ronald Siebes, Victor de Boer, Stian Soiland-Reyes, Daniela Digles
2016 C conf
Higher-order logic programming: an expressive language for representing qualitative preferences.
PPDP
Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis
2016 — conf
Semantic Web Technologies and Big Data Infrastructures: SPARQL Federated Querying of Heterogeneous Big Data Stores.
ISWC (Posters & Demos)
Stasinos Konstantopoulos, Angelos Charalambidis, Giannis Mouchakis, Antonis Troumpoukis, Jürgen Jakobitsch, Vangelis Karkaletsis
2016 J jnl
Workload-Aware Self-tuning Histograms for the Semantic Web.
Trans. Large Scale Data Knowl. Centered Syst.
Katerina Zamani, Angelos Charalambidis, Stasinos Konstantopoulos, Nickolas Zoulis, Effrosyni Mavroudi
2015 — conf
Dataset Descriptions for Optimizing Federated Querying.
WWW (Companion Volume)
Angelos Charalambidis, Stasinos Konstantopoulos, Vangelis Karkaletsis
2015 — conf
Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs.
FICS
Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou
2015 Misc conf
SemaGrow: optimizing federated SPARQL queries.
SEMANTiCS
Angelos Charalambidis, Antonis Troumpoukis, Stasinos Konstantopoulos
2015 — conf
Workload-Aware Self-Tuning Histograms of String Data.
DEXA (1)
Nickolas Zoulis, Effrosyni Mavroudi, Anna Lykoura, Angelos Charalambidis, Stasinos Konstantopoulos
2014 A* conf
Constructive Negation in Extensional Higher-Order Logic Programming.
KR
Angelos Charalambidis, Panos Rondogiannis
2014 J jnl
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation.
CoRR
Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis
2014 J jnl
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation.
Theory Pract. Log. Program.
Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis
2014 — —
Prοοf procedure for extensional higher-order logic programming
Angelos Charalambidis
2014 — conf
Tagged Dataflow: a Formal Model for Iterative Map-Reduce.
EDBT/ICDT Workshops
Angelos Charalambidis, Nikolaos Papaspyrou, Panos Rondogiannis
2013 J jnl
Extensional Higher-Order Logic Programming.
ACM Trans. Comput. Log.
Angelos Charalambidis, Konstantinos Handjopoulos, Panagiotis Rondogiannis, William W. Wadge
2012 B conf
A Refinement Operator for Inducing Threaded-Variable Clauses.
ILP
Angelos Charalambidis, Stasinos Konstantopoulos
2011 J jnl
Extensional Higher-Order Logic Programming
CoRR
Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge
2010 B conf
Extensional Higher-Order Logic Programming.
JELIA
Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge
2010 B conf
Formulating description logic learning as an Inductive Logic Programming task.
FUZZ-IEEE
Stasinos Konstantopoulos, Angelos Charalambidis
2008 J jnl
Efficient Intensional Implementation for Lazy Functional Languages.
Math. Comput. Sci.
Angelos Charalambidis, Athanasios Grivas, Nikolaos S. Papaspyrou, Panos Rondogiannis