9532 search results - page 269 / 1907 » Logic, Graphs, and Algorithms |
176
click to vote
LICS
2006
IEEE
16 years 8 days ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....
146
click to vote
ISMIS
2003
Springer
15 years 11 months ago
2003
Springer
We discuss how mobile agents, moving in the Internet from node to node, can communicate with each other by forwarding messages in a robust way. As a solution, we present the genera...
153
Voted
TACAS
1995
Springer
15 years 9 months ago
1995
Springer
158
click to vote
DLOG
2008
15 years 8 months ago
2008
In this paper we consider the extensions of description logics that were proposed to represent uncertain or vague knowledge, focusing on the fuzzy and possibilistic formalisms. We ...