BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
Collaborated with:
P.Rondogiannis Z.Ésik A.Troumpoukis
Talks about:
program (3) higher (3) order (3) logic (3) extension (2) negat (2) construct (1) minimum (1) languag (1) express (1)

Person: Angelos Charalambidis

DBLP DBLP: Charalambidis:Angelos

Contributed to:

ICLP 20142014
KR 20142014
PPDP 20162016

Wrote 3 papers:

ICLP-J-2014-CharalambidisER #higher-order #logic programming #semantics
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation (AC, , PR), pp. 725–737.
KR-2014-CharalambidisR #higher-order #logic programming
Constructive Negation in Extensional Higher-Order Logic Programming (AC, PR).
PPDP-2016-CharalambidisRT #higher-order #logic programming #representation
Higher-order logic programming: an expressive language for representing qualitative preferences (AC, PR, AT), pp. 24–37.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.