Bart Demoen

	2011
101		Phuong-Lan Nguyen, Bart Demoen: Representation Sharing for Prolog CoRR abs/1106.1311: (2011)
100		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 abs/1106.1803: (2011)
99		Timon Van Overveldt, Bart Demoen: High-Level Multi-Threading in hProlog CoRR abs/1112.3786: (2011)
98		Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha: On the implementation of the probabilistic logic programming language ProbLog. TPLP 11(2-3): 235-262 (2011)
	2010
97		Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha: On the Implementation of the Probabilistic Logic Programming Language ProbLog CoRR abs/1006.4442: (2010)
	2009
96		Jon Sneyers, Tom Schrijvers, Bart Demoen: The computational power and complexity of constraint handling rules. ACM Trans. Program. Lang. Syst. 31(2): (2009)
	2008
95		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
94		Angelika Kimmig, Vítor Santos Costa, Ricardo Rocha, Bart Demoen, Luc De Raedt: On the Efficient Execution of ProbLog Programs. ICLP 2008: 175-189
93		Bart Demoen, Phuong-Lan Nguyen: Two WAM Implementations of Action Rules. ICLP 2008: 621-635
92		Tom Schrijvers, Vítor Santos Costa, Jan Wielemaker, Bart Demoen: Towards Typed Prolog. ICLP 2008: 693-697
91		Bart Demoen, Phuong-Lan Nguyen: Environment Reuse in the WAM. ICLP 2008: 698-702
90		Tom Schrijvers, Bart Demoen: Uniting the Prolog Community. ICLP 2008: 7-8
89		Leslie De Koninck, Tom Schrijvers, Bart Demoen: A Flexible Search Framework for CHR. Constraint Handling Rules 2008: 16-47
88		Peter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen: CHR for Imperative Host Languages. Constraint Handling Rules 2008: 161-212
87		Jon Sneyers, Tom Schrijvers, Bart Demoen: Guard Reasoning in the Refined Operational Semantics of CHR. Constraint Handling Rules 2008: 213-244
86		Alexander Serebrenik, Tom Schrijvers, Bart Demoen: Improving Prolog programs: Refactoring for Prolog. TPLP 8(2): 201-215 (2008)
85		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		Tom Schrijvers, Bart Demoen, David Scott Warren: TCHR: a framework for tabled CLP. TPLP 8(4): 491-526 (2008)
	2007
83		Leslie De Koninck, Tom Schrijvers, Bart Demoen: The Correspondence Between the Logical Algorithms Language and CHR. ICLP 2007: 209-223
82		Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen: Aggregates in Constraint Handling Rules. ICLP 2007: 446-448
81		Peter Van Weert, Jon Sneyers, Bart Demoen: Aggregates for CHR through Program Transformation. LOPSTR 2007: 59-73
80		Leslie De Koninck, Tom Schrijvers, Bart Demoen: User-definable rule priorities for CHR. PPDP 2007: 25-36
79		Tom Schrijvers, Bart Demoen, David Scott Warren: TCHR: a framework for tabled CLP CoRR abs/0712.3830: (2007)
78		Alexander Serebrenik, Tom Schrijvers, Bart Demoen: Improving Prolog programs: Refactoring for Prolog CoRR abs/cs/0702083: (2007)
77		Remko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele: Fast Frequent Querying with Lazy Control Flow Compilation. TPLP 7(4): 481-498 (2007)
76		Ruben Vandeginste, Bart Demoen: Incremental copying garbage collection for WAM-based Prolog systems. TPLP 7(5): 505-536 (2007)
	2006
75		Jon Sneyers, Tom Schrijvers, Bart Demoen: Memory Reuse for CHR. ICLP 2006: 72-86
74		Jon Sneyers, Tom Schrijvers, Bart Demoen: Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. WLP 2006: 182-191
73		Leslie De Koninck, Tom Schrijvers, Bart Demoen: INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals. WLP 2006: 91-100
72		Ruben Vandeginste, Bart Demoen: Incremental copying garbage collection for WAM-based Prolog systems CoRR abs/cs/0601003: (2006)
71		Remko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele: Fast Frequent Querying with Lazy Control Flow Compilation CoRR abs/cs/0601072: (2006)
70		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		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		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		Tom Schrijvers, Maria J. García de la Banda, Bart Demoen, Peter J. Stuckey: Improving PARMA Trailing CoRR abs/cs/0505085: (2005)
65		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		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		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		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		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		Alexander Serebrenik, Bart Demoen: Refactoring Logic Programs: Extended Abstract. ICLP 2003: 509-510
58		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		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		Bart Demoen: A Different Look at Garbage Collection for the WAM. ICLP 2002: 179-193
55		Bart Demoen, Phuong-Lan Nguyen, Ruben Vandeginste: Copying Garbage Collection for the WAM: To Mark or Not to Mark? ICLP 2002: 194-208
54		Tom Schrijvers, Maria J. García de la Banda, Bart Demoen: Trailing Analysis for HAL. ICLP 2002: 38-53
53		Ruben Vandeginste, Konstantinos F. Sagonas, Bart Demoen: Segment Order Preserving and Generational Garbage Collection for Prolog. PADL 2002: 299-317
52		Tom Schrijvers, Bart Demoen: Combining an improvement to PARMA trailing with trailing analysis. PPDP 2002: 88-98
51		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		Bart Demoen, Phuong-Lan Nguyen: So Many WAM Variations, So Little Time. Computational Logic 2000: 1240-1254
48		Hendrik Blockeel, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele: Executing Query Packs in ILP. ILP 2000: 60-77
47		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		Bart Demoen: Prolog and abduction 4 writing garbage collectors. LOPSTR 2000
45		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		Hendrik Blockeel, Luc De Raedt, Nico Jacobs, Bart Demoen: Scaling Up Inductive Logic Programming by Learning from Interpretations CoRR cs.LG/0011044: (2000)
41		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		Henk Vandecasteele, Bart Demoen, Gerda Janssens: A Finite Domain CLP Solver on Top of Mercury. New Trends in Constraints 1999: 256-273
36		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		Bart Demoen, Konstantinos F. Sagonas: Memory Management for Prolog with Tabling. ISMM 1998: 97-106
32		Bart Demoen, Konstantinos F. Sagonas: CAT: The Copying Approach to Tabling. PLILP/ALP 1998: 21-35
31		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		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		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		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

Coauthor Index

1	Henk Van Acker	[13]
2	Maria Garcia de la Banda (Maria J. García de la Banda)	[39] [40] [54] [57] [61] [62] [64] [66] [69] [95]
3	Hendrik Blockeel	[35] [42] [47] [48] [51] [58] [100]
4	Egon Börger	[11]
5	Koen De Bosschere (Koenraad De Bosschere)	[25] [26] [29] [44]
6	Dmitri Boulanger	[27]
7	Maurice Bruynooghe	[2] [27] [43]
8	Bruno De Bus	[44]
9	Alain Callebaut	[2] [7] [9]
10	Rui Camacho	[58]
11	Francky Catthoor	[60]
12	Michael Codish	[17] [19] [23] [24] [30] [31]
13	Vítor Santos Costa	[58] [92] [94] [97] [98]
14	Edgar G. Daylight	[60]
15	Luc Dehaspe	[48] [51] [100]
16	Marc Denecker	[27] [43]
17	Gregory J. Duck	[70]
18	Geert Engels	[28]
19	Thom W. Frühwirth	[70]
20	Warwick Harvey	[39] [40] [61] [62] [64]
21	William G. Imlah	[4]
22	Nico Jacobs	[35] [42]
23	Gerda Janssens	[2] [5] [37] [43] [47] [48] [51] [58] [71] [77] [100]
24	P. Keyngnaert	[44]
25	Angelika Kimmig	[94] [97] [98]
26	Leslie De Koninck	[73] [80] [83] [89]
27	Wim Van Laer	[47] [58]
28	Vladimir Lifschitz	[63]
29	André Mariën	[5] [6] [7] [10] [12]
30	Greet Maris	[21]
31	Kim Marriott	[39] [40] [57] [61] [62] [64]
32	Bern Martens	[43]
33	Christopher Mears	[95]
34	Remco Moolenaar	[13] [16] [22]
35	Anne Mulkers	[27]
36	Phuong-Lan Nguyen	[49] [55] [91] [93] [101]
37	David Overton	[62]
38	Timon Van Overveldt	[99]
39	Luc De Raedt	[35] [42] [94] [97] [98]
40	Jan Ramon	[48] [51] [100]
41	Ricardo Rocha (Ricardo Jorge Gomes Lopes da Rocha)	[94] [97] [98]
42	Peter Van Roy	[1]
43	Konstantinos F. Sagonas	[30] [31] [32] [33] [34] [36] [38] [41] [45] [50] [53]
44	Danny De Schreye	[43]
45	Tom Schrijvers	[52] [54] [66] [67] [68] [69] [70] [73] [74] [75] [78] [79] [80] [82] [83] [84] [86] [87] [88] [89] [90] [92] [96]
46	Alexander Serebrenik	[59] [78] [86]
47	Jon Sneyers	[67] [68] [74] [75] [81] [82] [87] [96]
48	Ashwin Srinivasan	[58]
49	Jan Struyf	[58]
50	Peter J. Stuckey	[39] [40] [57] [61] [62] [64] [66] [69] [70]
51	Bjorn De Sutter	[44]
52	Paul Tarau	[20] [25] [26] [28] [29]
53	Remko Tronçon	[71] [77]
54	Henk Vandecasteele	[37] [47] [48] [51] [58] [71] [77] [100]
55	Ruben Vandeginste	[53] [55] [72] [76]
56	Raf Venken	[3]
57	Mark Wallace (Mark G. Wallace)	[95]
58	David Scott Warren	[79] [84]
59	Patrick Weemeeuw	[8] [15] [18]
60	Peter Van Weert	[81] [82] [88]
61	Jan Wielemaker	[92]
62	Yves D. Willems	[1]
63	Pieter Wuille	[88]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page