4573 search results - page 623 / 915 » Automated Reasoning |
164
click to vote
ASP
2005
Springer
15 years 9 months ago
2005
Springer
This paper outlines a novel approach to the computation of answer sets in an evolving and interactive environment. Instead of recomputing the semantics of the entire program, our a...
157
click to vote
ASP
2005
Springer
15 years 9 months ago
2005
Springer
In previous work, action languages have predominantly been concerned with domains in which values are static unless changed by an action. Real domains, however, often contain value...
115
Voted
CSL
2005
Springer
15 years 9 months ago
2005
Springer
Implementations of real number computations have largely been unusable in practice because of their very bad performance, especially in comparison to floating point arithmetic imp...
134
click to vote
CSL
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. It has been proved by Niwi´nski and Walukiewicz that a deterministic tree language is either Π1 1 -complete or it is on the level Π0 3 of the Borel hierarchy, and that...
136
click to vote
ECSQARU
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper, Ginsberg’s/Fitting’s theory of bilattices is invoked as a natural accommodation and powerful generalization to both intuitionistic fuzzy sets (IFSs) an...