Publication:5751991

zbMath0719.68074MaRDI QIDQ5751991

Tomás Lozano-Pérez, Warren Seering, Allen C. Ward

Publication date: 1989

zbMATH Keywords

quantitative reasoning; physical objects; labeled-intervals propagation; mechanical design compiler

Mathematics Subject Classification ID

68T30: Knowledge representation

68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence

68T99: Artificial intelligence

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

Related Items

Constraint reasoning based on interval arithmetic: The tolerance propagation approach