15372 search results - page 2804 / 3075 » The Semantics of Semantic Annotation |
147
click to vote
IGPL
2000
15 years 4 months ago
2000
This paper has two goals. First, we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning....
150
click to vote
ENTCS
2002
15 years 4 months ago
2002
Dynamic Logic Programming (DLP) was introduced to deal with knowledge about changing worlds, by assigning semantics to sequences of generalized logic programs, each of which repres...
205
click to vote
JODL
2000
15 years 4 months ago
2000
In this paper we describe the architecture and implementation of a digital library framework for scientific data, particularly imagery, with a focus on support for content-based se...
201
click to vote
JODL
2000
15 years 4 months ago
2000
As experimental digital library testbeds gain wider acceptance and develop significant user bases, it becomes important to investigate the ways in which users interact with the sy...
133
click to vote
JSYML
2000
15 years 4 months ago
2000
We introduce a sequent calculus B for a new logic, named basic logic. The aim of basic logic is to find a structure in the space of logics. Classical, intuitionistic, quantum and ...