Compiling Control as Offline Partial Deduction

Autor: Nys, Vincent, De Schreye, Danny

We present a new approach to a technique known as compiling control, whose aim is to compile away special mechanisms for non-standard atom selection in logic programs. It has previously been conjectured that compiling control could be implemented as

Externí odkaz: http://arxiv.org/abs/1808.05360

Towards a General Framework for Humor Generation from Rated Examples

Autor: Winters, Thomas, Nys, Vincent, De Schreye, Danny

Many computer systems are becoming increasingly tailored to their users, customizing and optimizing their experience. However, most conversational agents do not follow this trend when it comes to humorous interactions. Instead, they employ pre-writte

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1131::50eac3812aa84f74700c72f83080c156
https://lirias.kuleuven.be/handle/123456789/638971

Advances in analyzing coroutines by abstract conjunctive partial deduction

Autor: Nys, Vincent

The current work describes a technique for the analysis of coroutining in Logic Programs. This provides greater insight into the execution of Logic Programs and yields a transformation from programs with nonstandard execution rules to programs with t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1131::e5b85314ffa3cd97e5ab38c6d13be580
http://ceur-ws.org/Vol-1433/dc_7.pdf

Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction.

Autor: De Schreye, Danny, Nys, Vincent, Nicholson, Colin

Publikováno v: Logic-Based Program Synthesis & Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers; 2015, p21-38, 18p