Login / Signup
Vincent Nys
ORCID
Publication Activity (10 Years)
Years Active: 2014-2019
Publications (10 Years): 7
Top Topics
Semantics Of Logic Programs
Logic Programs
Fixpoint Semantics
Partial Deduction
Top Venues
LOPSTR
CoRR
Formal Aspects Comput.
VPT@ETAPS
</>
Publications
</>
Thomas Winters
,
Vincent Nys
,
Danny De Schreye
Towards a General Framework for Humor Generation from Rated Examples.
ICCC
(2019)
Thomas Winters
,
Vincent Nys
,
Danny De Schreye
Automatic Joke Generation: Learning Humor from Examples.
HCI (22)
(2018)
Vincent Nys
,
Danny De Schreye
Compiling Control as Offline Partial Deduction.
LOPSTR
(2018)
Vincent Nys
,
Danny De Schreye
Compiling Control as Offline Partial Deduction.
CoRR
(2018)
Vincent Nys
,
Danny De Schreye
Transforming Coroutining Logic Programs into Equivalent CHR Programs.
VPT@ETAPS
(2017)
Vincent Nys
,
Danny De Schreye
Abstract conjunctive partial deduction for the analysis and compilation of coroutines.
Formal Aspects Comput.
29 (1) (2017)
Vincent Nys
Advances in Analyzing Coroutines by Abstract Conjunctive Partial Deduction.
ICLP (Technical Communications)
(2015)
Danny De Schreye
,
Vincent Nys
,
Colin J. Nicholson
Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction.
LOPSTR
(2014)