Automated analysis of operators on state tables: A technique for intelligent search

DOI10.1007/BF02432148zbMath0642.68172OpenAlexW1984911207MaRDI QIDQ1101264

Thomas R. Kramer

Publication date: 1986

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02432148

zbMATH Keywords

roboticsintelligent searchingoperator analysisstate tables

Mathematics Subject Classification ID

Searching and sorting (68P10) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cites Work

• A logical theory of robot problem solving
• Unnamed Item
• Unnamed Item

This page was built for publication: Automated analysis of operators on state tables: A technique for intelligent search