( en | de | ru )

 

Disambiguation of "Schrödl, Stefan"

Author of the publication

copydeleteadd this publication to your clipboard
An Extension of Explanation-Based Generalization to Negation as Failure.

. KI, volume 981 of Lecture Notes in Computer Science, page 65-76. Springer, (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stefan Schrödl

Stefan Schrödl

Falk Schrödl

Georg Schrödl

Wieland Schrödl

 

Other publications of authors with the same name

Localizing A*., and . AAAI/IAAI, page 885-890. AAAI Press / The MIT Press, (2000)Route Planning and Map Inference with Global Positioning Traces., and . Computer Science in Perspective, volume 2598 of Lecture Notes in Computer Science, page 128-151. Springer, (2003)Inferring Flow of Control in Program Synthesis by Example., and . KI, volume 1701 of Lecture Notes in Computer Science, page 171-182. Springer, (1999)Explanation-Based Generalization for Negation as Failure and Multiple Examples.. ECAI, page 448-452. John Wiley and Sons, Chichester, (1996)An Improved Search Algorithm for Optimal Multiple-Sequence Alignment.. J. Artif. Intell. Res., (2005)Explanation-Based Generalization in Game Playing: Quantitative Results.. ECML, volume 1398 of Lecture Notes in Computer Science, page 256-267. Springer, (1998)FIDO: Exploring Finite Domain Consistency Techniques in Logic Programming., , and . PDK, volume 567 of Lecture Notes in Computer Science, page 425-427. Springer, (1991)An Extension of Explanation-Based Generalization to Negation as Failure.. KI, volume 981 of Lecture Notes in Computer Science, page 65-76. Springer, (1995)Constrained K-means Clustering with Background Knowledge., , , and . ICML, page 577-584. Morgan Kaufmann, (2001)Kernel-Based Methods for Vector-Valued Data with Correlated Components., , and . SIAM J. Sci. Comput., 33 (4): 1975-1995 (2011)