3342 search results - page 464 / 669 » Automating Abstract Interpretation |
191
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a qualitative approach to elaborating the biosynthetic capacities of metabolic networks. In fact, large-scale metabolic networks as well as measured datasets s...
172
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The overhead of matching CHR rules is alleviated by constraint store indexing. Attributed variables provide an efficient means of indexing on logical variables. Existing ...
182
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...
184
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this paper we investigate a more expressive language f...
97
Voted
CADE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We give an optimal (exptime), sound and complete tableaubased algorithm for deciding satisfiability for propositional dynamic logic. Our main contribution is a sound meth...