( en | de | ru )

 

Disambiguierung von "Nienhuys-Cheng, Shan-Hwei"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Constructing Refinement Operators by Decomposing Logical Implication.

, , und . AI*IA, Volume 728 von Lecture Notes in Computer Science, Seite 178-189. Springer, (1993)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Kun-Shan Cheng

Shan-Cheng Yuan

Shan-Shan Zhan

Cheng-Yung Cheng

Hwei Ling Khor

 

Weitere Publikationen von Autoren mit dem selben Namen

Existence and Nonexistence of Complete Refinement Operators., und . ECML, Volume 784 von Lecture Notes in Computer Science, Seite 307-322. Springer, (1994)Complexity Dimensions and Learnability., und . ECML, Volume 667 von Lecture Notes in Computer Science, Seite 348-353. Springer, (1993)Generalizing Refinement Operators to Learn Prenex Conjunctive Normal Forms., , , und . ILP, Volume 1634 von Lecture Notes in Computer Science, Seite 245-256. Springer, (1999)Linear Dynamic Kahn Networks Are Deterministic., und . MFCS, Volume 1113 von Lecture Notes in Computer Science, Seite 242-254. Springer, (1996)Subsumption Theorem and Refutation Completeness, und . Foundations of Inductive Logic Programming, Volume 1228 von LNAI, Kapitel 5, Springer-Verlag, (1997)Classification and syntax of constraints in binary semantical networks.. Inf. Syst., 15 (5): 497-513 (1990)Consistent Term Mappings, Term Partitions and Inverse Resolution., und . EWSL, Volume 482 von Lecture Notes in Computer Science, Seite 361-374. Springer, (1991)The Equivalence of the Subsumption Theorem and the Refutation-Completeness for Unconstrained Resolution., und . ASIAN, Volume 1023 von Lecture Notes in Computer Science, Seite 269-285. Springer, (1995)Distances and Limits on Herbrand Interpretations.. ILP, Volume 1446 von Lecture Notes in Computer Science, Seite 250-260. Springer, (1998)Least Generalizations under Implication., und . Inductive Logic Programming Workshop, Volume 1314 von Lecture Notes in Computer Science, Seite 285-298. Springer, (1996)