The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bart Demoen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  77. A Novel Approach For Detecting Symmetries in CSP Models. [Citation Graph (, )][DBLP]


  78. Towards Typed Prolog. [Citation Graph (, )][DBLP]


  79. Environment Reuse in the WAM. [Citation Graph (, )][DBLP]


  80. Uniting the Prolog Community. [Citation Graph (, )][DBLP]


  81. On the Efficient Execution of ProbLog Programs. [Citation Graph (, )][DBLP]


  82. Two WAM Implementations of Action Rules. [Citation Graph (, )][DBLP]


  83. Aggregates for CHR through Program Transformation. [Citation Graph (, )][DBLP]


  84. Improving PARMA Trailing [Citation Graph (, )][DBLP]


  85. TCHR: a framework for tabled CLP [Citation Graph (, )][DBLP]


  86. On the Implementation of the Probabilistic Logic Programming Language ProbLog [Citation Graph (, )][DBLP]


Search in 0.543secs, Finished in 0.548secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002