Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reasoning about knowledge
Distributed problem solving and planning
Multiagent systems
Tractable multiagent planning for epistemic goals
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Introduction to Multiagent Systems
Introduction to Multiagent Systems
ASAX: Software Architecture and Rule-Based Language for Universal Audit Trail Analysis
ESORICS '92 Proceedings of the Second European Symposium on Research in Computer Security
Agent-Based Model of Computer Network Security System: A Case Study
MMM-ACNS '01 Proceedings of the International Workshop on Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Security
MOCHA: Modularity in Model Checking
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
An Architecture for Intrusion Detection Using Autonomous Agents
ACSAC '98 Proceedings of the 14th Annual Computer Security Applications Conference
Alternating-time Temporal Logic
FOCS '97 Proceedings of the 38th Annual Symposium on Foundations of Computer Science
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Adaptation And Evolution in Collective Systems (Advances in Natural Computation)
Adaptation And Evolution in Collective Systems (Advances in Natural Computation)
Measurement and analysis of online social networks
Proceedings of the 7th ACM SIGCOMM conference on Internet measurement
Characterizing social cascades in flickr
Proceedings of the first workshop on Online social networks
Formalizing communication protocols for multiagent systems
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Hi-index | 0.00 |
Collective evolutionary systems have drawn considerable attention in recent times. One reason for this is the advances in the second generation of web development and design. This has led to the emergence of web-based communities and applications such as social-networking sites and blogs. The collective behavior of the system depends heavily on the performance and the reasoning aspects of the agents. Although logics of knowledge has been extensively studied, its application to domains in collective systems has not been illustrated before. In this paper we analyze some significant evolutionary domains characterized by collective and evolutionary aspects, such as partial observability, distribution, sharing, coordination, and mobility. We show how knowledge in these domains can effectively be modeled using ELMA (e pistemic l ogic for m obile a gents), which is an extension of an existing epistemic logic with the notion of space and containment, that entails the concepts of group and collaboration. The need and features of appropriate reasoning and planning mechanisms for collective evolutionary environment are also discussed.