2525 search results - page 375 / 505 » A Framework for Semantic Gossiping |
156
click to vote
FDBS
2001
15 years 7 months ago
2001
Commercial, non-profit and public organizations are accumulating huge amounts of electronically available text documents. Although composed of unstructured texts, documents contai...
155
click to vote
IJCAI
2001
15 years 7 months ago
2001
In a rational programming language, a program specifies a situation faced by an agent; evaluating the program amounts to computing what a rational agent would believe or do in the...
188
click to vote
SDL
2001
15 years 7 months ago
2001
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
138
click to vote
IJCAI
2003
15 years 7 months ago
2003
A default conditional α → β has most often been informally interpreted as a defeasible version of a classical conditional, usually the material conditional. That is, the intui...
165
click to vote
IJCAI
2003
15 years 7 months ago
2003
Many real life optimization problems contain both hard and soft constraints, as well as qualitative conditional preferences. However, there is no single formalism to specify all t...