519 search results - page 35 / 104 » Comparing Instance Generation Methods for Automated Reasonin... |
103
click to vote
EWCBR
2004
Springer
15 years 4 months ago
2004
Springer
The concept of generalized cases has been proven useful when searching for configurable and flexible products, for instance, reusable components in the area of electronic design au...
134
click to vote
GIS
1995
ACM
15 years 4 months ago
1995
ACM
: Usually spatial planning problems involve a large number of decision makers with different backgrounds and interests. The process of Collaborative Spatial Decision Making (CSDM)...
104
Voted
CADE
2006
Springer
16 years 26 days ago
2006
Springer
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...
93
Voted
ICLP
1992
Springer
15 years 4 months ago
1992
Springer
: Whiledecision tree compilationis a promisingway tocarry out guard tests e ciently, the methods given in the literature do not take into account either the execution characteristi...
90
Voted
DLOG
2008
15 years 2 months ago
2008
We propose an approach for extending domain knowledge represented in DL ontology by using knowledge extraction methods on ontology assertions. Concept and role assertions are extra...