Publication:3198927

From MaRDI portal

Jump to:navigation, search

zbMath0713.68091MaRDI QIDQ3198927

Yoav Shoham

Publication date: 1989

zbMATH Keywords

branching-time temporal logic; evolving time-line structure; time-action-knowledge

Mathematics Subject Classification ID

68T30: Knowledge representation

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

Related Items

Actions on belief, A unifying semantics for time and events

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3198927&oldid=16339243"