ACM Transactions on Programming Languages and Systems (TOPLAS)
Executable temporal logic for non-monotonic reasoning
Journal of Symbolic Computation - Special issue: executable temporal logics
The imperative future: principles of executable temporal logic
The imperative future: principles of executable temporal logic
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic
Journal of Logic, Language and Information
Specification of Nonmonotonic Reasonong
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
Compositional Verification of Knowledge-Based Systems: A Case Study for Diagnostic Reasoning
EKAW '97 Proceedings of the 10th European Workshop on Knowledge Acquisition, Modeling and Management
A Survey of Concurrent METATEM - the Language and its Applications
ICTL '94 Proceedings of the First International Conference on Temporal Logic
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
A Model Checking Algorithm for Multiagent Systems
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
An Operational Semantics for Negotiating Agents
Proceedings of the 5th Pacific Rim International Workshop on Multi Agents: Intelligent Agents and Multi-Agent Systems
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
A Model Checking Algorithm for Multiagent Systems
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
A Classification Schema to Volumes 1 to 5 of the Intelligent Agents Series
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Information-Passing and Belief Revision in Multi-Agent Systems
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
On the Epistemic Feasibility of Plans in Multiagent Systems Specifications
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
A Requirement Specification Language for Configuration Dynamics of Multi-agent Systems
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
A formal framework for compositional verification of organic computing systems
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
| Hi-index | 0.00 |
Compositional verification aims at managing the complexity of the verification process by exploiting compositionality of the system architecture. In this paper we explore the use of a temporal epistemic logic to formalize the process of verification of compositional multi-agent systems. The specification of a system, its properties and their proofs are of a compositional nature, and are formalized within a compositional temporal logic: Temporal Multi-Epistemic Logic. It is shown that compositional proofs are valid under certain conditions. Finally, the possibility of incorporating default persistence of information in a system, is explored.