4573 search results - page 484 / 915 » Automated Reasoning |
131
click to vote
CSL
2009
Springer
16 years 22 days 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...
129
click to vote
ECSQARU
2009
Springer
16 years 22 days ago
2009
Springer
In this paper we address the problem of merging qualitative constraints networks (QCNs). We propose a rational merging procedure for QCNs. It is based on translations of QCNs into ...
157
click to vote
LPNMR
2009
Springer
16 years 21 days ago
2009
Springer
We apply ASP to model validation in a CASE setting, where models are UML class diagrams and object diagrams are called “snapshots”. We present the design and implementation of ...
124
click to vote
LPNMR
2009
Springer
16 years 21 days ago
2009
Springer
Building upon the 2-valued Layered Models semantics for normal programs, we introduce a refinement — the Layer Supported Models semantics — which, besides keeping all of LMs...
197
click to vote
TARK
2009
Springer
16 years 21 days ago
2009
Springer
Kolmogorov’s setting for probability theory is given an original generalization to account for probabilities arising from Quantum Mechanics. The sample space has a central role ...