Sciweavers

1753 search results - page 133 / 351
» Reducibility of domain representations and Cantor-Weihrauch ...
Sort
View
IJCAI
2003
13 years 11 months ago
The Concurrent, Continuous FLUX
FLUX belongs to the high-level programming languages for cognitive agents that have been developed in recent years. Based on the established, general action representation formali...
Yves Martins
KR
1998
Springer
14 years 2 months ago
Foundations of Spatioterminological Reasoning with Description Logics
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning abou...
Volker Haarslev, Carsten Lutz, Ralf Möller
CL
2000
Springer
14 years 1 months ago
Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking
Boolean circuits offer a natural, structured, and compact representation of Boolean functions for many application domains. In this paper a tableau method for solving satisfiabilit...
Tommi A. Junttila, Ilkka Niemelä
VECPAR
2000
Springer
14 years 1 months ago
Finite/Discrete Element Analysis of Multi-fracture and Multi-contact Phenomena
A dynamic domain decomposition strategy is proposed for the effective parallel implementation of combined finite/discrete element approaches for problems involving multi-fracture a...
D. R. J. Owen, Y. T. Feng, Jianguo Yu, Djordje Per...
DEXAW
2009
IEEE
73views Database» more  DEXAW 2009»
14 years 1 months ago
Matching Semantic Web Resources
—In this paper, we propose knowledge-chunk based techniques for instance matching and mapping discovery of Semantic Web resources. Knowledge chunks provide a synthetic representa...
Silvana Castano, Alfio Ferrara, Stefano Montanelli...