Autor der Publikation

Existence and Nonexistence of Complete Refinement Operators.

, und . ECML, Volume 784 von Lecture Notes in Computer Science, Seite 307-322. Springer, (1994)

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.

 

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)Generalizing Refinement Operators to Learn Prenex Conjunctive Normal Forms., , , und . ILP, Volume 1634 von Lecture Notes in Computer Science, Seite 245-256. Springer, (1999)Complexity Dimensions and Learnability., und . ECML, Volume 667 von Lecture Notes in Computer Science, Seite 348-353. Springer, (1993)Linear Dynamic Kahn Networks Are Deterministic., und . MFCS, Volume 1113 von Lecture Notes in Computer Science, Seite 242-254. Springer, (1996)Least Generalizations and Greatest Specializations of Sets of Clauses, und . CoRR, (1996)A Complete Method for Program Specialization Based on Unfolding., und . ECAI, Seite 438-442. John Wiley and Sons, Chichester, (1996)Sample PAC-Learnability in Model Inference., und . ECML, Volume 784 von Lecture Notes in Computer Science, Seite 217-230. Springer, (1994)Constructing Refinement Operators by Decomposing Logical Implication., , und . AI*IA, Volume 728 von Lecture Notes in Computer Science, Seite 178-189. Springer, (1993)Kahn's Fixed-Point Characterization for Linear Dynamic Networks., und . SOFSEM, Volume 1338 von Lecture Notes in Computer Science, Seite 513-522. Springer, (1997)Refining Concepts in Description Logics., und . Description Logics, Volume 33 von CEUR Workshop Proceedings, Seite 31-44. CEUR-WS.org, (2000)