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
Artificial Intelligence Planning Methods Based on Automated Reasoning Techniques - MaRDI portal

Artificial Intelligence Planning Methods Based on Automated Reasoning Techniques

From MaRDI portal

Publication:3054224

Jump to:navigation, search

DOI10.3724/SP.J.1001.2009.03468zbMath1212.68108MaRDI QIDQ3054224

Ying Li, Lei Liu, Lian Shi, Shuai Lu

Publication date: 5 November 2010

Published in: Journal of Software (Search for Journal in Brave)

zbMATH Keywords

modal logic nonmonotonic logic automated reasoning propositional logic description logic intelligent planning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) General topics in artificial intelligence (68T01)

This page was built for publication: Artificial Intelligence Planning Methods Based on Automated Reasoning Techniques

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