Learning in Order to Reason: The Approach
暂无分享,去创建一个
[1] Dan Roth,et al. Learning to reason , 1994, JACM.
[2] Nader H. Bshouty. Exact Learning Boolean Function via the Monotone Theory , 1995, Inf. Comput..
[3] Dan Roth,et al. Learning Active Classifiers , 1996, ICML.
[4] Bart Selman,et al. Knowledge compilation and theory approximation , 1996, JACM.
[5] John McCarthy,et al. Programs with common sense , 1960 .
[6] Bart Selman,et al. Knowledge Compilation using Horn Approximations , 1991, AAAI.
[7] Dan Roth,et al. Applying Winnow to Context-Sensitive Spelling Correction , 1996, ICML.
[8] Michael Frazier,et al. Learning From Entailment: An Application to Propositional Horn Sentences , 1993, ICML.
[9] Nils J. Nilsson,et al. Logic and Artificial Intelligence , 1991, Artif. Intell..
[10] Jon Doyle,et al. Two Theses of Knowledge Representation: Language Restrictions, Taxonomic Classification, and the Utility of Representation Services , 1991, Artif. Intell..
[11] Eric B. Baum,et al. Toward a Model of Mind as a Laissez-Faire Economy of Idiots , 1996, ICML.
[12] Lokendra Shastri,et al. A Computational Model of Tractable Reasoning - Taking Inspiration from Cognition , 1993, IJCAI.
[13] Dan Roth,et al. Reasoning with Models , 1994, Artif. Intell..
[14] R. A. Brooks,et al. Intelligence without Representation , 1991, Artif. Intell..
[15] Nader H. Bshouty,et al. Exact learning via the Monotone theory , 1993, Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science.
[16] Marco Cadoli. Tractable Reasoning in Artificial Intelligence , 1995, Lecture Notes in Computer Science.
[17] David Kirsh,et al. Foundations of AI: The Big Issues , 1991, Artif. Intell..
[18] Dan Roth,et al. Learning to Reason: The Non-Monotonic Case , 1995, IJCAI.
[19] Moses Moshe TennenholtzFaculty. Oo-line Reasoning for On-line Eeciency: Knowledge Bases , 1996 .
[20] Dan Roth,et al. Default-Reasoning with Models , 1995, IJCAI.
[21] Moshe Tennenholtz,et al. Off-line Reasoning for On-line Efficiency , 1993, IJCAI.
[22] Dan Roth,et al. On the Hardness of Approximate Reasoning , 1993, IJCAI.
[23] C.H. Papadimitriou,et al. On selecting a satisfying truth assignment , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.
[24] Leslie G. Valiant,et al. Circuits of the mind , 1994 .
[25] B. Selman. Tractable default reasoning , 1991 .