1.
|
3-round weak zero-knowledge proofs for [Nu] [Rho], Three-round weak ZK proofs for [Nu] [Rho] Lim, Dah-Yoh, 1978-
|
2.
|
ARIADNE: Pattern-Directed Inference and Hierarchical Abstraction in Protein Structure Recognition Lathrop, Richard H. - Webster, Teresa A. - Smith, Temple F.
|
3.
|
Simplifying Decision Trees Quinlan, J.R.
|
4.
|
Circumscribing Circumscription: A Guide to Relevance and Incompleteness Williams, Brian C.
|
5.
|
Classifying Objects from Visual Information Bobick, Aaron - Richards, Whitman
|
6.
|
Issues in Model Based Troubleshooting Hamscher, Walter - Davis, Randall
|
7.
|
Qualitative and Quantitative Knowledge in Classical Mechanics Kleer, Johan De
|
8.
|
Reasoning from Incomplete Knowledge in a Procedural Deduction System Moore, Robert Carter
|
9.
|
Artificial Intelligence, Language and the Study of Knowledge Goldstein, Ira - Papert, Seymour
|
10.
|
A Frame for Frames: Representing Knowledge for Recognition Kuipers, Benjamin J.
|