7167 search results - page 832 / 1434 » Answer Set Programming |
177
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
For a number of programming languages, among them Eiffel, C, Java and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are ...
180
click to vote
FOIKS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper we recast the formalism of argumentation formalism known as DeLP (Defeasible Logic Programming) in game-theoretic terms. By considering a game between a Pro...
159
Voted
APVIS
2008
15 years 7 months ago
2008
This paper presents an interactive visualization toolkit for navigating and analyzing the National Science Foundation (NSF) funding information. Our design builds upon the treemap...
192
click to vote
IFIP12
2004
15 years 7 months ago
2004
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
150
click to vote
SERP
2003
15 years 7 months ago
2003
This paper presents an integrated set of tools for performance-oriented development of software targeted to distributed heterogeneous systems. Using these tools, software developm...