A knowledge-based analysis of global function computation

DOI10.1007/s00446-010-0111-7zbMath1231.68080OpenAlexW2570731419MaRDI QIDQ660991

Sabina Petride, Joseph Y. Halpern

Publication date: 6 February 2012

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

Full work available at URL: https://doi.org/10.1007/s00446-010-0111-7

zbMATH Keywords

leader electiondistributed agent systemglobal function computationnowledge-based (kb) program

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Distributed systems (68M14)

Uses Software

• Nuprl

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Knowledge and common knowledge in a Byzantine environment: Crash failures
• Programming simultaneous actions using common knowledge
• Modeling belief in dynamic systems. I: Foundations
• Computing in totally anonymous asynchronous shared memory systems
• Naming and identity in epistemic logic. II: A first-order logic for naming
• A Characterization of Eventual Byzantine Agreement
• A Refinement Theory that Supports Reasoning about Knowledge and Time for Synchronous Agents
• On a routing problem
• Computing on an anonymous ring
• An O ( n log n ) Unidirectional Algorithm for the Circular Extrema Problem
• A Distributed Algorithm for Minimum-Weight Spanning Trees
• An improved algorithm for decentralized extrema-finding in circular configurations of processes
• Naming and Identity in Epistemic Logics Part I: The Propositional Case
• A little knowledge goes a long way
• Knowledge-oriented programming
• Knowledge-based programs
• Logic for Programming, Artificial Intelligence, and Reasoning

This page was built for publication: A knowledge-based analysis of global function computation