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 |