1670 search results - page 179 / 334 » On Skolemization in constructive theories |
183
click to vote
INFOSCALE
2006
ACM
16 years 14 days ago
2006
ACM
With the rapid development of the semantic web, it is likely that the number of ontologies will greatly increase during the next few years, which leads to the arising demand for r...
170
click to vote
GRC
2005
IEEE
16 years 4 days ago
2005
IEEE
— Decision rules generated from reducts can fully describe a data set. We introduce a new method of evaluating rules by taking advantage of rough sets theory. We consider rules g...
176
click to vote
HICSS
2005
IEEE
16 years 4 days ago
2005
IEEE
In enterprise architecture, the goal is to integrate business resources and IT resources in order to improve an enterprise’s competitiveness. In an enterprise architecture proje...
156
click to vote
TPHOL
2005
IEEE
16 years 2 days ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
140
click to vote
ASM
2005
ASM
16 years 2 days ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...