Logic-based web services composition: From service description to process model

J Rao, P Kungas, M Matskin - Proceedings. IEEE International …, 2004 - ieeexplore.ieee.org
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 …
被引用次数：269 相关文章
[PDF] researchgate.net

[PDF][PDF] Logic-based Web Services Composition: from Service Description to Process Model

J Rao, P Küngas, M Matskin - researchgate.net
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 …

Logic-based web services composition: From service description to process model

J Rao, P Kungas, M Matskin - … on Web Services (ICWS 2004). San …, 2004 - diva-portal.org
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 …
[PDF] psu.edu

[PDF][PDF] Logic-based Web Services Composition: from Service Description to Process Model

J Rao, P Küngas, M Matskin - Citeseer
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 …

Logic-based Web Services Composition: From Service Description to Process Model

J Rao, K Peep, M Matskin - Proceedings. IEEE International …, 2004 - computer.org
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 …
[PDF] cmu.edu

[PDF][PDF] Logic-based Web Services Composition: from Service Description to Process Model

J Rao, P Küngas, M Matskin - cs.cmu.edu
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 …

Logic-based Web Services Composition: From Service Description to Process Model

J Rao, P Küngas, M Matskin - … of the IEEE International Conference on …, 2004 - dl.acm.org
This paper introduces a method for automatic compositionof Semantic Web services using
Linear Logic (LL) theoremproving. The method uses Semantic Web service language …
[PDF] archive.org

[PDF][PDF] Logic-based Web Services Composition: from Service Description to Process Model

J Rao, P Küngas, M Matskin - scholar.archive.org
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 …

Logic-based web services composition: From service description to process model

J Rao, P Kungas, M Matskin - IEEE INTERNATIONAL CONFERENCE …, 2004 - swepub.kb.se
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 …
[PDF] academia.edu

[PDF][PDF] Logic-based Web Services Composition: from Service Description to Process Model

J Rao, P Küngas, M Matskin - academia.edu
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 …