Interpreting knowledge-based programs

DOI10.1007/978-3-031-30044-8_10MaRDI QIDQ6535240zbMATH OpenFDO

Authors Alexander Knapp, Heribert Mühlberger, Bernhard Reus

Publication date 24 November 2023

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 2182499
• Knowledge-based programs
• A note on knowledge-based programs and specifications
• Finite state implementations of knowledge-based programs (extended abstract)
• Verified synthesis of knowledge-based programs in finite synchronous environments

Cites work

• scientific article; zbMATH DE number 986407 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 2182499 (Why is no real title available?)
• scientific article; zbMATH DE number 2087624 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A logic of nonmonotone inductive definitions
• Dynamic epistemic logic
• Handbook of epistemic logic
• Knowledge-based programs
• Logic programming and knowledge representation
• Logic programming revisited: logic programs as inductive definitions
• Logics for epistemic programs
• Practical foundations for programming languages
• Semantics and expressiveness of ordered SOS
• Symbolic model checking for temporal-epistemic logic
• The Java memory model
• The intuitionism behind statecharts steps
• Thirty years of Epistemic Specifications

This page was built for publication: Interpreting knowledge-based programs

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