1.
|
Circumscribing Circumscription: A Guide to Relevance and Incompleteness Williams, Brian C.
|
2.
|
Description Logic Programs: Combining Logic Programs with Description Logic Grosof, Benjamin - Horrocks, Ian - Volz, Raphael - Decker, Stefan
|
3.
|
Non prioritized answer set revision Simari, Gerardo I. - Falappa, Marcelo Alejandro
|
4.
|
3-round weak zero-knowledge proofs for [Nu] [Rho], Three-round weak ZK proofs for [Nu] [Rho] Lim, Dah-Yoh, 1978-
|
5.
|
A Proposal for a Computational Model of Anatomical and Physiological Reasoning Smith, Brian Cantwell
|
6.
|
ARIADNE: Pattern-Directed Inference and Hierarchical Abstraction in Protein Structure Recognition Lathrop, Richard H. - Webster, Teresa A. - Smith, Temple F.
|
7.
|
Simplifying Decision Trees Quinlan, J.R.
|
8.
|
Priors Stabilizers and Basis Functions: From Regularization to Radial, Tensor and Additive Splines Girosi, Federico - Jones, Michael - Poggio, Tomaso
|
9.
|
Classifying Objects from Visual Information Bobick, Aaron - Richards, Whitman
|
10.
|
Issues in Model Based Troubleshooting Hamscher, Walter - Davis, Randall
|