-
1
-
-
0002556310
-
A pointless theory of space based on strong connection and congruence
-
Boston, Massachusetts, Morgan Kaufmann
-
Borgo, S., N. Guarino, and C. Masolo (1996). A pointless theory of space based on strong connection and congruence. In Proceedings of Principles of Knowledge Representation and Reasoning (KR96), Boston, Massachusetts, pp. 220-229. Morgan Kaufmann.
-
(1996)
Proceedings of Principles of Knowledge Representation and Reasoning (KR96)
, pp. 220-229
-
-
Borgo, S.1
Guarino, N.2
Masolo, C.3
-
3
-
-
84972508690
-
A calculus of individuals based on ‘connection’
-
Clarke, B. L. (1981). A calculus of individuals based on ‘connection’. Notre Dame Journal of Formal Logic 22(3), 204-218.
-
(1981)
Notre Dame Journal of Formal Logic
, vol.22
, Issue.3
, pp. 204-218
-
-
Clarke, B.L.1
-
5
-
-
0026903731
-
A symbolic approach to qualitative kinematics
-
Faltings, B. (1992). A symbolic approach to qualitative kinematics. Artificial Intelligence 56, 139-170.
-
(1992)
Artificial Intelligence
, vol.56
, pp. 139-170
-
-
Faltings, B.1
-
6
-
-
0023537240
-
Simplified generation of all mechanical assembly sequences
-
Fazio, T. L. D. and D. E. Whitney (1987). Simplified generation of all mechanical assembly sequences. IEEE Journal of Robotics and Automation RA-3(6), 640-658.
-
(1987)
IEEE Journal of Robotics and Automation
, vol.RA-3
, Issue.6
, pp. 640-658
-
-
Fazio, T.1
Whitney, D.E.2
-
8
-
-
0003066845
-
An ontology for engineering mathematics
-
J. Doyle, P. Torasso, and E. Sandewall (Eds.), San Mateo, CA, Morgan Kaufmann
-
Gruber, T. R. and G. R. Olsen (1994). An ontology for engineering mathematics. In J. Doyle, P. Torasso, and E. Sandewall (Eds.), Proceedings Fourth International Conference on Principles of Knowledge Representation and Reasoning, San Mateo, CA, pp. 258-269. Morgan Kaufmann.
-
(1994)
Proceedings Fourth International Conference on Principles of Knowledge Representation and Reasoning
, pp. 258-269
-
-
Gruber, T.R.1
Olsen, G.R.2
-
10
-
-
85102015617
-
Reverse fishbone diagram: A tool in aid of design for product retirement
-
August, Irvine, California. 96-DETC/DFM-1272, ASME DTC/CIE Proceedings CD, 0-7918-1232-4
-
Ishii, K. and B. H. Lee (1996, August). Reverse fishbone diagram: A tool in aid of design for product retirement. In ASME Design for Manufacturability Conference, Irvine, California. 96-DETC/DFM-1272, ASME DTC/CIE Proceedings CD, ISBN 0-7918-1232-4.
-
(1996)
ASME Design for Manufacturability Conference
-
-
Ishii, K.1
Lee, B.H.2
-
13
-
-
0001930291
-
A spatial logic based on regions and connections
-
B. Nebel, C. Rich, and W. Swartout (Eds.), Los Altos, Morgan Kaufmann
-
Randell, D. A. and A. G. Cohn (1992). A spatial logic based on regions and connections. In B. Nebel, C. Rich, and W. Swartout (Eds.), Proceedings of the third National Conference on Principles of Knowledge Representation and Reasoning., Los Altos, pp. 165-176. Morgan Kaufmann.
-
(1992)
Proceedings of the Third National Conference on Principles of Knowledge Representation and Reasoning
, pp. 165-176
-
-
Randell, D.A.1
Cohn, A.G.2
-
14
-
-
0001088339
-
Naive topology: Modeling the force pump
-
B. Faltings and R Struss (Eds.), Cambridge, Massachusetts: The MIT Press. 0-26206142-2
-
Randell, D. A., A. G. Cohn, and Z. Cui (1992). Naive topology: Modeling the force pump. In B. Faltings and R Struss (Eds.), Recent Advances in Qualitative Physics, pp. 177-192. Cambridge, Massachusetts: The MIT Press. ISBN 0-26206142-2.
-
(1992)
Recent Advances in Qualitative Physics
, pp. 177-192
-
-
Randell, D.A.1
Cohn, A.G.2
Cui, Z.3
-
15
-
-
0026817730
-
Towards an integrated design for an assembly evaluation and reasoning system
-
February
-
Sturges, R. H. Jr. and M. I. Kilani (1992, February). Towards an integrated design for an assembly evaluation and reasoning system. Computer-Aided Design 24(2), 67-79.
-
(1992)
Computer-Aided Design
, vol.24
, Issue.2
, pp. 67-79
-
-
Sturges, R.H.1
Kilani, M.I.2
-
17
-
-
0028752140
-
Geometric reasoning about mechanical assembly
-
Wilson, R. H. and J.-C. Latombe (1994). Geometric reasoning about mechanical assembly. Artificial Intelligence 71,371-396.
-
(1994)
Artificial Intelligence
, vol.71
, pp. 371-396
-
-
Wilson, R.H.1
Latombe, J.-C.2
|