3032 search results - page 216 / 607 » Description Logic Rules |
IMPERIAL
1994
15 years 4 months ago
1994
The \observational content" of geometric logic is discussed and it is proposed that geometric logic is an appropriate basis for a Z-like speci cation language in which schema...
109
Voted
MEMOCODE
2007
IEEE
15 years 7 months ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
108
Voted
ADC
2003
Springer
15 years 6 months ago
2003
Springer
The mining of informative rules calls for methods that include different attributes (e.g., weights, quantities, multipleconcepts) suitable for the context of the problem to be an...
103
Voted
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...
140
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
The problem of business-IT alignment is of widespread economic concern. As one way of addressing the problem, this paper describes an online system that functions as a kind of Wik...