scientific article
From MaRDI portal
Publication:2756788
zbMath0998.68044MaRDI QIDQ2756788
Gerhard Lakemeyer, Hector J. Levesque
Publication date: 19 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Database theory (68P15) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)
Related Items (13)
Bounded situation calculus action theories ⋮ The Truth about Defaults ⋮ Multi-modal nonmonotonic logics of minimal knowledge ⋮ Inference-proof updating of a weakened view under the modification of input parameters ⋮ Belief revision and projection in the epistemic situation calculus ⋮ Substructural epistemic logics ⋮ The situation calculus: a case for modal logic ⋮ Semantical considerations on multiagent only knowing ⋮ On the progression of belief ⋮ Logically automorphically equivalent knowledge bases models ⋮ A semantic characterization of a useful fragment of the situation calculus with knowledge ⋮ A Semantical Account of Progression in the Presence of Defaults ⋮ Situation calculus for controller synthesis in manufacturing systems with first-order state representation
This page was built for publication:
