Modal Change Logic (MCL): Specifying the reasoning of knowledge-based systems

DOI10.1016/S0169-023X(98)00047-0MaRDI QIDQ3840884zbMATH OpenOpenAlexFDO

Authors Dieter Fensel, Rix Groenboom, Gerard R. Renardel de Lavalette

Publication date 13 August 1998

Published in Data & Knowledge Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0169-023x(98)00047-0

zbMATH Keywords

axiomatic semanticsdynamic logicformal specificationknowledge-based systemsmodal logic

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 125988
• The situation calculus: a case for modal logic
• scientific article; zbMATH DE number 683369
• scientific article; zbMATH DE number 812533

Cited in

(2)

• scientific article; zbMATH DE number 683369 (Why is no real title available?)
• KnowLang -- a formal specification model for self-adaptive systems

This page was built for publication: Modal Change Logic (MCL): Specifying the reasoning of knowledge-based systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3840884)