Bern Martens

2000
33		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)
32		Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen: Erratum to: "Conjunctive Partial Deduction: Foundations, Control, Algorithms and Experiments". J. Log. Program. 43(3): 265 (2000)
1999
31		Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen: Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments. J. Log. Program. 41(2-3): 231-277 (1999)
30		Wim Vanhoof, Danny De Schreye, Bern Martens: Bottom-up Partial Deduction of Logic Programs Journal of Functional and Logic Programming 1999(Special Issue 2): (1999)
1998
29		Wim Vanhoof, Bern Martens, Danny De Schreye, Karel De Vlaminck: Specialising the Other Way Arond. IJCSLP 1998: 279-293
28	EE	Wim Vanhoof, Danny De Schreye, Bern Martens: Bottom-Up Specialisation of Logic Programs. LOPSTR 1998: 325-327
27	EE	Wim Vanhoof, Danny De Schreye, Bern Martens: A Framework for Bottom Up Specialisation of Logic Programs. PLILP/ALP 1998: 54-72
26	EE	Michael Leuschel, Bern Martens, Danny De Schreye: Some Achievements and Prospects in Partial Deduction. ACM Comput. Surv. 30(3es): 4 (1998)
25	EE	Michael Leuschel, Bern Martens, Danny De Schreye: Controlling Generalization amd Polyvariance in Partial Deduction of Normal Logic Programs. ACM Trans. Program. Lang. Syst. 20(1): 208-258 (1998)
1997
24	EE	Stefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos F. Sagonas: Termination Analysis for Tabled Logic Programming. LOPSTR 1997: 111-127
23	EE	Michael Leuschel, Bern Martens, Konstantinos F. Sagonas: Preserving Termination of Tabled Logic Programs While Unfolding. LOPSTR 1997: 189-205
22	EE	Wim Vanhoof, Bern Martens: To Parse or Not To Parse. LOPSTR 1997: 322-342
1996
21		Michael Leuschel, Bern Martens: Global Control for Partial Deduction through Characteristic Atoms and Global Trees. Dagstuhl Seminar on Partial Evaluation 1996: 263-283
20		Jesper Jørgensen, Michael Leuschel, Bern Martens: Conjunctive Partial Deduction in Practice. LOPSTR 1996: 59-82
19		Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen: Controlling Conjunctive Partial Deduction. PLILP 1996: 152-166
18		Bern Martens, Danny De Schreye: Automatic Finite Unfolding Using Well-Founded Measures. J. Log. Program. 28(2): 89-146 (1996)
1995
17		Michael Leuschel, Bern Martens: Generating Specialised Update Procedures Through Partial Deduction of the Ground Representation. Deductive Databases / Abduction in Deductive Databases 1995: 81-95
16		Bern Martens, John P. Gallagher: Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance. ICLP 1995: 597-611
15		Michael Leuschel, Bern Martens: Partial Deduction of the Ground Representation and its Application to Integrity Checking. ILPS 1995: 495-509
14		Danny De Schreye, Michael Leuschel, Bern Martens: Tutorial on Program Specialisation (Abstract). ILPS 1995: 615-616
13		Bern Martens, Danny De Schreye: Why Untyped Nonground Metaprogramming Is Not (Much Of) A Problem. J. Log. Program. 22(1): 47-99 (1995)
1994
12		Bern Martens, Danny De Schreye, Tamás Horváth: Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures. Theor. Comput. Sci. 122(1&2): 97-117 (1994)
1993
11		Bern Martens, Danny De Schreye: Some Further Issues in Finite Unfolding (Abstract). LOPSTR 1993: 159-161
1992
10		Danny De Schreye, Bern Martens: A sensible least Herbrand semantics for untyped Vanilla meta-programming and its extension to a limited form of amalgamation. CNKBS 1992: 49-51
9		Bern Martens, Danny De Schreye, Maurice Bruynooghe: Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures. FGCS 1992: 473-480
8		Bern Martens, Danny De Schreye: A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming. JICSLP 1992: 511-525
7		Danny De Schreye, Bern Martens: A Sensible Least Herbrand Semantics for Untyped Vanilla Meta-Programming and its Extension to a Limited Form of Amalgamation. META 1992: 192-204
6		Maurice Bruynooghe, Danny De Schreye, Bern Martens: A General Criterion for Avoiding Infinite Unfolding during Partial Deduction. New Generation Comput. 11(1): 47-79 (1992)
1991
5		Maurice Bruynooghe, Danny De Schreye, Bern Martens: A General Criterion for Avoiding Infinite Unfolding During Partial Deduction of Logic Programs. ISLP 1991: 117-131
4		Luc De Raedt, Maurice Bruynooghe, Bern Martens: Integrity Constraints and Interactive Concept-Learning. ML 1991: 394-398
3		François Bry, Rainer Manthey, Bern Martens: Integrity Verification in Knowledge Bases. RCLP 1991: 114-139
2		Danny De Schreye, Bern Martens, Gunther Sablon, Maurice Bruynooghe: Compiling Bottom-up and Mixed Derivations into Top-down Executable Logic Programs. J. Autom. Reasoning 7(3): 337-358 (1991)
1988
1		Bern Martens, Maurice Bruynooghe: Integrity Constraint Checking in Deductive Databases Using a Rule/Goal Graph. Expert Database Conf. 1988: 567-601

Coauthor Index

1	Maurice Bruynooghe	[1] [2] [4] [5] [6] [9] [33]
2	François Bry (François Bry-Haußer)	[3]
3	Stefaan Decorte	[24]
4	Bart Demoen	[33]
5	Marc Denecker	[33]
6	John P. Gallagher	[16]
7	Robert Glück	[19] [31] [32]
8	Tamás Horváth	[12]
9	Gerda Janssens	[33]
10	Jesper Jørgensen	[19] [20] [31] [32]
11	Michael Leuschel	[14] [15] [17] [20] [21] [23] [24] [25] [26] [31] [32]
12	Rainer Manthey	[3]
13	Luc De Raedt	[4]
14	Gunther Sablon	[2]
15	Konstantinos F. Sagonas	[23] [24]
16	Danny De Schreye	[2] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [18] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33]
17	Morten Heine Sørensen	[19] [31] [32]
18	Wim Vanhoof	[22] [27] [28] [29] [30]
19	Karel De Vlaminck	[29]

Colors in the list of coauthors