Interpreting knowledge-based programs

DOI10.1007/978-3-031-30044-8_10zbMATH Open1541.68109MaRDI QIDQ6535240FDOQ6535240

Authors: Alexander Knapp, Heribert Mühlberger, Bernhard Reus 

Publication date: 24 November 2023

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

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)

Cites Work

• Logics for epistemic programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Dynamic epistemic logic
• Practical foundations for programming languages
• Title not available (Why is that?)
• Logic programming and knowledge representation
• Semantics and expressiveness of ordered SOS
• The Java memory model
• Symbolic model checking for temporal-epistemic logic
• Knowledge-based programs
• Logic programming revisited: logic programs as inductive definitions
• The intuitionism behind statecharts steps
• A logic of nonmonotone inductive definitions
• Title not available (Why is that?)
• Handbook of epistemic logic
• 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)