Knowledge-based programs

DOI10.1007/s004460050038zbMath1448.68406OpenAlexW2007771077MaRDI QIDQ5137342

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

Publication date: 2 December 2020

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

Full work available at URL: https://doi.org/10.1007/s004460050038

zbMATH Keywords

multi-agent systemprotocolreasoning about knowledgeknowledge-based program

Mathematics Subject Classification ID

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)

Related Items (15)

Propositional gossip protocols ⋮ Knowledge-based strategies for multi-agent teams playing against nature ⋮ Characterizing solution concepts in terms of common knowledge of rationality ⋮ A formalisation of violation, error recovery, and enforcement in the bit transmission problem ⋮ An epistemic separation logic with action models ⋮ Optimal aggregation algorithms for middleware. ⋮ Minimal number of calls in propositional protocols ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The logic of gossiping ⋮ Unnamed Item ⋮ A note on knowledge-based programs and specifications ⋮ Hidden protocols: modifying our expectations in an evolving world ⋮ Planning-based knowing how: a unified approach ⋮ Dynamic Epistemic Logics

Uses Software

• UNITY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Knowledge and common knowledge in a Byzantine environment: Crash failures
• The complexity of facets (and some facets of complexity)
• Random generation of combinatorial structures from a uniform distribution
• Programming simultaneous actions using common knowledge
• A guide to completeness and complexity for modal logics of knowledge and belief
• Theories of automata on \(\omega\)-tapes: a simplified approach
• Modelling knowledge and action in distributed systems
• Using knowledge to optimally achieve coordination in distributed systems
• Reasoning about infinite computations
• Relationships between nondeterministic and deterministic tape complexities
• A Characterization of Eventual Byzantine Agreement
• Knowledge and common knowledge in a distributed environment
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• The complexity of propositional linear temporal logics
• Proving Liveness Properties of Concurrent Programs
• A little knowledge goes a long way
• A predicate transformer approach to knowledge and knowledge-based protocols (extended abstract)
• Simulating synchronized clocks and common knowledge in distributed systems
• Knowledge-oriented programming

This page was built for publication: Knowledge-based programs