3970 search results - page 613 / 794 » A Logic For Causal Reasoning |
176
click to vote
ISIPTA
2003
IEEE
15 years 11 months ago
2003
IEEE
Dempster’s rule for combining two belief functions assumes the independence of the sources of information. If this assumption is questionable, I suggest to use the least speci�...
199
click to vote
ASIAN
2003
Springer
15 years 11 months ago
2003
Springer
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
182
click to vote
ASP
2003
Springer
15 years 11 months ago
2003
Springer
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. To this end, we develop a series of operational chara...
213
click to vote
EPIA
2003
Springer
15 years 11 months ago
2003
Springer
Modern information retrieval systems need the capability to reason about the knowledge conveyed by text bases. In this paper a methodology to automatically create ontologies and cl...
176
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
PHOSPHORUS is an agent matchmaking service that exploits domain ontologies, description logic, and a highly declarative language to reason about task-related agent capabilities. P...