9145 search results - page 256 / 1829 » Description Logic Systems |
194
click to vote
AIML
2008
15 years 8 months ago
2008
Most temporal logics, particularly interval temporal logics, are not expressive enough to capture meanings of natural language constructions, and they are not convenient to represe...
188
click to vote
AIML
2008
15 years 8 months ago
2008
In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is prooftheoretically well-behaved, in particular, it gives r...
139
click to vote
SLP
1990
15 years 7 months ago
1990
We discuss the impact of Partial Evaluation within the framework of structured logic programming. We define a general scheme for Partial Evaluation to be applied to a wide class o...
183
click to vote
SEKE
2009
Springer
15 years 11 months ago
2009
Springer
Very large systems have an architecture that is designed to allow them to evolve through a long life. Such systems are developed by teams of architects. One of the first things t...
169
click to vote
DAC
2006
ACM
16 years 17 days ago
2006
ACM
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural ...