3005 search results - page 48 / 601 » Logical Information Systems: from Taxonomies to Logics |
DRUMS
1998
Springer
15 years 4 months ago
1998
Springer
In this paper logical techniques developed to formalise the analysis of multi-interpretable information, in particular belief set operators and selection operators, are applied to...
125
click to vote
FOIKS
2010
Springer
15 years 6 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...
CADE
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...
109
click to vote
ADL
1998
Springer
15 years 4 months ago
1998
Springer
This paper introduces the MREF framework for representing and correlating information at a higher semantic level than is possible with Web-based information systems today. The rol...
ICFP
2010
ACM
15 years 1 days ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...