Bern Martens - researchr alias

researchr

You are not signed in
Sign in
Sign up

2000

Erratum to: Conjunctive Partial Deduction: Foundations, Control, Algorithms and Experiments Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen. jlp, 43(3):265, 2000.

Project Report on LP:::+:::: A Second Generation Logic Programming LanguageDanny De Schreye, Maurice Bruynooghe, Bart Demoen, Marc Denecker, Gerda Janssens, Bern Martens. aicom, 13(1):13-18, 2000.

1999

Conjunctive Partial Deduction: Foundations, Control, Algorithms, and ExperimentsDanny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen. jlp, 41(2-3):231-277, 1999.

Bottom-up Partial Deduction of Logic ProgramsWim Vanhoof, Danny De Schreye, Bern Martens. jflp, 1999(Special Issue 2), 1999.

1998

1997

Termination Analysis for Tabled Logic ProgrammingStefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos F. Sagonas. LOPSTR 1998: 111-127 [doi]

Preserving Termination of Tabled Logic Programs While UnfoldingMichael Leuschel, Bern Martens, Konstantinos F. Sagonas. LOPSTR 1998: 189-205 [doi]

To Parse or Not To ParseWim Vanhoof, Bern Martens. LOPSTR 1998: 322-342 [doi]

1996

Controlling Conjunctive Partial DeductionRobert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen. plilp 1996: 152-166

Conjunctive Partial Deduction in PracticeJesper Jørgensen, Michael Leuschel, Bern Martens. LOPSTR 1997: 59-82

Global Control for Partial Deduction through Characteristic Atoms and Global TreesMichael Leuschel, Bern Martens. dagstuhl 1996: 263-283

Automatic Finite Unfolding Using Well-Founded MeasuresBern Martens, Danny De Schreye. jlp, 28(2):89-146, 1996.

1995

1994

Sound and Complete Partial Deduction with Unfolding Based on Well-Founded MeasuresBern Martens, Danny De Schreye, Tamás Horváth. TCS, 122(1&2):97-117, 1994.

1993

Some Further Issues in Finite Unfolding (Abstract)Bern Martens, Danny De Schreye. LOPSTR 1993: 159-161

1992

1991

1988

Integrity Constraint Checking in Deductive Databases Using a Rule/Goal GraphBern Martens, Maurice Bruynooghe. treds 1988: 567-601