Search Sciweavers | Sciweavers

76

GCC
2003
Springer

96views Distributed And Parallel Com...» more GCC 2003»

Toward the Composition of Semantic Web Services

15 years 2 months ago

This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...

Jinghai Rao, Xiaomeng Su

claim paper

Read More »

85

click to vote

SAS
2004
Springer

103views Formal Methods» more SAS 2004»

Information Flow Analysis in Logical Form

15 years 2 months ago

Download people.cis.ksu.edu

Abstract. We specify an information ﬂow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...

Torben Amtoft, Anindya Banerjee

claim paper

Read More »

76

click to vote

CLEF
2006
Springer

140views Information Technology» more CLEF 2006»

Applying Logic Forms and Statistical Methods to CL-SR Performance

15 years 1 months ago

Download www.clef-campaign.org

This paper describes in detail the combination of NLP methods applied to the treatment of logic forms in the topic processing and statistical methods applied to the search engine ...

Rafael M. Terol, Patricio Martínez-Barco, M...

claim paper

Read More »

95

click to vote

IS
2006

135views Artificial Intelligence» more IS 2006»

Composition of Semantic Web services using Linear Logic theorem proving

14 years 9 months ago

Download www.idi.ntnu.no

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)...

Jinghai Rao, Peep Küngas, Mihhail Matskin

claim paper

Read More »

59

click to vote

CADE
2003
Springer

97views Logical Reasoning» more CADE 2003»

Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation

15 years 9 months ago

Download hal.archives-ouvertes.fr

Harald Ganzinger, Jürgen Stuber

claim paper