1486 search results - page 172 / 298 » A Logically Saturated Extension of |
146
click to vote
RULEML
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we argue that a realistic architecture for the Semantic Web must be based on multiple independent, but interoperable, stacks of languages. In particular, we argue tha...
160
Voted
ISCIS
2004
Springer
15 years 11 months ago
2004
Springer
System BV is an extension of multiplicative linear logic with a non-commutative self-dual operator. In this paper we present systems equivalent to system BV where equalities for un...
156
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
Motivational attitudes play an important role in investigations into intelligent agents. One of the key problems of representing and reasoning about motivational attitudes is whic...
170
Voted
FM
2003
Springer
15 years 11 months ago
2003
Springer
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
178
Voted
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
Many approaches recently proposed for high-speed asynchronous pipelines are applicable only to linear datapaths. However, real systems typically have non-linearities in their data...