12993 search results - page 2376 / 2599 » Artificial Intelligence in China |
125
Voted
LFCS
2007
Springer
15 years 6 months 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...
111
Voted
LFCS
2007
Springer
15 years 6 months 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...
111
Voted
LPAR
2007
Springer
15 years 6 months 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 ...
LPAR
2007
Springer
15 years 6 months 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 ...
110
Voted
LPAR
2007
Springer
15 years 6 months ago
2007
Springer
Sequence logic is a parameterized logic where the formulas are sequences of formulas of some arbitrary underlying logic. The sequence formulas are interpreted in certain linearly o...