default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAngelos Charalambidis
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i10]Bart Bogaerts, Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Samuele Pollaci, Panos Rondogiannis:
The Stable Model Semantics for Higher-Order Logic Programming. CoRR abs/2408.10563 (2024)- 2023
- [c25]Angelos Charalambidis
, Panos Rondogiannis:
Categorical Approximation Fixpoint Theory. JELIA 2023: 515-530 - 2022
- [j11]Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis:
Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective. Theory Pract. Log. Program. 22(5): 708-722 (2022) - [i9]Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis:
Strong Equivalence of Logic Programs with Ordered Disjunction: a Logical Perspective. CoRR abs/2205.04882 (2022) - 2021
- [j10]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): 629-645 (2021) - [c24]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: 664-679 - [c23]Angelos Charalambidis, George Papadimitriou, Panos Rondogiannis, Antonis Troumpoukis:
A Many-valued Logic for Lexicographic Preference Representation. KR 2021: 646-650 - [i8]Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis:
A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction. CoRR abs/2108.03369 (2021) - 2020
- [c22]Angelos Charalambidis, Giannos Chatziagapis, Panos Rondogiannis:
A Fixed Point Theorem on Lexicographic Lattice Structures. LICS 2020: 301-311 - [c21]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: 325-330 - [i7]Angelos Charalambidis, Giorgos Papadimitriou, Panos Rondogiannis, Antonis Troumpoukis:
Lexicographic Logic: a Many-valued Logic for Preference Representation. CoRR abs/2012.10940 (2020)
2010 – 2019
- 2019
- [j9]Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis:
The Expressive Power of Higher-Order Datalog. Theory Pract. Log. Program. 19(5-6): 925-940 (2019) - [c20]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: 578-585 - [c19]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: 690-693 - [i6]Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis:
The Expressive Power of Higher-Order Datalog. CoRR abs/1907.09820 (2019) - 2018
- [j8]Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis:
Higher-order logic programming: An expressive language for representing qualitative preferences. Sci. Comput. Program. 155: 173-197 (2018) - [j7]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): 421-437 (2018) - [c18]Antonis Troumpoukis, Angelos Charalambidis:
Predicate Specialization for Definitional Higher-Order Logic Programs. LOPSTR 2018: 132-147 - [c17]Orestis Melkonian, Angelos Charalambidis:
RHEA: a reactive, heterogeneous, extensible, and abstract framework for dataflow programming. REBLS@SPLASH 2018: 11-20 - [i5]Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou:
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs. CoRR abs/1804.08335 (2018) - [i4]Antonis Troumpoukis, Angelos Charalambidis:
Predicate Specialization for Definitional Higher-order Logic Programs. CoRR abs/1808.04176 (2018) - 2017
- [j6]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): 319-326 (2017) - [j5]Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou:
Equivalence of two fixed-point semantics for definitional higher-order logic programs. Theor. Comput. Sci. 668: 27-42 (2017) - [c16]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: 41-59 - [c15]Stasinos Konstantopoulos, Angelos Charalambidis, Antonis Troumpoukis, Giannis Mouchakis, Vangelis Karkaletsis:
The Sevod Vocabulary for Dataset Descriptions for Federated Querying. PROFILES@ISWC 2017 - [c14]Antonis Troumpoukis, Stasinos Konstantopoulos, Angelos Charalambidis:
An Extension of SPARQL for Expressing Qualitative Preferences. ISWC (1) 2017: 711-727 - [i3]Antonis Troumpoukis, Stasinos Konstantopoulos, Angelos Charalambidis:
An extension of SPARQL for expressing qualitative preferences. CoRR abs/1707.06406 (2017) - 2016
- [j4]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: 133-156 (2016) - [c13]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: 236-250 - [c12]Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis:
Higher-order logic programming: an expressive language for representing qualitative preferences. PPDP 2016: 24-37 - [c11]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 - [c10]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 - 2015
- [c9]Nickolas Zoulis, Effrosyni Mavroudi, Anna Lykoura, Angelos Charalambidis, Stasinos Konstantopoulos:
Workload-Aware Self-Tuning Histograms of String Data. DEXA (1) 2015: 285-299 - [c8]Angelos Charalambidis, Antonis Troumpoukis, Stasinos Konstantopoulos:
SemaGrow: optimizing federated SPARQL queries. SEMANTiCS 2015: 121-128 - [c7]Angelos Charalambidis, Stasinos Konstantopoulos, Vangelis Karkaletsis:
Dataset Descriptions for Optimizing Federated Querying. WWW (Companion Volume) 2015: 17-18 - [c6]Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou:
Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs. FICS 2015: 18-32 - 2014
- [b1]Angelos Charalambidis:
Prοοf procedure for extensional higher-order logic programming. National and Kapodistrian University of Athens, Greece, 2014 - [j3]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): 725-737 (2014) - [c5]Angelos Charalambidis, Nikolaos Papaspyrou, Panos Rondogiannis:
Tagged Dataflow: a Formal Model for Iterative Map-Reduce. EDBT/ICDT Workshops 2014: 29-36 - [c4]Angelos Charalambidis, Panos Rondogiannis:
Constructive Negation in Extensional Higher-Order Logic Programming. KR 2014 - [i2]Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis:
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation. CoRR abs/1405.3792 (2014) - 2013
- [j2]Angelos Charalambidis, Konstantinos Handjopoulos, Panagiotis Rondogiannis, William W. Wadge:
Extensional Higher-Order Logic Programming. ACM Trans. Comput. Log. 14(3): 21:1-21:40 (2013) - 2012
- [c3]Angelos Charalambidis, Stasinos Konstantopoulos:
A Refinement Operator for Inducing Threaded-Variable Clauses. ILP 2012: 16-31 - 2011
- [i1]Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge:
Extensional Higher-Order Logic Programming. CoRR abs/1106.3457 (2011) - 2010
- [c2]Stasinos Konstantopoulos, Angelos Charalambidis:
Formulating description logic learning as an Inductive Logic Programming task. FUZZ-IEEE 2010: 1-7 - [c1]Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge:
Extensional Higher-Order Logic Programming. JELIA 2010: 91-103
2000 – 2009
- 2008
- [j1]Angelos Charalambidis, Athanasios Grivas, Nikolaos S. Papaspyrou, Panos Rondogiannis:
Efficient Intensional Implementation for Lazy Functional Languages. Math. Comput. Sci. 2(1): 123-141 (2008)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
