2776 search results - page 49 / 556 » System-Level Abstraction Semantics |
175
click to vote
SEMWIKI
2008
15 years 7 months ago
2008
Abstract. We present semantic markup as a way to exploit the semantics of mathematics in a wiki. Semantic markup makes mathematical knowledge machine-processable and thus allows fo...
145
click to vote
AI
2005
Springer
15 years 6 months ago
2005
Springer
entation theory, Dung's abstract framework provides a unifying view of several alternative semantics based on the notion of extension. In this context, we propose a general r...
254
click to vote
NADA
1998
Springer
15 years 10 months ago
1998
Springer
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
152
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...
160
click to vote
AC
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. A tension in language design has been between simple semantics on the one hand, and rich possibilities for side-effects, exception