Publication:5685660
From MaRDI portal
zbMath0268.68039MaRDI QIDQ5685660
Publication date: 1971
68T10: Pattern recognition, speech recognition
Related Items
A mechanical solution of Schubert's steamroller by many-sorted resolution, 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, Mechanical verification on strategies