Travelled to:
1 × France
1 × Italy
2 × USA
Collaborated with:
D.Vermeir D.V.Nieuwenborgh J.Janssen M.D.Cock
Talks about:
program (4) answer (2) order (2) fuzzi (2) set (2) proposit (1) multipl (1) theori (1) solver (1) prefer (1)
Person: Stijn Heymans
DBLP: Heymans:Stijn
Contributed to:
Wrote 4 papers:
- ICLP-2008-JanssenHVC #compilation #fuzzy #set #source code
- Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories (JJ, SH, DV, MDC), pp. 362–376.
- ICLP-2006-NieuwenborghHV #programming #set
- Cooperating Answer Set Programming (DVN, SH, DV), pp. 226–241.
- PADL-2005-NieuwenborghHV #logic programming #order
- An Ordered Logic Program Solver (DVN, SH, DV), pp. 128–142.
- ICLP-2004-NieuwenborghHV #multi #on the #order #source code
- On Programs with Linearly Ordered Multiple Preferences (DVN, SH, DV), pp. 180–194.