3773 search results - page 392 / 755 » Logical Reasoning |
185
click to vote
WLP
2004
Springer
16 years 3 days ago
2004
Springer
: The growing use of XML in commercial as well as non-commercial domains to transport information poses new challenges to concepts to access these information. Common ways to acces...
191
click to vote
CLIMA
2007
15 years 8 months ago
2007
We present a sound and complete tableau calculus for a class BReg of extended regular modal logics which contains useful epistemic logics for reasoning about agent beliefs. Our cal...
151
click to vote
VLSID
2009
IEEE
16 years 7 months ago
2009
IEEE
We analyze the neutron induced soft error rate (SER). An induced error pulse is modeled by two parameters, probability of occurrence and probability density function of the pulse ...
168
click to vote
AIME
2007
Springer
16 years 29 days ago
2007
Springer
Reification of parthood relations according to the SEP-triplet encoding pattern has been employed in the clinical terminology SNOMED CT to simulate transitivity of the part-of rel...
217
click to vote
ILP
2007
Springer
16 years 28 days ago
2007
Springer
Stochastically searching the space of candidate clauses is an appealing way to scale up ILP to large datasets. We address an approach that uses a Bayesian network model to adaptive...