BibSonomy publications for /author/Nienhuys-ChengMon Dec 05 00:00:00 CET 2011CoRRLeast Generalizations and Greatest Specializations of Sets of Clausescs.AI/96051021996dblp Thu Dec 01 00:00:00 CET 2011J. Log. Program.3201-225Completeness and Properness of Refinement Operators in Inductive Logic Programming.341998dblp Thu Aug 25 00:00:00 CEST 2011Inf. Syst.5497-513Classification and syntax of constraints in binary semantical networks.151990dblp Fri Jun 17 00:00:00 CEST 2011ILPconf/ilp/1999245-256Lecture Notes in Computer ScienceGeneralizing Refinement Operators to Learn Prenex Conjunctive Normal Forms.16341999dblp Thu Jun 16 00:00:00 CEST 2011SOFSEMconf/sofsem/1997513-522Lecture Notes in Computer ScienceKahn's Fixed-Point Characterization for Linear Dynamic Networks.13381997dblp Thu Jun 16 00:00:00 CEST 2011ILPconf/ilp/1997213-226Lecture Notes in Computer ScienceDistance Between Herbrand Interpretations: A Measure for Approximations to a Target Concept.12971997dblp Thu Jun 16 00:00:00 CEST 2011Inductive Logic Programming Workshopconf/ilp/1996285-298Lecture Notes in Computer ScienceLeast Generalizations under Implication.13141996dblp Thu Jun 16 00:00:00 CEST 2011ILPconf/ilp/1998250-260Lecture Notes in Computer ScienceDistances and Limits on Herbrand Interpretations.14461998dblp Wed Jul 21 15:45:16 CEST 2010J. Artif. Intell. Res. (JAIR)341-363Least Generalizations and Greatest Specializations of Sets of Clauses.41996dblp Thu Oct 15 00:00:00 CEST 2009EWSLconf/ecml/1991361-374Lecture Notes in Computer ScienceConsistent Term Mappings, Term Partitions and Inverse Resolution.4821991dblp Thu Oct 15 00:00:00 CEST 2009ECMLconf/ecml/1994217-230Lecture Notes in Computer ScienceSample PAC-Learnability in Model Inference.7841994dblp Thu Oct 15 00:00:00 CEST 2009ECMLconf/ecml/1994307-322Lecture Notes in Computer ScienceExistence and Nonexistence of Complete Refinement Operators.7841994dblp Thu Oct 15 00:00:00 CEST 2009ECMLconf/ecml/1993348-353Lecture Notes in Computer ScienceComplexity Dimensions and Learnability.6671993dblp Thu Oct 15 00:00:00 CEST 2009ECMLconf/ecml/199395-114Lecture Notes in Computer ScienceSubsumption and Refinement in Model Inference.6671993dblp Mon Sep 21 00:00:00 CEST 2009MFCSconf/mfcs/1996242-254Lecture Notes in Computer ScienceLinear Dynamic Kahn Networks Are Deterministic.11131996dblp Tue May 26 17:07:43 CEST 2009LNAIFoundations of Inductive Logic Programming12281997book ilp induction inductive_programming logic Thu Jan 08 12:56:22 CET 2009Foundations of Inductive Logic Programming5LNAISubsumption Theorem and Refutation Completeness12281997ilp logic Fri Nov 02 15:38:49 CET 2007ECMLconf/ecml/1994307-322Lecture Notes in Computer ScienceExistence and Nonexistence of Complete Refinement Operators.7841994new refinement Sun Dec 17 16:44:14 CET 2006Lecture Notes in Computer Science40--??A Refinement Operator for Description Logics18662000tag Thu Oct 12 15:52:32 CEST 2006Lecture Notes in Computer Science40--??A Refinement Operator for Description Logics18662000imported concept_learning