1178 search results - page 56 / 236 » An Approach to Exploring Description Logic Knowledge Bases |
AROBOTS
2008
14 years 12 months ago
2008
Object grasping is a typical human ability which is widely studied from both a biological and an engineering point of view. This paper presents an approach to grasp synthesis inspi...
ACMSE
2000
ACM
15 years 4 months ago
2000
ACM
We present the background and justi cation for a new approachto studying computation and computational complexity. We focus on categories of problems and categories of solutions w...
115
click to vote
SYNTHESE
2008
14 years 11 months ago
2008
Dynamic Epistemic Logic (DEL) is the study of how to reason about knowledge, belief, and communication. This paper studies the relative expressivity of certain fragments of the DE...
AISC
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
ECBS
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Many design steps during system development like functional partitioning, refactoring of the architecture, or the mapping to the platform - can be understood as an explo...