Danny De Schreye

KU Leuven — Belgium

Computer Science · Physical Sciences

23h-index2.3kcitations210works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(121), Logic, Reasoning, and Knowledge(99), Formal Methods in Verification(96), Semantic Web and Ontologies(29), Constraint Satisfaction and Optimization(15)

Publications210 total

Towards a General Framework for Humor Generation from Rated Examples
Lirias (KU Leuven)·2019· 10 citedOpen Access
Compiling Control as Offline Partial Deduction
Lecture notes in computer science·2019Open Access
Automatic Joke Generation: Learning Humor from Examples
Lecture notes in computer science·2018· 20 cited
Abstract conjunctive partial deduction for the analysis and compilation of coroutines
Formal Aspects of Computing·2016· 2 citedOpen Access
Innovation Lab @ KU Leuven: Education, Engineering and Artificial Intelligence
Research Publications (Maastricht University)·2015Open Access
Automatic music teaching: A logic-probabilistic etude generator
Lirias (KU Leuven)·2015Open Access
Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction
Lecture notes in computer science·2015· 4 citedOpen Access
Probabilistic legal reasoning in CHRiSM
Theory and Practice of Logic Programming·2013· 6 citedOpen Access
CHRiSM and Probabilistic Argumentation Logic
2013· 1 cited
Session details: PPDP and LOPSTR invited talk
2012
Proceedings of the 14th symposium on Principles and practice of declarative programming
2012· 1 cited
Relevancy analysis as a basis for improved tabling in CHRiSM
Logic-based Program Synthesis and Transformation·2012
Improved Termination Analysis of CHR Using Self-sustainability Analysis
Lecture notes in computer science·2012· 4 citedOpen Access
Probabilistic Termination of CHRiSM Programs
Lecture notes in computer science·2012· 5 citedOpen Access
TLP volume 11 issue 6 Cover and Front matter
Theory and Practice of Logic Programming·2011Open Access
TLP volume 11 issue 4 Cover and Front matter
Theory and Practice of Logic Programming·2011Open Access
TLP volume 11 issue 2-3 Cover and Front matter
Theory and Practice of Logic Programming·2011Open Access
TLP volume 11 issue 1 Cover and Front matter
Theory and Practice of Logic Programming·2011Open Access
Non-termination Analysis of Logic Programs Using Types
Lecture notes in computer science·2011· 5 citedOpen Access
Improving the Outcome of a Probabilistic Logic Music System Generator by Using Perlin Noise
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2011· 1 citedOpen Access
page 1 of 11Next →

Frequent Co-authors

Marc Denecker(10), Bern Martens(9), Michaël Leuschel(8), Maurice Bruynooghe(8), Kristof Verschaetse(6), Stefaan Decorte(5), Manh Thang Nguyen(4), Kristof Van Belleghem(4), Alexander Serebrenik(3), Jürgen Giesl(2), Peter Schneider–Kamp(2), Sofie Verbaeten(2), Konstantinos Sagonas(2), Paolo Pilozzi(2), Robert Glück(1), Jesper Jørgensen(1), Morten Heine Sørensen(1), Bruno Krekels(1), D. Andre de Waal(1), Henk Vandecasteele(1)