959 search results - page 34 / 192 » Transfers between Logics and their Applications |
100
click to vote
DIAGRAMS
2004
Springer
15 years 7 months ago
2004
Springer
Query graphs with cuts are inspired by Sowa’s conceptual graphs, which are in turn based on Peirce’s existential graphs. In my thesis ‘The Logic System of Concept Graphs with...
118
click to vote
DAC
2011
ACM
14 years 1 months ago
2011
ACM
Just as electronic systems implement computation in terms of voltage (energy per unit charge), molecular systems compute in terms of chemical concentrations (molecules per unit vo...
103
click to vote
CAISE
2006
Springer
15 years 5 months ago
2006
Springer
In some application domains as composite software, ranging from search engines, to more general applications, like cooperative and distributed applications or e-business and e-comm...
119
click to vote
RWEB
2009
Springer
15 years 8 months ago
2009
Springer
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...
141
click to vote
CLUSTER
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper describes a novel technique for establishing a virtual file system that allows data to be transferred user-transparently and on-demand across computing and storage serve...