3047 search results - page 163 / 610 » On the Meaning of Logical Completeness |
102
Voted
TABLEAUX
2009
Springer
15 years 7 months ago
2009
Springer
We define a notion of formula schema handling arithmetic parameters, indexed propositional variables (e.g. Pi) and iterated conjunctions/disjunctions (e.g. Vn i=1 Pi, where n is a...
100
Voted
HICSS
2008
IEEE
15 years 7 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
15 years 7 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...
103
click to vote
FROCOS
2007
Springer
15 years 7 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
15 years 6 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...