Sciweavers

3619 search results - page 329 / 724
» Developing Knowledge-Based Systems using the Semantic Web
Sort
View
ATAL
2005
Springer
15 years 10 months ago
Demonstration of WS2JADE
Integrating Agents and Web services has recently attracted considerable attention from people in both the agent and Web services communities. The future of intelligent agents with...
Xuan Thang Nguyen
BIRTHDAY
2010
Springer
15 years 2 months ago
Strict Canonical Constructive Systems
We define the notions of a canonical inference rule and a canonical constructive system in the framework of strict single-conclusion Gentzen-type systems (or, equivalently, natural...
Arnon Avron, Ori Lahav
FASE
1998
Springer
15 years 9 months ago
Compositional Verification of Reactive Systems Specified by Graph Transformation
A loose semantics for graph transformation rules which has been developed recently is used in this paper for the compositional verification of specifications. The main conceptual t...
Reiko Heckel
WIKIS
2005
ACM
15 years 10 months ago
qwikWeb: integrating mailing list and WikiWikiWeb for group communication
We have developed a new powerful group communication system qwikWeb, which is an integration of a WikiWikiWeb (wiki) and a mailing list system. Mailing lists are useful for exchan...
Kouichirou Eto, Satoru Takabayashi, Toshiyuki Masu...
NLDB
2000
Springer
15 years 8 months ago
Natural Language Analysis for Semantic Document Modeling
To ease the retrieval of documents published on the Web, the documents should be classified in a way that users find helpful and meaningful. This paper presents an approach to sema...
Terje Brasethvik, Jon Atle Gulla