9532 search results - page 15 / 1907 » Logic, Graphs, and Algorithms |
116
click to vote
CLA
2007
15 years 2 months ago
2007
Abstract. This paper presents a mathematization of the philosophical doctrine of judgments as an extension of the mathematization of the philosophical doctrine of concepts develope...
124
click to vote
JAPLL
2006
15 years 15 days ago
2006
A conjecture by D. Seese states that if a set of graphs has a decidable monadic second-order theory, then it is the image of a set of trees under a transformation defined by monad...
124
click to vote
SEMWEB
2010
Springer
14 years 10 months ago
2010
Springer
RDF(S) and OWL 2 currently support only static ontologies. In practice, however, the truth of statements often changes with time, and Semantic Web applications often need to repres...
91
Voted
JALC
2002
15 years 6 days ago
2002
A
64
Voted
TCS
2002
15 years 5 days ago
2002
Streams are acyclic directed subgraphs of the logical ow graph of a proof representing bundles of paths with the same origin and the same end. The notion of stream is used to desc...