`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: Charalambidis:Angelos

### Contributed to:

### Wrote 3 papers:

- ICLP-J-2014-CharalambidisER #higher-order #logic programming #semantics
- Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation (AC, ZÉ, 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.