The complexity of propositional linear temporal logics
Journal of the ACM (JACM)
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
What processes know: Definitions and proof methods
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
Random generation of combinatorial structures from a uniform
Theoretical Computer Science
Parallel program design: a foundation
Parallel program design: a foundation
Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
A characterization of eventual Byzantine agreement
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Knowledge and common knowledge in a byzantine environment: crash failures
Information and Computation
A predicate transformer approach to knowledge and knowledge-based protocols (extended abstract)
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
The existence of refinement mappings
Theoretical Computer Science
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
Using knowledge to optimally achieve coordination is distributed systems
TARK '92 Proceedings of the fourth conference on Theoretical aspects of reasoning about knowledge
Simulating synchronized clocks and common knowledge in distributed systems
Journal of the ACM (JACM)
Artificial Intelligence
Knowledge-oriented programming
PODC '93 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing
Reasoning about infinite computations
Information and Computation
An operational semantics for knowledge bases
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Reasoning about knowledge
A formal model of knowledge, action, and communication in distributed systems: preliminary report
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Proving Liveness Properties of Concurrent Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Towards programming with knowledge expressions
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Knowledge Consistency: A Useful Suspension of Disbelief
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge
Agent-oriented software engineering: the state of the art
First international workshop, AOSE 2000 on Agent-oriented software engineering
A Refinement Theory that Supports Reasoning About Knowledge and Time
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Model Checking Knowledge and Time
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Efficient Model Checking of Causal-Knowledge Protocols
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
A Program Refinement Framework Supporting Reasoning about Knowledge and Time
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Group Principals and the Formalization of Anonymity
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Remote Belief: Preserving Volition for Loosely Coupled Processes
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
An abductive framework for a-priori verification of web services
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
A knowledge-theoretic analysis of uniform distributed coordination and failure detectors
Distributed Computing
Toward Inductive Logic Programming for Collaborative Problem Solving
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Knowledge-Based Asynchronous Programming
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Epistemic logic and explicit knowledge in distributed programming
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Proving Epistemic and Temporal Properties from Knowledge Based Programs
SBIA '08 Proceedings of the 19th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Distributed interactive learning in multi-agent systems
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Characterizing solution concepts in games using knowledge-based programs
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Collaborative inductive logic programming for path planning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Agent logics as program logics: grounding KARO
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Reasoning about protocol change and knowledge
ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Knowledge and action in semi-public environments
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
A knowledge-based analysis of global function computation
DISC'06 Proceedings of the 20th international conference on Distributed Computing
A logic for knowledge, correctness, and real time
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Distributed iterated elimination of strictly dominated strategies
Autonomous Agents and Multi-Agent Systems
Games, Actions and Social Software
Knowledge-Based Asynchronous Programming
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Model checking agent knowledge in dynamic access control policies
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Hidden protocols: Modifying our expectations in an evolving world
Artificial Intelligence
Hi-index | 0.00 |
Reasoning about activities in a distributed computer system at the level of the knowledge of individuals and groups allows us to abstract away from many concrete details of the system we are considering. In this paper, we make use of two notions introduced in our recent book to facilitate designing and reasoning about systems in terms of knowledge. The first notion is that of a knowledge-based program. A knowledge-based program is a syntactic object: a program with tests for knowledge. The second notion is that of a context, which captures the setting in which a program is to be executed. In a given context, a standard program (one without tests for knowledge) is represented by (i.e., corresponds in a precise sense to) a unique system. A knowledge-based program, on the other hand, may be represented by no system, one system, or many systems. In this paper, we provide a sufficient condition for a knowledge-based program to be represented in a unique way in a given context. This condition applies to many cases of interest, and covers many of the knowledge-based programs considered in the literature. We also completely characterize the complexity of determining whether a given knowledge-based program has a unique representation, or any representation at all, in a given finite-state context.