851 search results - page 10 / 171 » Inaccessibility in Decision Procedures |
ICLP
2007
Springer
14 years 1 months ago
2007
Springer
We propose a novel technique that maps decision problems in WS1S (weak monadic second-order logic with n successors) to the problem of query evaluation of Complex-value Datalog que...
CIMCA
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper we propose a modified Fuzzy Technique for Order Performance by Similarity to Ideal Solution (modified Fuzzy TOPSIS) for the Multi-criteria Decision Making (MCDM) prob...
JAR
2006
13 years 7 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
SAT
2004
Springer
14 years 27 days ago
2004
Springer
The problem of solving boolean combinations of difference constraints is at the core of many important techniques such as planning, scheduling, and model-checking of real-time syst...
CSL
1995
Springer
13 years 11 months ago
1995
Springer
We propose so called contraction free sequent calculi for the three prominent modal logics K, T, and S4. Deduction search in these calculi is shown to provide more efficient decisi...