KnowLang -- a formal specification model for self-adaptive systems

DOI10.1007/978-3-031-40436-8_14MaRDI QIDQ6535842zbMATH OpenFDO

Authors Mike Hinchey, Emil Vassev

Publication date 28 February 2024

Full work available at URL https://doi.org/10.1007/978-3-031-40436-8_14

zbMATH Keywords

formal specificationKnowLangself-adaptive systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Learning and adaptive systems in artificial intelligence (68T05) Knowledge representation (68T30)

Recommendations

• Modal Change Logic (MCL): Specifying the reasoning of knowledge-based systems
• A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems
• XML schema language specifications for conditional knowledge
• scientific article; zbMATH DE number 1262881
• Toward knowledge-based specifications of languages

Cites work

• An analysis of first-order logics of probability
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 6606365 (Why is no real title available?)
• Statistical methods in bioinformatics. An introduction.

This page was built for publication: KnowLang -- a formal specification model for self-adaptive systems

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