1941 search results - page 128 / 389 » Reasoning about Computations Using Two-Levels of Logic |
130
click to vote
OWLED
2007
15 years 4 months ago
2007
This analysis is to identify requirements for a Description Logic (DL) to reason about product descriptions and other information related to product development. The DL is intended...
118
click to vote
ER
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We investigate the computational complexity of reasoning over various fragments of the Extended Entity-Relationship (EER) language, which includes a number of constructs:...
144
click to vote
DKE
2007
15 years 3 months ago
2007
ct 9 The benefits of modular representations are well known from many areas of computer science. While in software engi10 neering modularization is mainly a vehicle for supporting...
122
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
162
Voted
CG
2006
Springer
15 years 3 months ago
2006
Springer
s: clustering, denoising, sharp feature, shape abstraction, reverse engineering In this paper we describe a hierarchical face clustering algorithm for triangle meshes based on fit...