Turning an Action Formalism Into a Planner—a Case Study

DOI10.1093/LOGCOM/4.5.617zbMath0815.68095OpenAlexW2025451286MaRDI QIDQ4316296

Joachim Hertzberg, Sylvie Thiébaux

Publication date: 30 June 1995

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/4.5.617

zbMATH Keywords

approximate reasoningneat semantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

This page was built for publication: Turning an Action Formalism Into a Planner—a Case Study