Embedding revision programs in logic programming situation calculus
From MaRDI portal
Publication:4364206
DOI10.1016/S0743-1066(96)00080-5zbMath0884.68024MaRDI QIDQ4364206
Publication date: 13 November 1997
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)
Related Items (1)
This page was built for publication: Embedding revision programs in logic programming situation calculus