3408 search results - page 413 / 682 » Logic, language, information and computation |
172
click to vote
EKAW
2004
Springer
16 years 5 days ago
2004
Springer
Motivated by the need to extend features of semantic matchmaking between request and offer descriptions, a model is presented that exploits recently proposed non-standard inference...
185
click to vote
EKAW
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...
212
Voted
VL
2002
IEEE
15 years 11 months ago
2002
IEEE
In recent years, real world objects have been used to reflect information previously shown on the computer screen. While most earlier efforts have required significant developer...
187
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
234
click to vote
HLPPP
1991
15 years 10 months ago
1991
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...