11436 search results - page 221 / 2288 » Modeling Real Reasoning |
136
click to vote
RULEML
2005
Springer
15 years 8 months ago
2005
Springer
Enforcing rich policies in open environments will increasingly require the ability to dynamically identify external sources of information necessary to enforce different policies (...
109
Voted
ACSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper presents techniques to integrate and reason about complementary intrusion evidence such as alerts generated by intrusion detection systems (IDSs) and reports by system ...
112
click to vote
PRICAI
2000
Springer
15 years 7 months ago
2000
Springer
A system that applies a method of knowledge-intensive case-based reasoning, for repair and prevention of unwanted events in the domain of offshore oil well drilling, has been deve...
137
Voted
FAC
2000
15 years 3 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
245
click to vote
AI
2011
Springer
14 years 10 months ago
2011
Springer
An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One o...