| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Timon Van Overveldt, Bart Demoen |
High-Level Multi-Threading in hProlog  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP BibTeX RDF |
|
| 1 | Phuong-Lan Nguyen, Bart Demoen |
Representation Sharing for Prolog |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha |
On the implementation of the probabilistic logic programming language ProbLog. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha |
On the Implementation of the Probabilistic Logic Programming Language ProbLog |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jon Sneyers, Tom Schrijvers, Bart Demoen |
The computational power and complexity of constraint handling rules. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
constant factors, complexity, Constraint Handling Rules |
| 1 | Tom Schrijvers, Bart Demoen, David Scott Warren |
TCHR: a framework for tabled CLP. |
TPLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Demoen |
Learn Prolog Now! Patrick Blackburn, Johan Bos, Kristina Striegnitz: College Publications, 2006 Paperback, ISBN 1-904987-17-6, xiv + 265 pages. |
TPLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Serebrenik, Tom Schrijvers, Bart Demoen |
Improving Prolog programs: Refactoring for Prolog. |
TPLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Leslie De Koninck, Tom Schrijvers, Bart Demoen |
A Flexible Search Framework for CHR. |
Constraint Handling Rules |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Sneyers, Tom Schrijvers, Bart Demoen |
Guard Reasoning in the Refined Operational Semantics of CHR. |
Constraint Handling Rules |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen |
CHR for Imperative Host Languages. |
Constraint Handling Rules |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Demoen, Phuong-Lan Nguyen |
Two WAM Implementations of Action Rules. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Vítor Santos Costa, Jan Wielemaker, Bart Demoen |
Towards Typed Prolog. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelika Kimmig, Vítor Santos Costa, Ricardo Rocha, Bart Demoen, Luc De Raedt |
On the Efficient Execution of ProbLog Programs. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Demoen, Phuong-Lan Nguyen |
Environment Reuse in the WAM. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Bart Demoen |
Uniting the Prolog Community. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Mears, Maria J. García de la Banda, Mark Wallace, Bart Demoen |
A Novel Approach For Detecting Symmetries in CSP Models. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Serebrenik, Tom Schrijvers, Bart Demoen |
Improving Prolog programs: Refactoring for Prolog |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Tom Schrijvers, Bart Demoen, David Scott Warren |
TCHR: a framework for tabled CLP |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Remko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele |
Fast Frequent Querying with Lazy Control Flow Compilation. |
TPLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruben Vandeginste, Bart Demoen |
Incremental copying garbage collection for WAM-based Prolog systems. |
TPLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Leslie De Koninck, Tom Schrijvers, Bart Demoen |
The Correspondence Between the Logical Algorithms Language and CHR. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen |
Aggregates in Constraint Handling Rules. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Leslie De Koninck, Tom Schrijvers, Bart Demoen |
User-definable rule priorities for CHR. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
rule priorities, constraint handling rules, execution control |
| 1 | Peter Van Weert, Jon Sneyers, Bart Demoen |
Aggregates for CHR through Program Transformation. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Remko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele |
Fast Frequent Querying with Lazy Control Flow Compilation |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ruben Vandeginste, Bart Demoen |
Incremental copying garbage collection for WAM-based Prolog systems |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Tom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey |
Improving PARMA trailing. |
TPLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Sneyers, Tom Schrijvers, Bart Demoen |
Memory Reuse for CHR. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Sneyers, Tom Schrijvers, Bart Demoen |
Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Leslie De Koninck, Tom Schrijvers, Bart Demoen |
INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Tom Schrijvers, Maria J. García de la Banda, Bart Demoen, Peter J. Stuckey |
Improving PARMA Trailing |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen |
Checking modes of HAL progams. |
TPLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Sneyers, Tom Schrijvers, Bart Demoen |
Guard and Continuation Optimization for Occurrence Representations of CHR. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Sneyers, Tom Schrijvers, Bart Demoen |
Guard Simplification in CHR programs. |
W(C)LP |
2005 |
DBLP BibTeX RDF |
|
| 1 | Edgar G. Daylight, Bart Demoen, Francky Catthoor |
Formally Specifying Dynamic Data Structures for Embedded Software Design: an Initial Approach. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen |
Checking modes of HAL programs |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Bart Demoen, Vladimir Lifschitz (eds.) |
Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings |
ICLP |
2004 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2003 |
DBLP BibTeX RDF |
|
| 1 | Alexander Serebrenik, Bart Demoen |
Refactoring Logic Programs: Extended Abstract. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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) |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruben Vandeginste, Konstantinos F. Sagonas, Bart Demoen |
Segment Order Preserving and Generational Garbage Collection for Prolog. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Maria J. García de la Banda, Bart Demoen |
Trailing Analysis for HAL. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Demoen |
A Different Look at Garbage Collection for the WAM. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Demoen, Phuong-Lan Nguyen, Ruben Vandeginste |
Copying Garbage Collection for the WAM: To Mark or Not to Mark? |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey |
To the Gates of HAL: A HAL Tutorial. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Bart Demoen |
Combining an improvement to PARMA trailing with trailing analysis. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
PARMA, program analysis, trailing |
| 1 | Bart Demoen, Konstantinos F. Sagonas |
Heap Memory Management in Prolog with Tabling: Principles and Practice. |
Journal of Functional and Logic Programming |
2001 |
DBLP BibTeX RDF |
|
| 1 | Bart Demoen, Konstantinos F. Sagonas |
CHAT: the copy-hybrid approach to tabling. |
Future Generation Comp. Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2000 |
DBLP BibTeX RDF |
|
| 1 | Hendrik Blockeel, Luc De Raedt, Nico Jacobs, Bart Demoen |
Scaling Up Inductive Logic Programming by Learning from Interpretations |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Bart Demoen, Konstantinos F. Sagonas |
Heap Garbage Collection in XSB: Practice and Experience. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Hendrik Blockeel, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele |
Executing Query Packs in ILP. |
ILP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Demoen |
Prolog and abduction 4 writing garbage collectors. |
LOPSTR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Bart Demoen, Phuong-Lan Nguyen |
So Many WAM Variations, So Little Time. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Demoen, Konstantinos F. Sagonas |
CAT: The Copying Approach to Tabling |
Journal of Functional and Logic Programming |
1999 |
DBLP BibTeX RDF |
|
| 1 | Hendrik Blockeel, Luc De Raedt, Nico Jacobs, Bart Demoen |
Scaling Up Inductive Logic Programming by Learning from Interpretations. |
Data Min. Knowl. Discov. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Demoen, Konstantinos F. Sagonas |
CHAT: The Copy-Hybrid Approach to Tabling. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Demoen, Konstantinos F. Sagonas |
CHAT Is Theta(SLG-Wam). |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey |
Herbrand Constraint Solving in HAL. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Henk Vandecasteele, Bart Demoen, Gerda Janssens |
A Finite Domain CLP Solver on Top of Mercury. |
New Trends in Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey |
An Overview of HAL. |
CP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Codish, Bart Demoen, Konstantinos F. Sagonas |
Semantics-Based Program Analysis for Logic-Based Languages Using XSB. |
STTT |
1998 |
DBLP DOI BibTeX RDF |
Semantics-based program analysis, Logic programming language analysis, XSB |
| 1 | Bart Demoen, Konstantinos F. Sagonas |
Memory Management for Prolog with Tabling. |
ISMM |
1998 |
DBLP DOI BibTeX RDF |
Prolog |
| 1 | Bart Demoen, Konstantinos F. Sagonas |
CAT: The Copying Approach to Tabling. |
PLILP/ALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Tarau, Koenraad De Bosschere, Bart Demoen |
On Delphi Lemmas and other Memoing Techniques for Deterministic Logic Programs. |
J. Log. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Codish, Bart Demoen, Konstantinos F. Sagonas |
XSB as the Natural Habitat for General Purpose Program Analysis. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Paul Tarau, Koenraad De Bosschere, Bart Demoen |
Partial Translation: Towards a Portable and Efficient Prolog Implementation Technology. |
J. Log. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Demoen, Geert Engels, Paul Tarau |
Segment order preserving copying garbage collection for WAM based Prolog. |
SAC |
1996 |
DBLP DOI BibTeX RDF |
WAM based Prolog implementation, memory management of logic programming languages, segment order preserving copying garbage collection, Prolog, Prolog |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Codish, Bart Demoen |
Analyzing Logic Programs Using "PROP"-ositional Logic Programs and a Magic Wand. |
J. Log. Program. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Tarau, Bart Demoen, Koenraad De Bosschere |
The power of partial tanslation: an experiment with the C-ification of binary Prolog. |
SAC |
1995 |
DBLP DOI BibTeX RDF |
BinWAM, compilation of binary prolog, programming language translation techniques, prolog to C translation, Prolog, C, WAM |
| 1 | Patrick Weemeeuw, Bart Demoen |
A Fine-Grained Parallel Memory Compaction Algorithm. |
J. Parallel Distrib. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Codish, Bart Demoen |
Deriving Polymorphic Type Dependencies for Logic Programs using Multiple Incarnations of Prop. |
GULP-PRODE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Paul Tarau, Bart Demoen |
Language Embedding by Dual Compilation and State Mirroring. |
LPE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Remco Moolenaar, Bart Demoen |
Hybrid Tree Search in the Andorra Model. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Michael Codish, Bart Demoen |
Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop. |
SAS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Codish, Bart Demoen |
Analysing Logic Programs Using `Prop'-ositional Logic Programs and a Magic Wand. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Remco Moolenaar, Bart Demoen |
A Parallel Implementation for AKL. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Weemeeuw, Bart Demoen |
Garbage Collection in Aurora: An Overview. |
IWMM |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Demoen |
On the Transformation of a Prolog Program to a More Efficient Binary Program. |
LOPSTR |
1992 |
DBLP BibTeX RDF |
|
| 1 | Bart Demoen, André Mariën |
Implementation of Prolog as Binary Definite Programs. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Remco Moolenaar, Henk Van Acker, Bart Demoen |
KAPPA: A Kernel Andorra Prolog Parallel Architecture Design. |
ICLP Workshop on Parallel Execution of Logic Programs |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | André Mariën, Bart Demoen |
A New Scheme for Unification in WAM. |
ISLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger, Bart Demoen |
A Framework to Specify Database Update Views for Prolog. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Callebaut, Bart Demoen |
Program Source as Model for Debugging Prolog. |
LPE |
1990 |
DBLP BibTeX RDF |
|
| 1 | Patrick Weemeeuw, Bart Demoen |
A la Recherche de la Mémoire Perdue OR Memory Compaction for Shard Memory Multiprocessors. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
| 1 | André Mariën, Bart Demoen |
On the Management of Choicepoint and Environment Frames in the WAM. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
| 1 | Bart Demoen, André Mariën, Alain Callebaut |
Indexing Prolog Clauses. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
| 1 | Raf Venken, Bart Demoen |
A Partial Evaluation System for Prolog: some Practical Considerations. |
New Generation Comput. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | William G. Imlah, Bart Demoen |
A Flexible Prolog-Based Lexical Database System. |
Prolog and Databases |
1988 |
DBLP BibTeX RDF |
|
| 1 | Gerda Janssens, Bart Demoen, André Mariën |
Improving the Register Allocation of WAM by Recording Unification. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
| 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 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")