Shan-Hwei Nienhuys-Cheng

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