| |
 |      |
                                            |
Note: Links lead to the DBLP on the Web. Scott Dietzen 2 Scott Dietzen, Frank Pfenning : Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization. Machine Learning 9 : 23-55 (1992) 1 Scott Dietzen, Frank Pfenning : A Declarative Alternative to "Assert" in Logic Programming. ISLP 1991 : 372-386  DiSC'02 © 2003 Association for Computing Machinery |
