2214 search results - page 132 / 443 » Complexity of Reasoning |
122
click to vote
KBSE
2006
IEEE
15 years 9 months ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
120
click to vote
KR
1998
Springer
15 years 7 months ago
1998
Springer
Description Logics form a family of formalisms closely related to semantic networks but with the distinguishing characteristic that the semantics of the concept description langua...
118
Voted
CSL
2004
Springer
15 years 7 months ago
2004
Springer
It is well known that in an o-minimal hybrid system the continuous and discrete components can be separated, and therefore the problem of finite bisimulation reduces to the same pr...
117
Voted
LPAR
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...
110
Voted
AIPS
1996
15 years 4 months ago
1996
Effective task-level control is critical for robots that are to engage in purposeful activity in realworld environments. This paper describes PRSLite, a task-level controller grou...