86 search results - page 11 / 18 » Exploring inconsistencies between modal transition systems |
95
Voted
SIGDOC
2009
ACM
15 years 7 months ago
2009
ACM
Users of help systems often complain that they do not find them useful; while they still use help at least occasionally, they resort to other problem-solving strategies. In this p...
103
Voted
ASWC
2008
Springer
15 years 2 months ago
2008
Springer
Both semantic web applications and individuals are in need of knowledge infrastructures that can be used in dynamic and distributed environments where different autonomous entities...
IJBC
2006
15 years 19 days ago
2006
We study a binary-cell-states eight-cell neighborhood two-dimensional cellular automaton model of a quasi-chemical system with a substrate and a reagent. Reactions are represented...
94
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
107
click to vote
OSDI
2000
ACM
15 years 2 months ago
2000
ACM
The tradeoffs between consistency, performance, and availability are well understood. Traditionally, however, designers of replicated systems have been forced to choose from eithe...