Skip to content

Shan-Hwei Nienhuys-Cheng

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

8

Venues

4

Active years

1996–2000

Best venue rank

B

Where they publish

Papers

8 indexed papers, newest first.

YearVenueTitleAuthors
2000ILPA Refinement Operator for Description Logics.Liviu Badea, Shan-Hwei Nienhuys-Cheng
1999ILPGeneralizing Refinement Operators to Learn Prenex Conjunctive Normal Forms.Shan-Hwei Nienhuys-Cheng, Wim Van Laer, Jan Ramon, Luc De Raedt
1998ILPDistances and Limits on Herbrand Interpretations.Shan-Hwei Nienhuys-Cheng
1997ILPDistance Between Herbrand Interpretations: A Measure for Approximations to a Target Concept.Shan-Hwei Nienhuys-Cheng
1997SOFSEMKahn's Fixed-Point Characterization for Linear Dynamic Networks.Shan-Hwei Nienhuys-Cheng, Arie de Bruin
1996ECAIA Complete Method for Program Specialization Based on Unfolding.Shan-Hwei Nienhuys-Cheng, Ronald de Wolf
1996ILPLeast Generalizations under Implication.Shan-Hwei Nienhuys-Cheng, Ronald de Wolf
1996MFCSLinear Dynamic Kahn Networks Are Deterministic.Arie de Bruin, Shan-Hwei Nienhuys-Cheng