Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Hierarchical decompositions and termination analysis for generalized planning - MaRDI portal

Hierarchical decompositions and termination analysis for generalized planning

From MaRDI portal

Publication:6488800

Jump to:navigation, search

DOI10.1613/jair.1.14185MaRDI QIDQ6488800

Siddharth Srivastava

Publication date: 23 October 2023

Published in: The Journal of Artificial Intelligence Research (JAIR) (Search for Journal in Brave)

zbMATH Keywords

planning mathematical foundations reasoning about actions and change generalized planning

Mathematics Subject Classification ID

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

This page was built for publication: Hierarchical decompositions and termination analysis for generalized planning

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