3468 search results - page 93 / 694 » An open logical framework |
CSCLP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
108
click to vote
IJBRA
2007
15 years 18 days ago
2007
: A large number of ontologies have been introduced by the biomedical community in recent years. From an application perspective, identifying related ontologies and linking them to...
107
click to vote
SIGARCH
2008
15 years 18 days ago
2008
This paper presents the OpenDF framework and recalls that dataflow programming was once invented to address the problem of parallel computing. We discuss the problems with an impe...
106
click to vote
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Developer documentation helps developers learn frameworks and libraries. To better understand how documentation in open source projects is created and maintained, we performed a q...
133
click to vote
FOIKS
2010
Springer
15 years 7 months ago
2010
Springer
As a vision for the future of the Web, the Semantic Web is an open, constantly changing and collaborative environment. Hence it is reasonable to expect that knowledge sources in th...