A knowledge-based analysis of global function computation

DOI10.1007/S00446-010-0111-7zbMATH Open1231.68080OpenAlexW2570731419MaRDI QIDQ660991FDOQ660991

Authors: Joseph Y. Halpern, Sabina Petride 

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

Recommendations

• A Knowledge-Based Analysis of Global Function Computation
• On knowledge and communication complexity in distributed systems
• Knowledge and common knowledge in a distributed environment
• On the complexity of global computation in the presence of link failures: the general case
• scientific article; zbMATH DE number 4026814

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• On a routing problem
• Computing on an anonymous ring
• An O ( n log n ) Unidirectional Algorithm for the Circular Extrema Problem
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Distributed Algorithm for Minimum-Weight Spanning Trees
• Computing in totally anonymous asynchronous shared memory systems
• Programming simultaneous actions using common knowledge
• Knowledge and common knowledge in a Byzantine environment: Crash failures
• A refinement theory that supports reasoning about knowledge and time for synchronous agents
• A little knowledge goes a long way
• Naming and Identity in Epistemic Logics Part I: The Propositional Case
• Modeling belief in dynamic systems. I: Foundations
• Logic for Programming, Artificial Intelligence, and Reasoning
• Naming and identity in epistemic logic. II: A first-order logic for naming
• A characterization of eventual Byzantine agreement
• An improved algorithm for decentralized extrema-finding in circular configurations of processes
• Title not available (Why is that?)
• Knowledge-oriented programming
• Knowledge-based programs

Cited In (2)

• The role of a-priori information in networks of rational agents
• A Knowledge-Based Analysis of Global Function Computation

Uses Software

• Nuprl

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

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