Bart Demoen

Publication Activity (10 Years)

Years Active: 1987-2018
Publications (10 Years): 3

Top Venues

Theory Pract. Log. Program.

Constraints An Int. J.

WiPSCE

PPDP

Publications

Zimcke Van de Staey, Tobias Verlinde, Bart Demoen, Bern Martens
Co-de: an online learning platform for computational thinking. WiPSCE (2018)
Bern Martens, Bart Demoen, Febe Karpez, Dorien Vandenhove, Kristien Van Loon
Bringing Algorithms to Flemish Classrooms: Teaching the Teachers, and some Students. WiPSCE (2017)
Bart Demoen, Phuong-Lan Nguyen
Graphs with coloring redundant edges. Electron. J. Graph Theory Appl. 4 (2) (2016)
Willem Van Onsem, Bart Demoen, Patrick De Causmaecker
Learning a Hidden Markov Model-Based Hyper-heuristic. LION (2015)
Christopher Mears, Maria Garcia de la Banda, Mark Wallace, Bart Demoen
A method for detecting symmetries in constraint models and its generalisation. Constraints An Int. J. 20 (2) (2015)
Tom Decroos, Patrick De Causmaecker, Bart Demoen
Solving Euclidean Steiner Tree Problems with Multi Swarm Optimization. GECCO (Companion) (2015)
Christopher Mears, Maria Garcia de la Banda, Bart Demoen, Mark Wallace
Lightweight dynamic symmetry breaking. Constraints An Int. J. 19 (3) (2014)
Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen
Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation. PPDP (2014)
Bart Demoen, Maria Garcia de la Banda
Redundant Sudoku rules. Theory Pract. Log. Program. 14 (3) (2014)
Tom Schrijvers, Bart Demoen, Markus Triska, Benoit Desouter
Tor: Modular search with hookable disjunction. Sci. Comput. Program. 84 (2014)
Bart Demoen, Maria Garcia de la Banda
Redundant disequalities in the Latin Square problem. Constraints An Int. J. 18 (4) (2013)
Phuong-Lan Nguyen, Bart Demoen
Representation sharing for Prolog. Theory Pract. Log. Program. 13 (1) (2013)
Tom Schrijvers, Bart Demoen, Benoit Desouter, Jan Wielemaker
Delimited continuations for prolog. Theory Pract. Log. Program. 13 (4-5) (2013)
Bart Demoen, Maria Garcia de la Banda
Redundant Sudoku Rules CoRR (2012)
Tom Schrijvers, Markus Triska, Bart Demoen
Tor: extensible search with hookable disjunction. PPDP (2012)
Bart Demoen, Maria Garcia de la Banda
Introduction to the special issue on Prolog systems. Theory Pract. Log. Program. 12 (1-2) (2012)
Timon Van Overveldt, Bart Demoen
High-Level Multi-Threading in hProlog CoRR (2011)
Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha
On the implementation of the probabilistic logic programming language ProbLog. Theory Pract. Log. Program. 11 (2-3) (2011)
Hendrik Blockeel, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele
Improving the Efficiency of Inductive Logic Programming Through the Use of Query Packs CoRR (2011)
Phuong-Lan Nguyen, Bart Demoen
Representation Sharing for Prolog CoRR (2011)
Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha
On the Implementation of the Probabilistic Logic Programming Language ProbLog CoRR (2010)
Jon Sneyers, Tom Schrijvers, Bart Demoen
The computational power and complexity of constraint handling rules. ACM Trans. Program. Lang. Syst. 31 (2) (2009)
Christopher Mears, Maria J. García de la Banda, Mark Wallace, Bart Demoen
A Novel Approach For Detecting Symmetries in CSP Models. CPAIOR (2008)
Bart Demoen
Patrick Blackburn, Johan Bos, Kristina Striegnitz: College Publications, 2006 Paperback, ISBN 1-904987-17-6, xiv + 265 pages. Theory Pract. Log. Program. 8 (2) (2008)
Angelika Kimmig, Vítor Santos Costa, Ricardo Rocha, Bart Demoen, Luc De Raedt
On the Efficient Execution of ProbLog Programs. ICLP (2008)
Bart Demoen, Phuong-Lan Nguyen
Environment Reuse in the WAM. ICLP (2008)
Tom Schrijvers, Bart Demoen
Uniting the Prolog Community. ICLP (2008)
Tom Schrijvers, Vítor Santos Costa, Jan Wielemaker, Bart Demoen
Towards Typed Prolog. ICLP (2008)
Tom Schrijvers, Bart Demoen, David Scott Warren
TCHR: a framework for tabled CLP. Theory Pract. Log. Program. 8 (4) (2008)
Bart Demoen, Phuong-Lan Nguyen
Two WAM Implementations of Action Rules. ICLP (2008)
Alexander Serebrenik, Tom Schrijvers, Bart Demoen
Improving Prolog programs: Refactoring for Prolog. Theory Pract. Log. Program. 8 (2) (2008)
Leslie De Koninck, Tom Schrijvers, Bart Demoen
The Correspondence Between the Logical Algorithms Language and CHR. ICLP (2007)
Ruben Vandeginste, Bart Demoen
Incremental copying garbage collection for WAM-based Prolog systems. Theory Pract. Log. Program. 7 (5) (2007)
Remko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele
Fast Frequent Querying with Lazy Control Flow Compilation. Theory Pract. Log. Program. 7 (4) (2007)
Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen
Aggregates in Constraint Handling Rules. ICLP (2007)
Peter Van Weert, Jon Sneyers, Bart Demoen
Aggregates for CHR through Program Transformation. LOPSTR (2007)
Alexander Serebrenik, Tom Schrijvers, Bart Demoen
Improving Prolog programs: Refactoring for Prolog CoRR (2007)
Tom Schrijvers, Bart Demoen, David Scott Warren
TCHR: a framework for tabled CLP CoRR (2007)
Leslie De Koninck, Tom Schrijvers, Bart Demoen
User-definable rule priorities for CHR. PPDP (2007)
Remko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele
Fast Frequent Querying with Lazy Control Flow Compilation CoRR (2006)
Jon Sneyers, Tom Schrijvers, Bart Demoen
Memory Reuse for CHR. ICLP (2006)
Jon Sneyers, Tom Schrijvers, Bart Demoen
Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. WLP (2006)
Leslie De Koninck, Tom Schrijvers, Bart Demoen
INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals. WLP (2006)
Ruben Vandeginste, Bart Demoen
Incremental copying garbage collection for WAM-based Prolog systems CoRR (2006)
Tom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey
Improving PARMA trailing. Theory Pract. Log. Program. 6 (6) (2006)
Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth
Automatic Implication Checking for CHR Constraints. Electron. Notes Theor. Comput. Sci. 147 (1) (2006)
Tom Schrijvers, Maria J. García de la Banda, Bart Demoen, Peter J. Stuckey
Improving PARMA Trailing CoRR (2005)
Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen
Checking modes of HAL programs. Theory Pract. Log. Program. 5 (6) (2005)
Jon Sneyers, Tom Schrijvers, Bart Demoen
Guard Simplification in CHR programs. W(C)LP (2005)
Jon Sneyers, Tom Schrijvers, Bart Demoen
Guard and Continuation Optimization for Occurrence Representations of CHR. ICLP (2005)
Bart Demoen
Book review: Programming in Prolog. Using the ISO Standard by William F. Clocksin , Christopher S. Mellish, Springer-Verlag, 2003, ISBN 3-540-00678-8. Theory Pract. Log. Program. 5 (3) (2005)
Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen
Checking modes of HAL programs CoRR (2004)
Edgar G. Daylight, Bart Demoen, Francky Catthoor
Formally Specifying Dynamic Data Structures for Embedded Software Design: an Initial Approach. Electron. Notes Theor. Comput. Sci. 108 (2004)
Vítor Santos Costa, Ashwin Srinivasan, Rui Camacho, Hendrik Blockeel, Bart Demoen, Gerda Janssens, Jan Struyf, Henk Vandecasteele, Wim Van Laer
Query Transformations for Improving the Efficiency of ILP Systems. J. Mach. Learn. Res. 4 (2003)
Alexander Serebrenik, Bart Demoen
Refactoring Logic Programs: Extended Abstract. ICLP (2003)
Tom Schrijvers, Bart Demoen
Combining an improvement to PARMA trailing with trailing analysis. PPDP (2002)
Bart Demoen, Phuong-Lan Nguyen, Ruben Vandeginste
Copying Garbage Collection for the WAM: To Mark or Not to Mark? ICLP (2002)
Hendrik Blockeel, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele
Improving the Efficiency of Inductive Logic Programming Through the Use of Query Packs. J. Artif. Intell. Res. 16 (2002)
Bart Demoen
A Different Look at Garbage Collection for the WAM. ICLP (2002)
Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey
To the Gates of HAL: A HAL Tutorial. FLOPS (2002)
Tom Schrijvers, Maria J. García de la Banda, Bart Demoen
Trailing Analysis for HAL. ICLP (2002)
Ruben Vandeginste, Konstantinos Sagonas, Bart Demoen
Segment Order Preserving and Generational Garbage Collection for Prolog. PADL (2002)
Bart Demoen, Konstantinos Sagonas
Heap Memory Management in Prolog with Tabling: Principles and Practice. J. Funct. Log. Program. 2001 (9) (2001)
Bart Demoen, Phuong-Lan Nguyen
So Many WAM Variations, So Little Time. Computational Logic (2000)
Bjorn De Sutter, Bruno De Bus, Koenraad De Bosschere, P. Keyngnaert, Bart Demoen
On the Static Analysis of Indirect Control Transfers in Binaries. PDPTA (2000)
Hendrik Blockeel, Bart Demoen, Gerda Janssens, Henk Vandecasteele, Wim Van Laer
Two Advanced Transormations for Improving the Efficiency of an ILP system. ILP Work-in-progress reports (2000)
Bart Demoen, Konstantinos Sagonas
Heap Garbage Collection in XSB: Practice and Experience. PADL (2000)
Bart Demoen
Prolog and abduction 4 writing garbage collectors. LOPSTR (2000)
Hendrik Blockeel, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele
Executing Query Packs in ILP. ILP (2000)
Bart Demoen, Konstantinos Sagonas
CHAT: the copy-hybrid approach to tabling. Future Gener. Comput. Syst. 16 (7) (2000)
Hendrik Blockeel, Luc De Raedt, Nico Jacobs, Bart Demoen
Scaling Up Inductive Logic Programming by Learning from Interpretations CoRR (2000)
Danny De Schreye, Maurice Bruynooghe, Bart Demoen, Marc Denecker, Gerda Janssens, Bern Martens
: A Second Generation Logic Programming Language. AI Commun. 13 (1) (2000)
Bart Demoen, Konstantinos Sagonas
CHAT: The Copy-Hybrid Approach to Tabling. PADL (1999)
Bart Demoen, Konstantinos Sagonas
CHAT Is Theta(SLG-Wam). LPAR (1999)
Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey
An Overview of HAL. CP (1999)
Henk Vandecasteele, Bart Demoen, Gerda Janssens
A Finite Domain CLP Solver on Top of Mercury. New Trends in Constraints (1999)
Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey
Herbrand Constraint Solving in HAL. ICLP (1999)
Bart Demoen, Konstantinos Sagonas
CAT: The Copying Approach to Tabling J. Funct. Log. Program. 1999 (Special Issue 2) (1999)
Hendrik Blockeel, Luc De Raedt, Nico Jacobs, Bart Demoen
Scaling Up Inductive Logic Programming by Learning from Interpretations. Data Min. Knowl. Discov. 3 (1) (1999)
Bart Demoen, Konstantinos Sagonas
Memory Management for Prolog with Tabling. ISMM (1998)
Michael Codish, Bart Demoen, Konstantinos Sagonas
Semantics-Based Program Analysis for Logic-Based Languages Using XSB. Int. J. Softw. Tools Technol. Transf. 2 (1) (1998)
Bart Demoen, Konstantinos Sagonas
CAT: The Copying Approach to Tabling. PLILP/ALP (1998)
Michael Codish, Bart Demoen, Konstantinos Sagonas
XSB as the Natural Habitat for General Purpose Program Analysis. ICLP (1997)
Paul Tarau, Koenraad De Bosschere, Bart Demoen
On Delphi Lemmas and other Memoing Techniques for Deterministic Logic Programs. J. Log. Program. 30 (2) (1997)
Paul Tarau, Koenraad De Bosschere, Bart Demoen
Partial Translation: Towards a Portable and Efficient Prolog Implementation Technology. J. Log. Program. 29 (1-3) (1996)
Bart Demoen, Geert Engels, Paul Tarau
Segment order preserving copying garbage collection for WAM based Prolog. SAC (1996)
Maurice Bruynooghe, Bart Demoen, Dmitri Boulanger, Marc Denecker, Anne Mulkers
A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation. SAS (1996)
Michael Codish, Bart Demoen
"-ositional Logic Programs and a Magic Wand. J. Log. Program. 25 (3) (1995)
Paul Tarau, Bart Demoen, Koenraad De Bosschere
The power of partial tanslation: an experiment with the C-ification of binary Prolog. SAC (1995)
Michael Codish, Bart Demoen
Deriving Polymorphic Type Dependencies for Logic Programs using Multiple Incarnations of Prop. GULP-PRODE (1) (1994)
Bart Demoen, Greet Maris
A Comparison of Some Schemes for Translating Logic to C. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs (1994)
Michael Codish, Bart Demoen
Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop. SAS (1994)
Patrick Weemeeuw, Bart Demoen
A Fine-Grained Parallel Memory Compaction Algorithm. J. Parallel Distributed Comput. 20 (2) (1994)
Remco Moolenaar, Bart Demoen
Hybrid Tree Search in the Andorra Model. ICLP (1994)
Paul Tarau, Bart Demoen
Language Embedding by Dual Compilation and State Mirroring. LPE (1994)
Michael Codish, Bart Demoen
Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages (1994)
Remco Moolenaar, Bart Demoen
A Parallel Implementation for AKL. PLILP (1993)
Michael Codish, Bart Demoen
Analysing Logic Programs Using 'Prop'-ositional Logic Programs and a Magic Wand. ILPS (1993)
Remco Moolenaar, Bart Demoen
Optimization Techniques for Nondeterministic Promotion in the Andorra Kernel Language. ICLP Workshop on Concurrent Constraint Programming (1993)
Bart Demoen
On the Transformation of a Prolog Program to a More Efficient Binary Program. LOPSTR (1992)

Bart Demoen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bart Demoen