733 search results - page 87 / 147 » Formal Reasoning About Intrusion Detection Systems |
167
click to vote
ERSHOV
2009
Springer
16 years 17 days ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
156
click to vote
IROS
2009
IEEE
16 years 19 days ago
2009
IEEE
— Autonomous systems situated in the real world often need to recognize, track, and reason about various types of physical objects. In order to allow reasoning at a symbolic leve...
152
click to vote
PADL
2010
Springer
16 years 2 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...
149
click to vote
PPSWR
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a piece in a big mosaic which consists of formalisms and software packages for representing and reasoning with everyday temporal notions. The kernel of the mosa...
163
click to vote
ATAL
2009
Springer
16 years 17 days ago
2009
Springer
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...