Publication:5203721

zbMath0725.68101MaRDI QIDQ5203721

Hector J. Levesque, Gerhard Lakemeyer

Publication date: 1988

zbMATH Keywords

tractability; knowledge representation service; propositional logic of belief

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

68T27: Logic in artificial intelligence

68T30: Knowledge representation

68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence

Related Items

Substructural epistemic logics, Relevance from an epistemic perspective, The epistemic structure of a theory of a game, On the decidability and complexity of reasoning about only knowing