scientific article; zbMATH DE number 3423582

zbMath0268.68039MaRDI QIDQ5685660

Patrick J. Hayes

Publication date: 1971

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

Mathematics Subject Classification ID

Pattern recognition, speech recognition (68T10)

Related Items (7)

Mechanical verification on strategies ⋮ Automatic synthesis of logical models for order-sorted first-order theories ⋮ Non-monotonic logic. I ⋮ The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning ⋮ A logical theory of robot problem solving ⋮ Specifying causality in action theories: A default logic approach ⋮ A mechanical solution of Schubert's steamroller by many-sorted resolution

This page was built for publication: