3793 search results - page 364 / 759 » Expressive Description Logics |
141
click to vote
CSMR
2006
IEEE
16 years 27 days ago
2006
IEEE
When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system ...
177
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
176
click to vote
FLOPS
2006
Springer
15 years 10 months ago
2006
Springer
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...
188
click to vote
SLP
1994
15 years 8 months ago
1994
In this paper we explore the notion of a \signing" of a logic program, in the framework of the answer set semantics. In particular, we generalize and extend the notion of a s...
175
click to vote
KES
2010
Springer
15 years 5 months ago
2010
Springer
While computation of biological information takes center stage in today’s research, knowledge-based query processing in biological databases has not gained much attention. The co...