620 search results - page 43 / 124 » Tool support for component-based semantics |
103
click to vote
WECWIS
2005
IEEE
15 years 5 months ago
2005
IEEE
Semantic Web Services facilitate activities including automatic discovery and composition of Web Services. Research initiatives such as WSMO have been developing specifications fo...
102
click to vote
ASP
2005
Springer
15 years 5 months ago
2005
Springer
This paper discusses the background, algorithms and implementation techniques to support programmers in ‘debugging’ logic programs under the answer set semantics. We first inv...
DEXAW
2004
IEEE
15 years 3 months ago
2004
IEEE
A model for semantic interoperability among a repository of geographic datasets from different providers is proposed in this article. Specifically, this approach focuses on qualif...
GI
2009
Springer
15 years 2 months ago
2009
Springer
Abstract: When planning teams for projects with specific goals, employees of a company have to group together so well, that all necessary knowledge for conquering the project’s ...
MKM
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of definitions, which often use overloaded notation. For e...