13026 search results - page 2383 / 2606 » Creativity and Artificial Intelligence |
138
click to vote
KI
2007
Springer
16 years 25 days ago
2007
Springer
The paper describes the Executable Design Concept which is one of the main components of HeKatE: Hybrid Knowledge Engineering methodology. HeKatE project aims at developing a metho...
198
click to vote
LFCS
2007
Springer
16 years 25 days ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
187
click to vote
LFCS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Balanced search trees provide guaranteed worst-case time performance and hence they form a very important class of data structures. However, the self-balancing ability co...
169
Voted
LPAR
2007
Springer
16 years 25 days ago
2007
Springer
In this paper we propose a nonmonotonic extension ALC + Tmin of the Description Logic ALC for reasoning about prototypical properties and inheritance with exception. The logic ALC ...
157
click to vote
LPAR
2007
Springer
16 years 25 days ago
2007
Springer
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...