MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Composition of Semantic Web services using Linear Logic theorem proving." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Composition of semantic web services using linear logic theorem proving
by Jinghai Rao, Peep Küngas, Mihhail Matskin — 2005 — Information Systems
…Composition of Semantic Web Services using Linear Logic Theorem Proving Jinghai Rao Department…
Cited by 4 (3 self) – Add To MetaCart

Composition of Semantic Web services using Linear Logic theorem proving
by Jinghai Rao A, Peep Ku¨ngas A, Mihhail Matskin B
… introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem…
Add To MetaCart

Toward the composition of semantic web services
by Jinghai Rao, Xiaomeng Su — 2003 — Proceedings of the Second International Workshop on Grid and Cooperative Computing
… services using linear logic theorem proving. The method uses semantic web service language (DAML…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB