2501 search results - page 62 / 501 » Logics with Rank Operators |
90
Voted
CORR
2010
Springer
15 years 23 days ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
103
Voted
JCSS
2010
14 years 11 months ago
2010
In classical logics, the meaning of a formula is invariant with respect to the renaming of bound variables. This property, normally taken for granted, has been shown not to hold in...
108
click to vote
NMR
2004
Springer
15 years 6 months ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
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...
126
click to vote
SEMWEB
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In the Semantic Web information would be retrieved, processed, combined, shared and reused in the maximum automatic way possible. Obviously, such procedures involve a hig...