scientific article; zbMATH DE number 4197473

zbMath0725.68101MaRDI QIDQ5203721

Hector J. Levesque, Gerhard Lakemeyer

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

tractabilityknowledge representation servicepropositional logic of belief

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items

The epistemic structure of a theory of a game, Limited reasoning in first-order knowledge bases with full introspection, Relevance from an epistemic perspective, Substructural epistemic logics, Trans-epistemic semantics for logic programs, On the decidability and complexity of reasoning about only knowing