1746 search results - page 123 / 350 » A Constructive Semantics for ALC |
119
click to vote
PADL
2004
Springer
15 years 10 months ago
2004
Springer
An XML data binding is a translation of XML documents into values of some programming language. This paper discusses a typepreserving XML–Haskell data binding that handles docume...
135
click to vote
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
This article demonstrates how a powerful and expressive ion from concurrency theory--monads of resumptions--plays a dual r^ole as a programming tool for concurrent applications. Th...
109
click to vote
EPIA
1995
Springer
15 years 8 months ago
1995
Springer
We provide a nine-valued logic to characterize the models of logic programs under a paraconsistent well-founded semantics with explicit negation WFSX p. We define a truth-function...
153
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
The unfolding of a system represents in a single branching structure all its possible computations: it is the cornerstone both of semantical constructions and of efficient partial ...
LREC
2008
15 years 6 months ago
2008
Text condensation aims at shortening the length of an utterance without losing essential textual information. In this paper, we report on the implementation and preliminary evalua...