Shan-Hwei Nienhuys-Cheng

Publication Activity (10 Years)

Years Active: 1990-2000
Publications (10 Years): 0

Publications

Liviu Badea, Shan-Hwei Nienhuys-Cheng
Refining Concepts in Description Logics. Description Logics (2000)
Liviu Badea, Shan-Hwei Nienhuys-Cheng
A Refinement Operator for Description Logics. ILP (2000)
Shan-Hwei Nienhuys-Cheng, Wim Van Laer, Jan Ramon, Luc De Raedt
Generalizing Refinement Operators to Learn Prenex Conjunctive Normal Forms. ILP (1999)
Arie de Bruin, Shan-Hwei Nienhuys-Cheng
Linear Dynamic Kahn Networks are Deterministic. Theor. Comput. Sci. 195 (1) (1998)
Shan-Hwei Nienhuys-Cheng
Distances and Limits on Herbrand Interpretations. ILP (1998)
Patrick R. J. van der Laag, Shan-Hwei Nienhuys-Cheng
Completeness and Properness of Refinement Operators in Inductive Logic Programming. J. Log. Program. 34 (3) (1998)
Shan-Hwei Nienhuys-Cheng
Distance Between Herbrand Interpretations: A Measure for Approximations to a Target Concept. ILP (1997)
Shan-Hwei Nienhuys-Cheng, Arie de Bruin
Kahn's Fixed-Point Characterization for Linear Dynamic Networks. SOFSEM (1997)
Shan-Hwei Nienhuys-Cheng, Ronald de Wolf
A Complete Method for Program Specialization Based on Unfolding. ECAI (1996)
Shan-Hwei Nienhuys-Cheng, Ronald de Wolf
Least Generalizations and Greatest Specializations of Sets of Clauses. J. Artif. Intell. Res. 4 (1996)
Shan-Hwei Nienhuys-Cheng, Ronald de Wolf
Least Generalizations and Greatest Specializations of Sets of Clauses CoRR (1996)
Shan-Hwei Nienhuys-Cheng, Ronald de Wolf
Least Generalizations under Implication. Inductive Logic Programming Workshop (1996)
Arie de Bruin, Shan-Hwei Nienhuys-Cheng
Linear Dynamic Kahn Networks Are Deterministic. MFCS (1996)
Shan-Hwei Nienhuys-Cheng, Ronald de Wolf
The Equivalence of the Subsumption Theorem and the Refutation-Completeness for Unconstrained Resolution. ASIAN (1995)
Shan-Hwei Nienhuys-Cheng, Mark Polman
Sample PAC-Learnability in Model Inference. ECML (1994)
Patrick R. J. van der Laag, Shan-Hwei Nienhuys-Cheng
Existence and Nonexistence of Complete Refinement Operators. ECML (1994)
Patrick R. J. van der Laag, Shan-Hwei Nienhuys-Cheng
Subsumption and Refinement in Model Inference. ECML (1993)
Shan-Hwei Nienhuys-Cheng, Mark Polman
Complexity Dimensions and Learnability. ECML (1993)
Shan-Hwei Nienhuys-Cheng, Patrick R. J. van der Laag, Leendert W. N. van der Torre
Constructing Refinement Operators by Decomposing Logical Implication. AI*IA (1993)
Shan-Hwei Nienhuys-Cheng, Peter A. Flach
Consistent Term Mappings, Term Partitions and Inverse Resolution. EWSL (1991)
Shan-Hwei Nienhuys-Cheng
Classification and syntax of constraints in binary semantical networks. Inf. Syst. 15 (5) (1990)