Knowledge-based programs

DOI10.1145/224964.224982zbMath1374.68102OpenAlexW1974178029MaRDI QIDQ5361449

Joseph Y. Halpern, Moshe Y. Vardi, Ronald Fagin, Yoram Moses

Publication date: 29 September 2017

Published in: Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing - PODC '95 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/224964.224982

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Knowledge representation (68T30) Distributed systems (68M14) Agent technology and artificial intelligence (68T42)

Related Items (11)

Common knowledge and update in finite environments ⋮ Knowledge-based programs as building blocks for planning ⋮ Epistemic planning: perspectives on the special issue ⋮ Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs ⋮ Program semantics and verification technique for AI-centred programs ⋮ A knowledge-theoretic analysis of uniform distributed coordination and failure detectors ⋮ Unnamed Item ⋮ Using counterfactuals in knowledge-based programming ⋮ A knowledge-based analysis of global function computation ⋮ Knowledge and Action in Semi-public Environments ⋮ On Decidability of a Logic of Gossips

This page was built for publication: Knowledge-based programs