2381 search results - page 335 / 477 » On Ordering Descriptions in a Description Logic |
120
click to vote
IANDC
2006
15 years 1 months ago
2006
It is well-known that stable models (as dI-domains, qualitative domains and coherence are not fully abstract for the language PCF. This fact is related to the existence of stable ...
126
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
We study the existence of automatic presentations for various algebraic structures. An automatic presentation of a structure is a description of the universe of the structure by a...
129
click to vote
LISP
2008
15 years 1 months ago
2008
This article constitutes a thorough presentation of an original scheme for portable CPU accounting and control in Java, which is based on program transformation techniques at the ...
101
Voted
IJCIS
2007
15 years 1 months ago
2007
by allowing designers to model their systems at different abstraction levels, providing them omatic model transformations to incrementally refine abstract models into more concrete...
117
click to vote
AIM
2005
15 years 1 months ago
2005
A General Game Playing System is one that can accept a formal description of a game and play the game effectively without human intervention. Unlike specialized game players, such...