3446 search results - page 277 / 690 » A Reasoning Algorithm for pD* |
186
click to vote
KI
2009
Springer
16 years 1 months ago
2009
Springer
As a tractable description logic, DL-Lite provides a good compromise between expressive power and computational complexity of inference. It is therefore important to study ways of ...
175
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we study several properties of the Exogenous Probabilistic Propositional Logic (EPPL), a logic for reasoning about probabilities, with the purpose of introducing a t...
182
click to vote
LORI
2009
Springer
16 years 1 months ago
2009
Springer
We introduce Coalition Logic for Resource Games (CLRG) which extends Coalition Logic by allowing explicit reasoning about resource endowments of coalitions of agents and resource b...
163
click to vote
FSKD
2007
Springer
16 years 22 days ago
2007
Springer
Web users are always distracted by a large number of results returned from search engines. Clustering can efficiently facilitate users’ browsing pages of certain topic. However...
152
click to vote
ICDT
2007
ACM
16 years 21 days ago
2007
ACM
Cryptographic techniques for reasoning about information leakage have recently been brought to bear on the classical problem of statistical disclosure control – revealing accurat...