scientific article; zbMATH DE number 4187151

zbMath0719.68074MaRDI QIDQ5751991

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

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

quantitative reasoningphysical objectslabeled-intervals propagationmechanical design compiler

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Artificial intelligence (68T99) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Constraint reasoning based on interval arithmetic: The tolerance propagation approach