1.
|
Consensus Knowledge Acquisition Trice, Andrew - Davis, Randall
|
2.
|
3-round weak zero-knowledge proofs for [Nu] [Rho], Three-round weak ZK proofs for [Nu] [Rho] Lim, Dah-Yoh, 1978-
|
3.
|
ARIADNE: Pattern-Directed Inference and Hierarchical Abstraction in Protein Structure Recognition Lathrop, Richard H. - Webster, Teresa A. - Smith, Temple F.
|
4.
|
Simplifying Decision Trees Quinlan, J.R.
|
5.
|
Taxonomic Syntax for First-Order Inference McAllester, David - Givan, Robert
|
6.
|
Toward a Theory of Representation Design Baalen, Jeffrey Van
|
7.
|
Circumscribing Circumscription: A Guide to Relevance and Incompleteness Williams, Brian C.
|
8.
|
Classifying Objects from Visual Information Bobick, Aaron - Richards, Whitman
|
9.
|
Issues in Model Based Troubleshooting Hamscher, Walter - Davis, Randall
|
10.
|
Qualitative and Quantitative Knowledge in Classical Mechanics Kleer, Johan De
|