dblp.uni-trier.dewww.uni-trier.de

Bart Demoen Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
96EEJon Sneyers, Tom Schrijvers, Bart Demoen: The computational power and complexity of constraint handling rules. ACM Trans. Program. Lang. Syst. 31(2): (2009)
2008
95EEChristopher 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
94EEAngelika Kimmig, Vítor Santos Costa, Ricardo Rocha, Bart Demoen, Luc De Raedt: On the Efficient Execution of ProbLog Programs. ICLP 2008: 175-189
93EEBart Demoen, Phuong-Lan Nguyen: Two WAM Implementations of Action Rules. ICLP 2008: 621-635
92EETom Schrijvers, Vítor Santos Costa, Jan Wielemaker, Bart Demoen: Towards Typed Prolog. ICLP 2008: 693-697
91EEBart Demoen, Phuong-Lan Nguyen: Environment Reuse in the WAM. ICLP 2008: 698-702
90EETom Schrijvers, Bart Demoen: Uniting the Prolog Community. ICLP 2008: 7-8
89EELeslie De Koninck, Tom Schrijvers, Bart Demoen: A Flexible Search Framework for CHR. Constraint Handling Rules 2008: 16-47
88EEPeter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen: CHR for Imperative Host Languages. Constraint Handling Rules 2008: 161-212
87EEJon Sneyers, Tom Schrijvers, Bart Demoen: Guard Reasoning in the Refined Operational Semantics of CHR. Constraint Handling Rules 2008: 213-244
86EEAlexander Serebrenik, Tom Schrijvers, Bart Demoen: Improving Prolog programs: Refactoring for Prolog. TPLP 8(2): 201-215 (2008)
85EEBart 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)
84EETom Schrijvers, Bart Demoen, David Scott Warren: TCHR: a framework for tabled CLP. TPLP 8(4): 491-526 (2008)
2007
83EELeslie De Koninck, Tom Schrijvers, Bart Demoen: The Correspondence Between the Logical Algorithms Language and CHR. ICLP 2007: 209-223
82EEJon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen: Aggregates in Constraint Handling Rules. ICLP 2007: 446-448
81EEPeter Van Weert, Jon Sneyers, Bart Demoen: Aggregates for CHR through Program Transformation. LOPSTR 2007: 59-73
80EELeslie De Koninck, Tom Schrijvers, Bart Demoen: User-definable rule priorities for CHR. PPDP 2007: 25-36
79EETom Schrijvers, Bart Demoen, David Scott Warren: TCHR: a framework for tabled CLP CoRR abs/0712.3830: (2007)
78EEAlexander Serebrenik, Tom Schrijvers, Bart Demoen: Improving Prolog programs: Refactoring for Prolog CoRR abs/cs/0702083: (2007)
77EERemko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele: Fast Frequent Querying with Lazy Control Flow Compilation. TPLP 7(4): 481-498 (2007)
76EERuben Vandeginste, Bart Demoen: Incremental copying garbage collection for WAM-based Prolog systems. TPLP 7(5): 505-536 (2007)
2006
75EEJon Sneyers, Tom Schrijvers, Bart Demoen: Memory Reuse for CHR. ICLP 2006: 72-86
74EEJon Sneyers, Tom Schrijvers, Bart Demoen: Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. WLP 2006: 182-191
73EELeslie De Koninck, Tom Schrijvers, Bart Demoen: INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals. WLP 2006: 91-100
72EERuben Vandeginste, Bart Demoen: Incremental copying garbage collection for WAM-based Prolog systems CoRR abs/cs/0601003: (2006)
71EERemko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele: Fast Frequent Querying with Lazy Control Flow Compilation CoRR abs/cs/0601072: (2006)
70EETom 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)
69EETom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey: Improving PARMA trailing. TPLP 6(6): 609-644 (2006)
2005
68EEJon 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
66EETom Schrijvers, Maria J. García de la Banda, Bart Demoen, Peter J. Stuckey: Improving PARMA Trailing CoRR abs/cs/0505085: (2005)
65EEBart 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)
64EEMaria 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
62EEBart 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
61EEMaria 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)
60EEEdgar 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
59EEAlexander Serebrenik, Bart Demoen: Refactoring Logic Programs: Extended Abstract. ICLP 2003: 509-510
58EEVí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
57EEMaria 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
56EEBart Demoen: A Different Look at Garbage Collection for the WAM. ICLP 2002: 179-193
55EEBart Demoen, Phuong-Lan Nguyen, Ruben Vandeginste: Copying Garbage Collection for the WAM: To Mark or Not to Mark? ICLP 2002: 194-208
54EETom Schrijvers, Maria J. García de la Banda, Bart Demoen: Trailing Analysis for HAL. ICLP 2002: 38-53
53EERuben Vandeginste, Konstantinos F. Sagonas, Bart Demoen: Segment Order Preserving and Generational Garbage Collection for Prolog. PADL 2002: 299-317
52EETom Schrijvers, Bart Demoen: Combining an improvement to PARMA trailing with trailing analysis. PPDP 2002: 88-98
51EEHendrik 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
49EEBart Demoen, Phuong-Lan Nguyen: So Many WAM Variations, So Little Time. Computational Logic 2000: 1240-1254
48EEHendrik Blockeel, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele: Executing Query Packs in ILP. ILP 2000: 60-77
47EEHendrik 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
46EEBart Demoen: Prolog and abduction 4 writing garbage collectors. LOPSTR 2000
45EEBart 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)
42EEHendrik Blockeel, Luc De Raedt, Nico Jacobs, Bart Demoen: Scaling Up Inductive Logic Programming by Learning from Interpretations CoRR cs.LG/0011044: (2000)
41EEBart 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
38EEBart Demoen, Konstantinos F. Sagonas: CHAT Is Theta(SLG-Wam). LPAR 1999: 337-357
37EEHenk Vandecasteele, Bart Demoen, Gerda Janssens: A Finite Domain CLP Solver on Top of Mercury. New Trends in Constraints 1999: 256-273
36EEBart 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
33EEBart Demoen, Konstantinos F. Sagonas: Memory Management for Prolog with Tabling. ISMM 1998: 97-106
32EEBart Demoen, Konstantinos F. Sagonas: CAT: The Copying Approach to Tabling. PLILP/ALP 1998: 21-35
31EEMichael 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
28EEBart 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
25EEPaul 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
21EEBart 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
11EEEgon Börger, Bart Demoen: A Framework to Specify Database Update Views for Prolog. PLILP 1991: 147-158
10EEBart 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
1EEPeter 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)