Mihhail Matskin

Learn More
This paper introduces a method for automatic composition of semantic Web services using Linear Logic (LL) theorem proving. The method uses semantic Web service language (DAML-S) for external presentation of Web services, while, internally, the services are presented by extralogical axioms and proofs in LL. We use a process calculus to present the composite(More)
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S) for external presentation of Web services, while, internally, the services are presented by extralogical axioms and proofs in LL. LL, as a resource conscious logic, enables us to(More)
In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving. We distinguish value-added web services and core service by assuming that the core service is already selected by the user, but its functionality does not completely match the user’s requirement. Our method enables automation for combining(More)
We propose a parallel mobile agent platform Zereal for scalable and flexible simulation of Massively Multiplayer Online Games (MMOGs). Players and NPCs in Zereal currently have a sense-reason-act behavior, with reasoning based on Markov chains in addition to hierarchical plans specified in XML. Zereal’s primary purpose is to be a MMOG simulation tool that(More)
Recent progress in the field of Web services has made it practically possible to publish, locate, and invoke applications across the Web. The ability for efficient selection and integration of inter-organizational and heterogeneous services on the Web at runtime is an important requirement to the Web Service provision. In particular, if no single Web(More)
Negotiation over resources and multi-agent planning are important issues in multi-agent systems research. It has been demonstrated [19] how symbolic negotiation and distributed planning together could be formalised as distributed Linear Logic (LL) theorem proving. LL has been chosen mainly because of its expressive power for representation of resources and(More)
This paper describes how Virtual Enterprises (VEs) can be modelled using the AGORA multi-agent architecture, designed for modelling and supporting cooperative work among distributed entities. The model consists of a structure of Agoras and agents, where Agoras are facilitators of cooperative work for agents and the agents represent the partners of the VE,(More)
The formation of a Virtual Enterprise and the selection of its partners is an important process in the lifecycle of a Virtual Enterprise. In this paper, we present the Virtual Enterprise formation process as an Agent Interaction Protocol and an approach to its implementation. We have focussed on the selection of partners within the formation process in(More)