Publication:4012200

zbMath0745.68103MaRDI QIDQ4012200

No author found.

Publication date: 27 September 1992

zbMATH Keywords

planning logic; semantics of the planning processes; truth criterion checking

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

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

Related Items

A unified framework for explanation-based generalization of partially ordered and partially instantiated plans