887 search results - page 106 / 178 » Representing Systems with Hidden State |
129
click to vote
COMSIS
2006
15 years 4 months ago
2006
Traditional knowledge representations were developed to encode complete, explicit and executable programs, a goal that makes them less than ideal for representing the incomplete an...
120
click to vote
AML
2004
15 years 4 months ago
2004
We introduce a deductive system Bal which models the logic of balance of opposing forces or of balance between conflicting evidence or influences. "Truth values" are int...
141
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems--such as for ...
136
click to vote
AGENTS
2001
Springer
15 years 8 months ago
2001
Springer
Recent years are seeing an increasing need for on-line monitoring of deployed distributed teams of cooperating agents, e.g., for visualization, or performance tracking. However, i...
136
click to vote
PODC
2010
ACM
15 years 8 months ago
2010
ACM
A token is hidden in one of several boxes and then the boxes are locked. The probability of placing the token in each of the boxes is known. A searcher is looking for the token by...