3773 search results - page 655 / 755 » Logical Reasoning |
208
click to vote
HICSS
2011
IEEE
14 years 7 months ago
2011
IEEE
Vulnerabilities in a system may have widely varying impacts on system security. In practice, security should not be defined as the absence of vulnerabilities. In practice, securit...
124
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— Knowledge processing is an essential technique for enabling autonomous robots to do the right thing to the right object in the right way. Using knowledge processing the robots ...
119
click to vote
ICDE
2008
IEEE
15 years 10 months ago
2008
IEEE
Recent years have seen a proliferation of work on the Semantic Web, an initiative to enable intelligent agents to reason about and utilize World Wide Web content and services. Con...
152
Voted
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
126
click to vote
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
— The application of Qualitative Reasoning to Learning Algorithms can provide these models with the capability of automate common-sense and expert reasoning. Learning algorithms ...