Angelos Charalambidis

Publications

153

Citations

H-Index

2010

Active since

Affiliations

National and Kapodistrian University of Athens(Current)

Angelos Charalambidis is an author at National and Kapodistrian University of Athens specializing in engineering, computer science, and automated reasoning.

ORCID

Top concepts

EngineeringComputer ScienceLogic ProgrammingAutomated ReasoningSemanticsData ScienceFormal MethodsBig DataLanguageManagement

Publications per year

2010–2018

Publications

SemaGrow

Angelos Charalambidis, Antonis Troumpoukis, Stasinos Konstantopoulos · 2015 · 64 citations

Engineering, Efficient Query Plan, Semantic Web +17

Formulating description logic learning as an Inductive Logic Programming task

Stasinos Konstantopoulos, Angelos Charalambidis · 2010 · 29 citations

Natural Language Processing, Artificial Intelligence, Many-valued Dl Proofs +15

Extensional Higher-Order Logic Programming

Angelos Charalambidis, Konstantinos Handjopoulos, Panagiotis Rondogiannis et al. · ACM Transactions on Computational Logic · 2013 · 27 citations · Full text

Applied Logic, Engineering, Automated Reasoning +9

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

Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis · Theory and Practice of Logic Programming · 2014 · 21 citations · Full text

Computational Logic, Non-classical Logic, Classical Logic Programming +13

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

Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou · Theory and Practice of Logic Programming · 2018 · 12 citations · Full text

Rows per page

1–5 of 5