Bart Demoen - RankMe

119 papers A 1B 22C 11Misc 4Journal 43Unranked 32

Year	Rank	Type	Title / Venue / Authors
2018	—	`conf`	Co-de: an online learning platform for computational thinking. WiPSCE Zimcke Van de Staey, Tobias Verlinde, Bart Demoen, Bern Martens
2017	—	`conf`	Bringing Algorithms to Flemish Classrooms: Teaching the Teachers, and some Students. WiPSCE Bern Martens, Bart Demoen, Febe Karpez, Dorien Vandenhove, Kristien Van Loon
2016	J	`jnl`	Graphs with coloring redundant edges. Electron. J. Graph Theory Appl. Bart Demoen, Phuong-Lan Nguyen
2015	J	`jnl`	A method for detecting symmetries in constraint models and its generalisation. Constraints An Int. J. Christopher Mears, Maria Garcia de la Banda, Mark Wallace, Bart Demoen
2015	—	`conf`	Learning a Hidden Markov Model-Based Hyper-heuristic. LION Willem Van Onsem, Bart Demoen, Patrick De Causmaecker
2015	—	`conf`	Solving Euclidean Steiner Tree Problems with Multi Swarm Optimization. GECCO (Companion) Tom Decroos, Patrick De Causmaecker, Bart Demoen
2014	C	`conf`	Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation. PPDP Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen
2014	J	`jnl`	Lightweight dynamic symmetry breaking. Constraints An Int. J. Christopher Mears, Maria Garcia de la Banda, Bart Demoen, Mark Wallace
2014	J	`jnl`	Redundant Sudoku rules. Theory Pract. Log. Program. Bart Demoen, Maria Garcia de la Banda
2014	J	`jnl`	Tor: Modular search with hookable disjunction. Sci. Comput. Program. Tom Schrijvers, Bart Demoen, Markus Triska, Benoit Desouter
2013	J	`jnl`	Delimited continuations for prolog. Theory Pract. Log. Program. Tom Schrijvers, Bart Demoen, Benoit Desouter, Jan Wielemaker
2013	J	`jnl`	Redundant disequalities in the Latin Square problem. Constraints An Int. J. Bart Demoen, Maria Garcia de la Banda
2013	J	`jnl`	Representation sharing for Prolog. Theory Pract. Log. Program. Phuong-Lan Nguyen, Bart Demoen
2012	J	`jnl`	Introduction to the special issue on Prolog systems. Theory Pract. Log. Program. Bart Demoen, Maria Garcia de la Banda
2012	J	`jnl`	Redundant Sudoku Rules CoRR Bart Demoen, Maria Garcia de la Banda
2012	C	`conf`	Tor: extensible search with hookable disjunction. PPDP Tom Schrijvers, Markus Triska, Bart Demoen
2011	J	`jnl`	High-Level Multi-Threading in hProlog CoRR Timon Van Overveldt, Bart Demoen
2011	J	`jnl`	Improving the Efficiency of Inductive Logic Programming Through the Use of Query Packs CoRR Hendrik Blockeel, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele
2011	J	`jnl`	On the implementation of the probabilistic logic programming language ProbLog. Theory Pract. Log. Program. Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha
2011	J	`jnl`	Representation Sharing for Prolog CoRR Phuong-Lan Nguyen, Bart Demoen
2010	J	`jnl`	On the Implementation of the Probabilistic Logic Programming Language ProbLog CoRR Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha
2009	J	`jnl`	The computational power and complexity of constraint handling rules. ACM Trans. Program. Lang. Syst. Jon Sneyers, Tom Schrijvers, Bart Demoen
2008	—	`ch.`	A Flexible Search Framework for CHR. Constraint Handling Rules Leslie De Koninck, Tom Schrijvers, Bart Demoen
2008	B	`conf`	A Novel Approach For Detecting Symmetries in CSP Models. CPAIOR Christopher Mears, Maria J. García de la Banda, Mark Wallace, Bart Demoen
2008	—	`ch.`	CHR for Imperative Host Languages. Constraint Handling Rules Peter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen
2008	B	`conf`	Environment Reuse in the WAM. ICLP Bart Demoen, Phuong-Lan Nguyen
2008	—	`ch.`	Guard Reasoning in the Refined Operational Semantics of CHR. Constraint Handling Rules Jon Sneyers, Tom Schrijvers, Bart Demoen
2008	J	`jnl`	Improving Prolog programs: Refactoring for Prolog. Theory Pract. Log. Program. Alexander Serebrenik, Tom Schrijvers, Bart Demoen
2008	B	`conf`	On the Efficient Execution of ProbLog Programs. ICLP Angelika Kimmig, Vítor Santos Costa, Ricardo Rocha, Bart Demoen, Luc De Raedt
2008	J	`jnl`	TCHR: a framework for tabled CLP. Theory Pract. Log. Program. Tom Schrijvers, Bart Demoen, David Scott Warren
2008	B	`conf`	Towards Typed Prolog. ICLP Tom Schrijvers, Vítor Santos Costa, Jan Wielemaker, Bart Demoen
2008	B	`conf`	Two WAM Implementations of Action Rules. ICLP Bart Demoen, Phuong-Lan Nguyen
2008	B	`conf`	Uniting the Prolog Community. ICLP Tom Schrijvers, Bart Demoen
2007	C	`conf`	Aggregates for CHR through Program Transformation. LOPSTR Peter Van Weert, Jon Sneyers, Bart Demoen
2007	B	`conf`	Aggregates in Constraint Handling Rules. ICLP Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen
2007	J	`jnl`	Fast Frequent Querying with Lazy Control Flow Compilation. Theory Pract. Log. Program. Remko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele
2007	J	`jnl`	Improving Prolog programs: Refactoring for Prolog CoRR Alexander Serebrenik, Tom Schrijvers, Bart Demoen
2007	J	`jnl`	Incremental copying garbage collection for WAM-based Prolog systems. Theory Pract. Log. Program. Ruben Vandeginste, Bart Demoen
2007	J	`jnl`	TCHR: a framework for tabled CLP CoRR Tom Schrijvers, Bart Demoen, David Scott Warren
2007	B	`conf`	The Correspondence Between the Logical Algorithms Language and CHR. ICLP Leslie De Koninck, Tom Schrijvers, Bart Demoen
2007	C	`conf`	User-definable rule priorities for CHR. PPDP Leslie De Koninck, Tom Schrijvers, Bart Demoen
2006	—	`conf`	Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. WLP Jon Sneyers, Tom Schrijvers, Bart Demoen
2006	J	`jnl`	Fast Frequent Querying with Lazy Control Flow Compilation CoRR Remko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele
2006	—	`conf`	INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals. WLP Leslie De Koninck, Tom Schrijvers, Bart Demoen
2006	J	`jnl`	Improving PARMA trailing. Theory Pract. Log. Program. Tom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey
2006	J	`jnl`	Incremental copying garbage collection for WAM-based Prolog systems CoRR Ruben Vandeginste, Bart Demoen
2006	B	`conf`	Memory Reuse for CHR. ICLP Jon Sneyers, Tom Schrijvers, Bart Demoen
2005	—	`conf`	Automatic Implication Checking for CHR Constraints. RULE@RDP Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth
2005	J	`jnl`	Book review: Programming in Prolog. Using the ISO Standard by William F. Clocksin , Christopher S. Mellish, Springer-Verlag, 2003, ISBN 3-540-00678-8. Theory Pract. Log. Program. Bart Demoen
2005	J	`jnl`	Checking modes of HAL programs. Theory Pract. Log. Program. Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen
2005	—	`conf`	Guard Simplification in CHR programs. W(C)LP Jon Sneyers, Tom Schrijvers, Bart Demoen
2005	B	`conf`	Guard and Continuation Optimization for Occurrence Representations of CHR. ICLP Jon Sneyers, Tom Schrijvers, Bart Demoen
2005	J	`jnl`	Improving PARMA Trailing CoRR Tom Schrijvers, Maria J. García de la Banda, Bart Demoen, Peter J. Stuckey
2004	J	`jnl`	Checking modes of HAL programs CoRR Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen
2004	—	`conf`	Formally Specifying Dynamic Data Structures for Embedded Software Design: an Initial Approach. FESCA@ETAPS Edgar G. Daylight, Bart Demoen, Francky Catthoor
2004	—	`ch.`	Herbrand Constraints in HAL. Program Development in Computational Logic Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey
2004	B	`ed.`	Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings ICLP Bart Demoen, Vladimir Lifschitz
2003	J	`jnl`	Query Transformations for Improving the Efficiency of ILP Systems. J. Mach. Learn. Res. Vítor Santos Costa, Ashwin Srinivasan, Rui Camacho, Hendrik Blockeel, Bart Demoen, Gerda Janssens, Jan Struyf, Henk Vandecasteele, Wim Van Laer
2003	B	`conf`	Refactoring Logic Programs: Extended Abstract. ICLP Alexander Serebrenik, Bart Demoen
2002	B	`conf`	A Different Look at Garbage Collection for the WAM. ICLP Bart Demoen
2002	C	`conf`	Combining an improvement to PARMA trailing with trailing analysis. PPDP Tom Schrijvers, Bart Demoen
2002	B	`conf`	Copying Garbage Collection for the WAM: To Mark or Not to Mark? ICLP Bart Demoen, Phuong-Lan Nguyen, Ruben Vandeginste
2002	J	`jnl`	Improving the Efficiency of Inductive Logic Programming Through the Use of Query Packs. J. Artif. Intell. Res. Hendrik Blockeel, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele
2002	C	`conf`	Segment Order Preserving and Generational Garbage Collection for Prolog. PADL Ruben Vandeginste, Konstantinos Sagonas, Bart Demoen
2002	Misc	`conf`	To the Gates of HAL: A HAL Tutorial. FLOPS Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey
2002	B	`conf`	Trailing Analysis for HAL. ICLP Tom Schrijvers, Maria J. García de la Banda, Bart Demoen
2001	J	`jnl`	Heap Memory Management in Prolog with Tabling: Principles and Practice. J. Funct. Log. Program. Bart Demoen, Konstantinos Sagonas
2000	J	`jnl`	CHAT: the copy-hybrid approach to tabling. Future Gener. Comput. Syst. Bart Demoen, Konstantinos Sagonas
2000	B	`conf`	Executing Query Packs in ILP. ILP Hendrik Blockeel, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele
2000	C	`conf`	Heap Garbage Collection in XSB: Practice and Experience. PADL Bart Demoen, Konstantinos Sagonas
2000	Misc	`conf`	On the Static Analysis of Indirect Control Transfers in Binaries. PDPTA Bjorn De Sutter, Bruno De Bus, Koenraad De Bosschere, P. Keyngnaert, Bart Demoen
2000	J	`jnl`	Project Report on LP AI Commun. Danny De Schreye, Maurice Bruynooghe, Bart Demoen, Marc Denecker, Gerda Janssens, Bern Martens
2000	C	`conf`	Prolog and abduction 4 writing garbage collectors. LOPSTR Bart Demoen
2000	J	`jnl`	Scaling Up Inductive Logic Programming by Learning from Interpretations CoRR Hendrik Blockeel, Luc De Raedt, Nico Jacobs, Bart Demoen
2000	—	`conf`	So Many WAM Variations, So Little Time. Computational Logic Bart Demoen, Phuong-Lan Nguyen
2000	—	`conf`	Two Advanced Transormations for Improving the Efficiency of an ILP system. ILP Work-in-progress reports Hendrik Blockeel, Bart Demoen, Gerda Janssens, Henk Vandecasteele, Wim Van Laer
1999	—	`conf`	A Finite Domain CLP Solver on Top of Mercury. New Trends in Constraints Henk Vandecasteele, Bart Demoen, Gerda Janssens
1999	A	`conf`	An Overview of HAL. CP Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey
1999	J	`jnl`	CAT: The Copying Approach to Tabling J. Funct. Log. Program. Bart Demoen, Konstantinos Sagonas
1999	B	`conf`	CHAT Is Theta(SLG-Wam). LPAR Bart Demoen, Konstantinos Sagonas
1999	C	`conf`	CHAT: The Copy-Hybrid Approach to Tabling. PADL Bart Demoen, Konstantinos Sagonas
1999	B	`conf`	Herbrand Constraint Solving in HAL. ICLP Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey
1999	J	`jnl`	Scaling Up Inductive Logic Programming by Learning from Interpretations. Data Min. Knowl. Discov. Hendrik Blockeel, Luc De Raedt, Nico Jacobs, Bart Demoen
1998	—	`conf`	CAT: The Copying Approach to Tabling. PLILP/ALP Bart Demoen, Konstantinos Sagonas
1998	C	`conf`	Memory Management for Prolog with Tabling. ISMM Bart Demoen, Konstantinos Sagonas
1998	J	`jnl`	Semantics-Based Program Analysis for Logic-Based Languages Using XSB. Int. J. Softw. Tools Technol. Transf. Michael Codish, Bart Demoen, Konstantinos Sagonas
1997	J	`jnl`	On Delphi Lemmas and other Memoing Techniques for Deterministic Logic Programs. J. Log. Program. Paul Tarau, Koenraad De Bosschere, Bart Demoen
1997	B	`conf`	XSB as the Natural Habitat for General Purpose Program Analysis. ICLP Michael Codish, Bart Demoen, Konstantinos Sagonas
1996	B	`conf`	A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation. SAS Maurice Bruynooghe, Bart Demoen, Dmitri Boulanger, Marc Denecker, Anne Mulkers
1996	J	`jnl`	Partial Translation: Towards a Portable and Efficient Prolog Implementation Technology. J. Log. Program. Paul Tarau, Koenraad De Bosschere, Bart Demoen
1996	Misc	`conf`	Segment order preserving copying garbage collection for WAM based Prolog. SAC Bart Demoen, Geert Engels, Paul Tarau
1995	J	`jnl`	Analyzing Logic Programs Using " J. Log. Program. Michael Codish, Bart Demoen
1995	Misc	`conf`	The power of partial tanslation: an experiment with the C-ification of binary Prolog. SAC Paul Tarau, Bart Demoen, Koenraad De Bosschere
1994	—	`conf`	A Comparison of Some Schemes for Translating Logic to C. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs Bart Demoen, Greet Maris
1994	J	`jnl`	A Fine-Grained Parallel Memory Compaction Algorithm. J. Parallel Distributed Comput. Patrick Weemeeuw, Bart Demoen
1994	—	`conf`	Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages Michael Codish, Bart Demoen
1994	B	`conf`	Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop. SAS Michael Codish, Bart Demoen
1994	—	`conf`	Deriving Polymorphic Type Dependencies for Logic Programs using Multiple Incarnations of Prop. GULP-PRODE (1) Michael Codish, Bart Demoen
1994	B	`conf`	Hybrid Tree Search in the Andorra Model. ICLP Remco Moolenaar, Bart Demoen
1994	—	`ed.`	ILPS 1994, Workshop 4: Implementation Techniques for Logic Programming Languages, Ithaca, New York, USA, November 17, 1994 ILPS Workshop: Implementation Techniques for Logic Programming Languages Koenraad De Bosschere, Bart Demoen, Paul Tarau
1994	—	`conf`	Language Embedding by Dual Compilation and State Mirroring. LPE Paul Tarau, Bart Demoen
1993	—	`conf`	A Parallel Implementation for AKL. PLILP Remco Moolenaar, Bart Demoen
1993	—	`conf`	Analysing Logic Programs Using 'Prop'-ositional Logic Programs and a Magic Wand. ILPS Michael Codish, Bart Demoen
1993	—	`conf`	Optimization Techniques for Nondeterministic Promotion in the Andorra Kernel Language. ICLP Workshop on Concurrent Constraint Programming Remco Moolenaar, Bart Demoen
1992	—	`conf`	Garbage Collection in Aurora: An Overview. IWMM Patrick Weemeeuw, Bart Demoen
1992	C	`conf`	On the Transformation of a Prolog Program to a More Efficient Binary Program. LOPSTR Bart Demoen
1991	—	`conf`	A Framework to Specify Database Update Views for Prolog. PLILP Egon Börger, Bart Demoen
1991	—	`conf`	A New Scheme for Unification in WAM. ISLP André Mariën, Bart Demoen
1991	—	`conf`	Implementation of Prolog as Binary Definite Programs. RCLP Bart Demoen, André Mariën
1991	—	`conf`	KAPPA: A Kernel Andorra Prolog Parallel Architecture Design. ICLP Workshop on Parallel Execution of Logic Programs Remco Moolenaar, Henk Van Acker, Bart Demoen
1990	—	`conf`	A la Recherche de la Mémoire Perdue OR Memory Compaction for Shard Memory Multiprocessors. NACLP Patrick Weemeeuw, Bart Demoen
1990	—	`conf`	Program Source as Model for Debugging Prolog. LPE Alain Callebaut, Bart Demoen
1989	—	`conf`	Indexing Prolog Clauses. NACLP Bart Demoen, André Mariën, Alain Callebaut
1989	—	`conf`	On the Management of Choicepoint and Environment Frames in the WAM. NACLP André Mariën, Bart Demoen
1988	—	`ch.`	A Flexible Prolog-Based Lexical Database System. Prolog and Databases William G. Imlah, Bart Demoen
1988	J	`jnl`	A Partial Evaluation System for Prolog: some Practical Considerations. New Gener. Comput. Raf Venken, Bart Demoen
1988	—	`conf`	Improving the Register Allocation of WAM by Recording Unification. ICLP/SLP Gerda Janssens, Bart Demoen, André Mariën
1987	—	`conf`	Abstract Interpretation: Towards the Global Optimization of Prolog Programs. SLP Maurice Bruynooghe, Gerda Janssens, Alain Callebaut, Bart Demoen
1987	—	`conf`	Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and Determinism. TAPSOFT, Vol.2 Peter Van Roy, Bart Demoen, Yves D. Willems