3557 search results - page 277 / 712 » Authoring Presentation for OpenMath |
157
click to vote
ICLP
2007
Springer
16 years 24 days ago
2007
Springer
We propose CoreTuLiP - the core of a trust management language based on Logic Programming. CoreTuLiP is based on a subset of moded logic programming, but enjoys the features of TM ...
170
click to vote
NLDB
2007
Springer
16 years 23 days ago
2007
Springer
This paper presents a novel application of a semantic annotation system, named Cerno, to analyze research publications in electronic format. Specifically, we address the problem of...
157
click to vote
SEMWEB
2007
Springer
16 years 22 days ago
2007
Springer
Abstract DBpedia is a community effort to extract structured information from Wikipedia and to make this information available on the Web. DBpedia allows you to ask sophisticated ...
148
click to vote
SEMWEB
2007
Springer
16 years 22 days ago
2007
Springer
In this paper we present a solution for “weaving the claim web”, i.e. the creation of knowledge networks via so-called claims stated in scientific publications created with th...
159
click to vote
SOFSEM
2007
Springer
16 years 22 days ago
2007
Springer
We study two aspects of a generalization of the Tower of Hanoi puzzle. In 1981, D. Wood suggested its variant, where a bigger disk may be placed higher than a smaller one if their ...