2501 search results - page 146 / 501 » Logics with Rank Operators |
138
click to vote
ISSTA
1989
ACM
15 years 8 months ago
1989
ACM
The Inscape Environment research project addresses issues in supporting the development of large systems by large numbers of programmers. One aspect of this research is the ‘‘...
114
click to vote
USS
2008
15 years 6 months ago
2008
Cyber security experiments with potentially malicious software can possibly damage the testbed environment and "escape" into the Internet. Due to this security concern, ...
134
click to vote
FSS
2006
15 years 4 months ago
2006
Among the various extensions to the common [0, 1]-valued truth degrees of "traditional" fuzzy set theory, closed intervals of [0, 1] stand out as a particularly appealin...
125
click to vote
APAL
2002
15 years 4 months ago
2002
The paper introduces a semantics for the language of classical first order logic supplemented with the additional operators and . This semantics understands formulas as tasks. An ...
120
click to vote
LPAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...