3793 search results - page 392 / 759 » Expressive Description Logics |
143
click to vote
ELPUB
2006
ACM
16 years 23 days ago
2006
ACM
This paper concerns the document multi-structuring issue. For various use objectives, many distinct structures may be defined simultaneously for the same original document. For ex...
185
click to vote
SPC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
173
click to vote
ECAI
2004
Springer
16 years 5 days ago
2004
Springer
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...
177
click to vote
ESOP
2003
Springer
16 years 3 hour ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
197
click to vote
WOLLIC
2010
Springer
15 years 12 months ago
2010
Springer
In type logical categorial grammar the analysis of an expression is a resource-conscious proof. Anaphora represents a particular challenge to this approach in that the antecedent ...