3342 search results - page 268 / 669 » Automating Abstract Interpretation |
111
click to vote
CSL
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. It it shown that the first-order theory of an automatic structure, whose Gaifman graph has bounded degree, is decidable in doubly exponential space (for injective automa...
128
click to vote
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We introduce a modular framework for formalizing reasoning with incomplete and inconsistent information. This framework is composed of non-deterministic semantic structur...
135
click to vote
RWEB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Answer Set Programming (ASP) is a declarative problem solving paradigm, rooted in Logic Programming and Nonmonotonic Reasoning, which has been gaining increasing attentio...
103
Voted
CSL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a method of integrating linear rational arithmetic into superposition calculus for first-order logic. One of our main results is completeness of the resulting...
109
click to vote
ECSQARU
2007
Springer
15 years 10 months ago
2007
Springer
version of this extended abstract appeared in the proceedings of the Ninth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-07), H...