2043 search results - page 302 / 409 » Reasoning About Security Models |
PADL
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
110
Voted
CSL
2009
Springer
15 years 7 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
103
Voted
FUZZIEEE
2007
IEEE
15 years 7 months ago
2007
IEEE
— This article presents a self-fuzzification method to enhance the settings of a Fuzzy Reasoning Classification adapted to the automated inspection of wooden boards. The supervis...
113
click to vote
ROMAN
2007
IEEE
15 years 7 months ago
2007
IEEE
— For a robot to be able to first understand and then achieve a human’s goals, it must be able to reason about a) the context of the current situation (with respect to which i...
103
click to vote
SEMWEB
2009
Springer
15 years 5 months ago
2009
Springer
The objective of the Market Blended Insight (MBI) project is to develop web based techniques to improve the performance of UK Business to Business (B2B) marketing activities. The a...