2009 |
93 | EE | Jon Sneyers,
Tom Schrijvers,
Bart Demoen:
The computational power and complexity of constraint handling rules.
ACM Trans. Program. Lang. Syst. 31(2): (2009) |
2008 |
92 | EE | Christopher Mears,
Maria J. García de la Banda,
Mark Wallace,
Bart Demoen:
A Novel Approach For Detecting Symmetries in CSP Models.
CPAIOR 2008: 158-172 |
91 | EE | Angelika Kimmig,
Vítor Santos Costa,
Ricardo Rocha,
Bart Demoen,
Luc De Raedt:
On the Efficient Execution of ProbLog Programs.
ICLP 2008: 175-189 |
90 | EE | Bart Demoen,
Phuong-Lan Nguyen:
Two WAM Implementations of Action Rules.
ICLP 2008: 621-635 |
89 | EE | Tom Schrijvers,
Vítor Santos Costa,
Jan Wielemaker,
Bart Demoen:
Towards Typed Prolog.
ICLP 2008: 693-697 |
88 | EE | Bart Demoen,
Phuong-Lan Nguyen:
Environment Reuse in the WAM.
ICLP 2008: 698-702 |
87 | EE | Tom Schrijvers,
Bart Demoen:
Uniting the Prolog Community.
ICLP 2008: 7-8 |
86 | EE | Alexander Serebrenik,
Tom Schrijvers,
Bart Demoen:
Improving Prolog programs: Refactoring for Prolog.
TPLP 8(2): 201-215 (2008) |
85 | EE | Bart Demoen:
Learn Prolog Now! Patrick Blackburn, Johan Bos, Kristina Striegnitz: College Publications, 2006 Paperback, ISBN 1-904987-17-6, xiv + 265 pages.
TPLP 8(2): 235-242 (2008) |
84 | EE | Tom Schrijvers,
Bart Demoen,
David Scott Warren:
TCHR: a framework for tabled CLP.
TPLP 8(4): 491-526 (2008) |
2007 |
83 | EE | Leslie De Koninck,
Tom Schrijvers,
Bart Demoen:
The Correspondence Between the Logical Algorithms Language and CHR.
ICLP 2007: 209-223 |
82 | EE | Jon Sneyers,
Peter Van Weert,
Tom Schrijvers,
Bart Demoen:
Aggregates in Constraint Handling Rules.
ICLP 2007: 446-448 |
81 | EE | Peter Van Weert,
Jon Sneyers,
Bart Demoen:
Aggregates for CHR through Program Transformation.
LOPSTR 2007: 59-73 |
80 | EE | Leslie De Koninck,
Tom Schrijvers,
Bart Demoen:
User-definable rule priorities for CHR.
PPDP 2007: 25-36 |
79 | EE | Tom Schrijvers,
Bart Demoen,
David Scott Warren:
TCHR: a framework for tabled CLP
CoRR abs/0712.3830: (2007) |
78 | EE | Alexander Serebrenik,
Tom Schrijvers,
Bart Demoen:
Improving Prolog programs: Refactoring for Prolog
CoRR abs/cs/0702083: (2007) |
77 | EE | Remko Tronçon,
Gerda Janssens,
Bart Demoen,
Henk Vandecasteele:
Fast Frequent Querying with Lazy Control Flow Compilation.
TPLP 7(4): 481-498 (2007) |
76 | EE | Ruben Vandeginste,
Bart Demoen:
Incremental copying garbage collection for WAM-based Prolog systems.
TPLP 7(5): 505-536 (2007) |
2006 |
75 | EE | Jon Sneyers,
Tom Schrijvers,
Bart Demoen:
Memory Reuse for CHR.
ICLP 2006: 72-86 |
74 | EE | Jon Sneyers,
Tom Schrijvers,
Bart Demoen:
Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR.
WLP 2006: 182-191 |
73 | EE | Leslie De Koninck,
Tom Schrijvers,
Bart Demoen:
INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals.
WLP 2006: 91-100 |
72 | EE | Ruben Vandeginste,
Bart Demoen:
Incremental copying garbage collection for WAM-based Prolog systems
CoRR abs/cs/0601003: (2006) |
71 | EE | Remko Tronçon,
Gerda Janssens,
Bart Demoen,
Henk Vandecasteele:
Fast Frequent Querying with Lazy Control Flow Compilation
CoRR abs/cs/0601072: (2006) |
70 | EE | Tom Schrijvers,
Bart Demoen,
Gregory J. Duck,
Peter J. Stuckey,
Thom W. Frühwirth:
Automatic Implication Checking for CHR Constraints.
Electr. Notes Theor. Comput. Sci. 147(1): 93-111 (2006) |
69 | EE | Tom Schrijvers,
Bart Demoen,
Maria J. García de la Banda,
Peter J. Stuckey:
Improving PARMA trailing.
TPLP 6(6): 609-644 (2006) |
2005 |
68 | EE | Jon Sneyers,
Tom Schrijvers,
Bart Demoen:
Guard and Continuation Optimization for Occurrence Representations of CHR.
ICLP 2005: 83-97 |
67 | | Jon Sneyers,
Tom Schrijvers,
Bart Demoen:
Guard Simplification in CHR programs.
W(C)LP 2005: 123-134 |
66 | EE | Tom Schrijvers,
Maria J. García de la Banda,
Bart Demoen,
Peter J. Stuckey:
Improving PARMA Trailing
CoRR abs/cs/0505085: (2005) |
65 | EE | 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.
TPLP 5(3): 391-395 (2005) |
64 | EE | Maria J. García de la Banda,
Warwick Harvey,
Kim Marriott,
Peter J. Stuckey,
Bart Demoen:
Checking modes of HAL progams.
TPLP 5(6): 623-668 (2005) |
2004 |
63 | | Bart Demoen,
Vladimir Lifschitz:
Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings
Springer 2004 |
62 | EE | Bart Demoen,
Maria J. García de la Banda,
Warwick Harvey,
Kim Marriott,
David Overton,
Peter J. Stuckey:
Herbrand Constraints in HAL.
Program Development in Computational Logic 2004: 499-538 |
61 | EE | Maria J. García de la Banda,
Warwick Harvey,
Kim Marriott,
Peter J. Stuckey,
Bart Demoen:
Checking modes of HAL programs
CoRR cs.PL/0409038: (2004) |
60 | EE | Edgar G. Daylight,
Bart Demoen,
Francky Catthoor:
Formally Specifying Dynamic Data Structures for Embedded Software Design: an Initial Approach.
Electr. Notes Theor. Comput. Sci. 108: 99-112 (2004) |
2003 |
59 | EE | Alexander Serebrenik,
Bart Demoen:
Refactoring Logic Programs: Extended Abstract.
ICLP 2003: 509-510 |
58 | EE | 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.
Journal of Machine Learning Research 4: 465-491 (2003) |
2002 |
57 | EE | Maria J. García de la Banda,
Bart Demoen,
Kim Marriott,
Peter J. Stuckey:
To the Gates of HAL: A HAL Tutorial.
FLOPS 2002: 47-66 |
56 | EE | Bart Demoen:
A Different Look at Garbage Collection for the WAM.
ICLP 2002: 179-193 |
55 | EE | Bart Demoen,
Phuong-Lan Nguyen,
Ruben Vandeginste:
Copying Garbage Collection for the WAM: To Mark or Not to Mark?
ICLP 2002: 194-208 |
54 | EE | Tom Schrijvers,
Maria J. García de la Banda,
Bart Demoen:
Trailing Analysis for HAL.
ICLP 2002: 38-53 |
53 | EE | Ruben Vandeginste,
Konstantinos F. Sagonas,
Bart Demoen:
Segment Order Preserving and Generational Garbage Collection for Prolog.
PADL 2002: 299-317 |
52 | EE | Tom Schrijvers,
Bart Demoen:
Combining an improvement to PARMA trailing with trailing analysis.
PPDP 2002: 88-98 |
51 | EE | 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. (JAIR) 16: 135-166 (2002) |
2001 |
50 | | Bart Demoen,
Konstantinos F. Sagonas:
Heap Memory Management in Prolog with Tabling: Principles and Practice.
Journal of Functional and Logic Programming 2001(9): (2001) |
2000 |
49 | EE | Bart Demoen,
Phuong-Lan Nguyen:
So Many WAM Variations, So Little Time.
Computational Logic 2000: 1240-1254 |
48 | EE | Hendrik Blockeel,
Luc Dehaspe,
Bart Demoen,
Gerda Janssens,
Jan Ramon,
Henk Vandecasteele:
Executing Query Packs in ILP.
ILP 2000: 60-77 |
47 | EE | 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 |
46 | EE | Bart Demoen:
Prolog and abduction 4 writing garbage collectors.
LOPSTR 2000 |
45 | EE | Bart Demoen,
Konstantinos F. Sagonas:
Heap Garbage Collection in XSB: Practice and Experience.
PADL 2000: 93-108 |
44 | | 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 |
43 | | Danny De Schreye,
Maurice Bruynooghe,
Bart Demoen,
Marc Denecker,
Gerda Janssens,
Bern Martens:
Project Report on LP+: A Second Generation Logic Programming Language.
AI Commun. 13(1): 13-18 (2000) |
42 | EE | Hendrik Blockeel,
Luc De Raedt,
Nico Jacobs,
Bart Demoen:
Scaling Up Inductive Logic Programming by Learning from Interpretations
CoRR cs.LG/0011044: (2000) |
41 | EE | Bart Demoen,
Konstantinos F. Sagonas:
CHAT: the copy-hybrid approach to tabling.
Future Generation Comp. Syst. 16(7): 809-830 (2000) |
1999 |
40 | | Bart Demoen,
Maria J. García de la Banda,
Warwick Harvey,
Kim Marriott,
Peter J. Stuckey:
An Overview of HAL.
CP 1999: 174-188 |
39 | | Bart Demoen,
Maria J. García de la Banda,
Warwick Harvey,
Kim Marriott,
Peter J. Stuckey:
Herbrand Constraint Solving in HAL.
ICLP 1999: 260-274 |
38 | | Bart Demoen,
Konstantinos F. Sagonas:
CHAT Is Theta(SLG-Wam).
LPAR 1999: 337-357 |
37 | EE | Henk Vandecasteele,
Bart Demoen,
Gerda Janssens:
A Finite Domain CLP Solver on Top of Mercury.
New Trends in Constraints 1999: 256-273 |
36 | EE | Bart Demoen,
Konstantinos F. Sagonas:
CHAT: The Copy-Hybrid Approach to Tabling.
PADL 1999: 106-121 |
35 | | Hendrik Blockeel,
Luc De Raedt,
Nico Jacobs,
Bart Demoen:
Scaling Up Inductive Logic Programming by Learning from Interpretations.
Data Min. Knowl. Discov. 3(1): 59-93 (1999) |
34 | | Bart Demoen,
Konstantinos F. Sagonas:
CAT: The Copying Approach to Tabling
Journal of Functional and Logic Programming 1999(Special Issue 2): (1999) |
1998 |
33 | EE | Bart Demoen,
Konstantinos F. Sagonas:
Memory Management for Prolog with Tabling.
ISMM 1998: 97-106 |
32 | EE | Bart Demoen,
Konstantinos F. Sagonas:
CAT: The Copying Approach to Tabling.
PLILP/ALP 1998: 21-35 |
31 | EE | Michael Codish,
Bart Demoen,
Konstantinos F. Sagonas:
Semantics-Based Program Analysis for Logic-Based Languages Using XSB.
STTT 2(1): 29-45 (1998) |
1997 |
30 | | Michael Codish,
Bart Demoen,
Konstantinos F. Sagonas:
XSB as the Natural Habitat for General Purpose Program Analysis.
ICLP 1997: 416 |
29 | | Paul Tarau,
Koenraad De Bosschere,
Bart Demoen:
On Delphi Lemmas and other Memoing Techniques for Deterministic Logic Programs.
J. Log. Program. 30(2): 145-163 (1997) |
1996 |
28 | EE | Bart Demoen,
Geert Engels,
Paul Tarau:
Segment order preserving copying garbage collection for WAM based Prolog.
SAC 1996: 380-386 |
27 | | 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: 128-142 |
26 | | Paul Tarau,
Koenraad De Bosschere,
Bart Demoen:
Partial Translation: Towards a Portable and Efficient Prolog Implementation Technology.
J. Log. Program. 29(1-3): 65-83 (1996) |
1995 |
25 | EE | Paul Tarau,
Bart Demoen,
Koenraad De Bosschere:
The power of partial tanslation: an experiment with the C-ification of binary Prolog.
SAC 1995: 152-156 |
24 | | Michael Codish,
Bart Demoen:
Analyzing Logic Programs Using "PROP"-ositional Logic Programs and a Magic Wand.
J. Log. Program. 25(3): 249-274 (1995) |
1994 |
23 | | Michael Codish,
Bart Demoen:
Deriving Polymorphic Type Dependencies for Logic Programs using Multiple Incarnations of Prop.
GULP-PRODE (1) 1994: 327-341 |
22 | | Remco Moolenaar,
Bart Demoen:
Hybrid Tree Search in the Andorra Model.
ICLP 1994: 110-123 |
21 | EE | 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: 79-91 |
20 | | Paul Tarau,
Bart Demoen:
Language Embedding by Dual Compilation and State Mirroring.
LPE 1994: 0- |
19 | | Michael Codish,
Bart Demoen:
Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop.
SAS 1994: 281-296 |
18 | | Patrick Weemeeuw,
Bart Demoen:
A Fine-Grained Parallel Memory Compaction Algorithm.
J. Parallel Distrib. Comput. 20(2): 176-186 (1994) |
1993 |
17 | | Michael Codish,
Bart Demoen:
Analysing Logic Programs Using `Prop'-ositional Logic Programs and a Magic Wand.
ILPS 1993: 114-129 |
16 | | Remco Moolenaar,
Bart Demoen:
A Parallel Implementation for AKL.
PLILP 1993: 246-261 |
1992 |
15 | | Patrick Weemeeuw,
Bart Demoen:
Garbage Collection in Aurora: An Overview.
IWMM 1992: 454-472 |
14 | | Bart Demoen:
On the Transformation of a Prolog Program to a More Efficient Binary Program.
LOPSTR 1992: 242-252 |
1991 |
13 | | Remco Moolenaar,
Henk Van Acker,
Bart Demoen:
KAPPA: A Kernel Andorra Prolog Parallel Architecture Design.
ICLP Workshop on Parallel Execution of Logic Programs 1991: 54-69 |
12 | | André Mariën,
Bart Demoen:
A New Scheme for Unification in WAM.
ISLP 1991: 257-271 |
11 | | Egon Börger,
Bart Demoen:
A Framework to Specify Database Update Views for Prolog.
PLILP 1991: 147-158 |
10 | | Bart Demoen,
André Mariën:
Implementation of Prolog as Binary Definite Programs.
RCLP 1991: 165-176 |
1990 |
9 | | Alain Callebaut,
Bart Demoen:
Program Source as Model for Debugging Prolog.
LPE 1990: 80-83 |
8 | | Patrick Weemeeuw,
Bart Demoen:
A la Recherche de la Mémoire Perdue OR Memory Compaction for Shard Memory Multiprocessors.
NACLP 1990: 306-320 |
1989 |
7 | | Bart Demoen,
André Mariën,
Alain Callebaut:
Indexing Prolog Clauses.
NACLP 1989: 1001-1012 |
6 | | André Mariën,
Bart Demoen:
On the Management of Choicepoint and Environment Frames in the WAM.
NACLP 1989: 1030-1047 |
1988 |
5 | | Gerda Janssens,
Bart Demoen,
André Mariën:
Improving the Register Allocation of WAM by Recording Unification.
ICLP/SLP 1988: 1388-1402 |
4 | | William G. Imlah,
Bart Demoen:
A Flexible Prolog-Based Lexical Database System.
Prolog and Databases 1988: 332-339 |
3 | | Raf Venken,
Bart Demoen:
A Partial Evaluation System for Prolog: some Practical Considerations.
New Generation Comput. 6(2&3): 279-290 (1988) |
1987 |
2 | | Maurice Bruynooghe,
Gerda Janssens,
Alain Callebaut,
Bart Demoen:
Abstract Interpretation: Towards the Global Optimization of Prolog Programs.
SLP 1987: 192-204 |
1 | | Peter Van Roy,
Bart Demoen,
Yves D. Willems:
Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and Determinism.
TAPSOFT, Vol.2 1987: 111-125 |