Using counterfactuals in knowledge-based programming

DOI10.1007/s00446-004-0108-1zbMath1448.68408arXivcs/0311028OpenAlexW2169198332MaRDI QIDQ5138508

Yoram Moses, Joseph Y. Halpern

Publication date: 4 December 2020

Published in: Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/cs/0311028

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Agent technology and artificial intelligence (68T42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Knowledge and common knowledge in a Byzantine environment: Crash failures
• Programming simultaneous actions using common knowledge
• Modelling knowledge and action in distributed systems
• Modeling belief in dynamic systems. I: Foundations
• Subjective games and equilibria
• A Characterization of Eventual Byzantine Agreement
• Knowledge and common knowledge in a distributed environment
• Message-optimal protocols for Byzantine Agreement
• A little knowledge goes a long way
• Simulating synchronized clocks and common knowledge in distributed systems
• Knowledge-based programs

This page was built for publication: Using counterfactuals in knowledge-based programming