1544 search results - page 110 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
145
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
We show how a well-known superposition-based inference system for first-order equational logic can be used almost directly as a decision procedure for various theories including l...
194
click to vote
FLOPS
2008
Springer
15 years 8 months ago
2008
Springer
Narrowing extends rewriting with logic capabilities by allowing free variables in terms and replacing matching with unification. Narrowing has been widely used in different context...
154
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
We show in this paper a special extended logic, partition logic based on so called partition quantifiers, is able to capture some important complexity classes NP, P and NL by its ...
138
click to vote
ISCAS
2007
IEEE
16 years 23 days ago
2007
IEEE
— Reconfigurable computing (RC) systems, coupling general purpose processor with reconfigurable components, offer a lot of advantages. Nevertheless, currently a designer needs ...
185
click to vote
ACSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
: © An Empirical Approach to Modeling Uncertainty in Intrusion Analysis Xinming Ou, Siva Raj Rajagopalan, Sakthiyuvaraja Sakthivelmurugan HP Laboratories HPL-2009-334 intrusion de...