1391 search results - page 114 / 279 » Completeness of Neighbourhood Logic |
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
—The feature selection phase is one of the first, and yet very important, tasks to be completed during the development of any Intrusion Detection System. If this phase is neglec...
FUZZIEEE
2007
IEEE
14 years 3 months ago
2007
IEEE
—Sailing experts can explain basic sailing skills by rules about how to steer sails and rudder according to direction of target and wind. This paper describes how to transform th...
FROCOS
2007
Springer
14 years 3 months ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...
KR
2004
Springer
14 years 2 months ago
2004
Springer
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...
ICML
1994
IEEE
14 years 22 days ago
1994
IEEE
This paper describes a new methodfor inducing logic programs from examples which attempts to integrate the best aspects of existingILP methodsintoa singlecoherent framework. In pa...