1.
|
Description Logic Programs: Combining Logic Programs with Description Logic Grosof, Benjamin - Horrocks, Ian - Volz, Raphael - Decker, Stefan
|
2.
|
Consensus Knowledge Acquisition Trice, Andrew - Davis, Randall
|
3.
|
A Proposal for a Computational Model of Anatomical and Physiological Reasoning Smith, Brian Cantwell
|
4.
|
Priors Stabilizers and Basis Functions: From Regularization to Radial, Tensor and Additive Splines Girosi, Federico - Jones, Michael - Poggio, Tomaso
|
5.
|
Natural language processing for unmanned aerial vehicle guidance interfaces, Natural language processing for UAV guidance interfaces Craparo, Emily M. (Emily Marie), 1980-
|
6.
|
High-throughput genomic phenotyping Ericksen, Daniel S. (Daniel Southwick), 1977-
|
7.
|
Taxonomic Syntax for First-Order Inference McAllester, David - Givan, Robert
|
8.
|
Toward a Theory of Representation Design Baalen, Jeffrey Van
|
9.
|
Causal/Temporal Connectives: Syntax and Lexicon Brent, Michael R.
|
10.
|
The Bifurcation Interpreter: A Step Towards the Automatic Analysis of Dynamical Systems Abelson, Harold
|