Angelos Charalambidis | DeepAI

AI Chat

Featured Co-authors

Panos Rondogiannis
7 publications
Antonis Troumpoukis
5 publications
Christos Nomikos
3 publications
Ioanna Symeonidou
2 publications
Stasinos Konstantopoulos
2 publications
Zoltán Ésik
1 publication
Giorgos Papadimitriou
1 publication

∙ 05/10/2022

Strong Equivalence of Logic Programs with Ordered Disjunction: a Logical Perspective

Logic Programs with Ordered Disjunction (LPODs) extend classical logic p...

0 Angelos Charalambidis, et al. ∙

∙ 08/07/2021

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

Logic Programs with Ordered Disjunction (LPODs) extend classical logic p...

0 Angelos Charalambidis, et al. ∙

∙ 12/20/2020

Lexicographic Logic: a Many-valued Logic for Preference Representation

Logical formalisms provide a natural and concise means for specifying an...

0 Angelos Charalambidis, et al. ∙

∙ 07/23/2019

The Expressive Power of Higher-Order Datalog

A classical result in descriptive complexity theory states that Datalog ...

0 Angelos Charalambidis, et al. ∙

∙ 08/13/2018

Predicate Specialization for Definitional Higher-order Logic Programs

Higher-order logic programming is an interesting extension of traditiona...

0 Antonis Troumpoukis, et al. ∙

∙ 04/23/2018

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

We define a novel, extensional, three-valued semantics for higher-order ...

0 Angelos Charalambidis, et al. ∙

∙ 07/20/2017

An extension of SPARQL for expressing qualitative preferences

In this paper we present SPREFQL, an extension of the SPARQL language th...

0 Antonis Troumpoukis, et al. ∙

∙ 05/15/2014

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

Extensional higher-order logic programming has been introduced as a gene...

0 Angelos Charalambidis, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world