Angelos Charalambidis

According to our database, Angelos Charalambidis authored at least 34 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Categorical Approximation Fixpoint Theory.

Angelos Charalambidis, Panos Rondogiannis

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

2022

Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective.

Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis

Theory Pract. Log. Program., 2022

2021

A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction.

Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis

Theory Pract. Log. Program., 2021

A Many-valued Logic for Lexicographic Preference Representation.

Angelos Charalambidis, George Papadimitriou, Panos Rondogiannis, Antonis Troumpoukis

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

2020

Lexicographic Logic: a Many-valued Logic for Preference Representation.

Angelos Charalambidis, Giorgos Papadimitriou, Panos Rondogiannis, Antonis Troumpoukis

CoRR, 2020

KOBE: Cloud-native Open Benchmarking Engine for Federated Query Processors.

Charalampos Kostopoulos, Giannis Mouchakis, Nefeli Prokopaki-Kostopoulou, Antonis Troumpoukis, Angelos Charalambidis, Stasinos Konstantopoulos

Proceedings of the ISWC 2020 Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 19th International Semantic Web Conference (ISWC 2020), 2020

A Fixed Point Theorem on Lexicographic Lattice Structures.

Angelos Charalambidis, Giannos Chatziagapis, Panos Rondogiannis

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019

The Expressive Power of Higher-Order Datalog.

Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis

Theory Pract. Log. Program., 2019

From Copernicus Big Data to Extreme Earth Analytics.

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

Proceedings of the Advances in Database Technology, 2019

DARE: A Reflective Platform Designed to Enable Agile Data-Driven Research on the Cloud.

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

Proceedings of the 15th International Conference on eScience, 2019

2018

Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs.

Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou

Theory Pract. Log. Program., 2018

Higher-order logic programming: An expressive language for representing qualitative preferences.

Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis

Sci. Comput. Program., 2018

RHEA: a reactive, heterogeneous, extensible, and abstract framework for dataflow programming.

Orestis Melkonian, Angelos Charalambidis

Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2018

Predicate Specialization for Definitional Higher-Order Logic Programs.

Antonis Troumpoukis, Angelos Charalambidis

Proceedings of the Logic-Based Program Synthesis and Transformation, 2018

2017

Equivalence of two fixed-point semantics for definitional higher-order logic programs.

Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou

Theor. Comput. Sci., 2017

Overview of an Abstract Fixed Point Theory for Non-Monotonic Functions and its Applications to Logic Programming.

Angelos Charalambidis, Panos Rondogiannis

Acta Cybern., 2017

An Extension of SPARQL for Expressing Qualitative Preferences.

Antonis Troumpoukis, Stasinos Konstantopoulos, Angelos Charalambidis

Proceedings of the Semantic Web - ISWC 2017, 2017

The Sevod Vocabulary for Dataset Descriptions for Federated Querying.

Stasinos Konstantopoulos, Angelos Charalambidis, Antonis Troumpoukis, Giannis Mouchakis, Vangelis Karkaletsis

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), 2017

The BigDataEurope Platform - Supporting the Variety Dimension of Big Data.

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

Proceedings of the Web Engineering - 17th International Conference, 2017

2016

Workload-Aware Self-tuning Histograms for the Semantic Web.

Katerina Zamani, Angelos Charalambidis, Stasinos Konstantopoulos, Nickolas Zoulis, Effrosyni Mavroudi

Trans. Large Scale Data Knowl. Centered Syst., 2016

Developing a Benchmark Suite for Semantic Web Data from Existing Workflows.

Antonis Troumpoukis, Angelos Charalambidis, Giannis Mouchakis, Stasinos Konstantopoulos, Ronald Siebes, Victor de Boer, Stian Soiland-Reyes, Daniela Digles

Proceedings of the Workshop on Benchmarking Linked Data (BLINK 2016) co-located with the 15th International Semantic Web Conference (ISWC), 2016

Semantic Web Technologies and Big Data Infrastructures: SPARQL Federated Querying of Heterogeneous Big Data Stores.

Stasinos Konstantopoulos, Angelos Charalambidis, Giannis Mouchakis, Antonis Troumpoukis, Jürgen Jakobitsch, Vangelis Karkaletsis

Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016

A Peer-to-Peer Protocol and System Architecture for Privacy-Preserving Statistical Analysis.

Katerina Zamani, Angelos Charalambidis, Stasinos Konstantopoulos, Maria Dagioglou, Vangelis Karkaletsis

Proceedings of the Availability, Reliability, and Security in Information Systems, 2016

2015

Dataset Descriptions for Optimizing Federated Querying.

Angelos Charalambidis, Stasinos Konstantopoulos, Vangelis Karkaletsis

Proceedings of the 24th International Conference on World Wide Web Companion, 2015

SemaGrow: optimizing federated SPARQL queries.

Angelos Charalambidis, Antonis Troumpoukis, Stasinos Konstantopoulos

Proceedings of the 11th International Conference on Semantic Systems, 2015

Workload-Aware Self-Tuning Histograms of String Data.

Nickolas Zoulis, Effrosyni Mavroudi, Anna Lykoura, Angelos Charalambidis, Stasinos Konstantopoulos

Proceedings of the Database and Expert Systems Applications, 2015

2014

Prοοf procedure for extensional higher-order logic programming

Angelos Charalambidis

PhD thesis, 2014

Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation.

Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis

Theory Pract. Log. Program., 2014

Constructive Negation in Extensional Higher-Order Logic Programming.

Angelos Charalambidis, Panos Rondogiannis

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Tagged Dataflow: a Formal Model for Iterative Map-Reduce.

Angelos Charalambidis, Nikolaos Papaspyrou, Panos Rondogiannis

Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

2013

Extensional Higher-Order Logic Programming.

Angelos Charalambidis, Konstantinos Handjopoulos, Panagiotis Rondogiannis, William W. Wadge

ACM Trans. Comput. Log., 2013

2012

A Refinement Operator for Inducing Threaded-Variable Clauses.

Angelos Charalambidis, Stasinos Konstantopoulos

Proceedings of the Inductive Logic Programming - 22nd International Conference, 2012

2010

Formulating description logic learning as an Inductive Logic Programming task.

Stasinos Konstantopoulos, Angelos Charalambidis

Proceedings of the FUZZ-IEEE 2010, 2010

2008

Efficient Intensional Implementation for Lazy Functional Languages.

Angelos Charalambidis, Athanasios Grivas, Nikolaos S. Papaspyrou, Panos Rondogiannis

Math. Comput. Sci., 2008