Finite state implementations of knowledge-based programs (extended abstract)

DOI10.1007/3-540-62034-6_55MaRDI QIDQ6567777zbMATH OpenFDO

Authors Ron van der Meyden

Publication date 5 July 2024

Full work available at URL https://doi.org/10.1007/3-540-62034-6_55

Mathematics Subject Classification ID

Distributed systems (68M14) Specification and verification (program logics, model checking, etc.) (68Q60) Knowledge representation (68T30)

Recommendations

• Verified synthesis of knowledge-based programs in finite synchronous environments
• Knowledge-based programs
• Common knowledge and update in finite environments
• Knowledge-based synthesis of distributed systems using event structures
• Logic for Programming, Artificial Intelligence, and Reasoning

Cites work

• A little knowledge goes a long way
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Knowledge and common knowledge in a Byzantine environment: Crash failures
• Knowledge and common knowledge in a distributed environment

Cited in

(2)

• Interpreting knowledge-based programs
• Knowledge-based programs

This page was built for publication: Finite state implementations of knowledge-based programs (extended abstract)

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