4902 search results - page 694 / 981 » Structures, Semantics and Statistics |
157
click to vote
ISSAC
2005
Springer
16 years 6 days ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
119
click to vote
MKM
2005
Springer
16 years 6 days ago
2005
Springer
In mathematical textbooks matrices are often represented as objects of indefinite size containing abbreviations. To make the knowledge implicitly given in these representations av...
199
click to vote
SEMWEB
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Most existing ontology mapping tools do not provide exact mappings. Rather, there is usually some degree of uncertainty. We describe a framework to improve existing ontol...
180
click to vote
TARK
2005
Springer
16 years 5 days ago
2005
Springer
: Two difficult issues for the logic of knowledge have been logical omniscience and common knowledge. Our existing logics of knowledge based on Kripke structures seem to justify lo...
192
click to vote
TLCA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...