Efficient Open World Reasoning for Planning
From MaRDI portal
Publication:5310664
DOI10.2168/LMCS-2(3:5)2006zbMath1126.68586MaRDI QIDQ5310664
Tamara Babaian, James G. Schmolze
Publication date: 11 October 2007
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (1)
Uses Software
This page was built for publication: Efficient Open World Reasoning for Planning