Publication:2756788
From MaRDI portal
zbMath0998.68044MaRDI QIDQ2756788
Hector J. Levesque, Gerhard Lakemeyer
Publication date: 19 November 2001
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68P15: Database theory
68T30: Knowledge representation
68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
Related Items
A semantic characterization of a useful fragment of the situation calculus with knowledge, The situation calculus: a case for modal logic, Multi-modal nonmonotonic logics of minimal knowledge, The Truth about Defaults, A Semantical Account of Progression in the Presence of Defaults