The complexity of reasoning about knowledge and time
STOC '86 Proceedings of the eighteenth annual ACM symposium on Theory of computing
Formal specification of compositional architectures
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
ACM Transactions on Programming Languages and Systems (TOPLAS)
Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
Formal specification of complex reasoning systems
Formal specification of complex reasoning systems
Multi-content systems as a specification framework for complex reasoning systems
Formal specification of complex reasoning systems
Comparing formal specification languages for complex reasoning systems
Formal specification of complex reasoning systems
Reasoning about knowledge
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
A Deduction Model of Belief
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
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
Complete Axiomatizations for Reasoning about Knowledge and Time
SIAM Journal on Computing
Multiagent systems specification by UML statecharts aiming at intelligent manufacturing
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
An Extension of BDICTL with Functional Dependencies and Components
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Mapping the Envelope of Social Simulation Trajectories
MABS '00 Proceedings of the Second International Workshop on Multi-Agent-Based Simulation-Revised and Additional Papers
Determining the Envelope of Emergent Agent Behaviour via Architectural Transformation
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Integration of behavioural requirements specification within compositional knowledge engineering
Knowledge-Based Systems
Relating structure and dynamics in organisation models
MABS'02 Proceedings of the 3rd international conference on Multi-agent-based simulation II
Simulation and analysis of shared extended mind
MABS'04 Proceedings of the 2004 international conference on Multi-Agent and Multi-Agent-Based Simulation
Methods for model-based reasoning within agent-based Ambient Intelligence applications
Knowledge-Based Systems
| Hi-index | 0.00 |
Compositional verification aims at managing the complexity of theverification process by exploiting compositionality of the systemarchitecture. In this paper we explore the use of a temporal epistemiclogic to formalize the process of verification of compositionalmulti-agent systems. The specification of a system, its properties andtheir proofs are of a compositional nature, and are formalized within acompositional temporal logic: Temporal Multi-Epistemic Logic. It isshown that compositional proofs are valid under certain conditions.Moreover, the possibility of incorporating default persistence ofinformation in a system, is explored. A completion operation on aspecific type of temporal theories, temporal completion, is introducedto be able to use classical proof techniques in verification withrespect to non-classical semantics covering default persistence.