View-based explicit knowledge
From MaRDI portal
Publication:1295424
DOI10.1016/S0168-0072(98)00045-1zbMath0933.68130MaRDI QIDQ1295424
Publication date: 24 June 1999
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
03B45: Modal logic (including the logic of norms)
68T27: Logic in artificial intelligence
68T30: Knowledge representation
Related Items
Cites Work