5818 search results - page 1012 / 1164 » A reasonable Semantic Web |
186
click to vote
ICDCS
2011
IEEE
14 years 6 months ago
2011
IEEE
—Resource provisioning for N-tier web applications in Clouds is non-trivial due to at least two reasons. First, there is an inherent optimization conflict between cost of resour...
179
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
202
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
We propose a new family of probabilistic description logics (DLs) that, in contrast to most existing approaches, are derived in a principled way from Halpern’s probabilistic fi...
168
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
It is a well-known fact that some form of factoring is necessary for completeness of paramodulation-based calculi of general first-order clauses. In this paper we give an overview...
158
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...