`Travelled to:`

1 × Cyprus

1 × Spain

`Collaborated with:`

M.Bruynooghe E.Ternovska M.Denecker

`Talks about:`

program (2) logic (2) constraint (1) proposit (1) function (1) satisfi (1) definit (1) semant (1) induct (1) extend (1)

## Person: Nikolay Pelov

### DBLP: Pelov:Nikolay

### Contributed to:

### Wrote 3 papers:

- ICLP-2005-PelovT #induction #satisfiability
- Reducing Inductive Definitions to Propositional Satisfiability (NP, ET), pp. 221–234.
- ICLP-2001-DeneckerPB #logic programming #semantics #source code
- Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates (MD, NP, MB), pp. 212–226.
- PPDP-2000-PelovB #constraints #logic programming
- Extending constraint logic programming with open functions (NP, MB), pp. 235–244.