Default reasoning by deductive planning

From MaRDI portal
Publication:1896366

DOI10.1007/BF00881829zbMath0842.68080MaRDI QIDQ1896366

Michael Thielscher, Torsten Schaub

Publication date: 14 July 1996

Published in: Journal of Automated Reasoning (Search for Journal in Brave)




Related Items (4)



Cites Work




This page was built for publication: Default reasoning by deductive planning