Explanation Closure, Action Closure and the Sandewall Test Suite for Reasoning about Change
From MaRDI portal
Publication:4316299
DOI10.1093/logcom/4.5.679zbMath0815.68093OpenAlexW2108378644MaRDI QIDQ4316299
Publication date: 7 December 1994
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/0b3d5daf6d6c30916b6d14f7c9248b055a918e72
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (1)
This page was built for publication: Explanation Closure, Action Closure and the Sandewall Test Suite for Reasoning about Change
