3776 search results - page 252 / 756 » Partition-Based Logical Reasoning |
124
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
It has recently been shown that proofs in which some symbols are colored (e.g. local or split proofs and symbol-eliminating proofs) can be used for a number of applications, such a...
117
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we use the decreasing diagrams technique to show that a left-linear term rewrite system R is confluent if all its critical pairs are joinable and the critical pair st...
122
click to vote
DLOG
2009
15 years 2 months ago
2009
Abstract. We show that the description logic SOQ with number restrictions on transitive roles is decidable by a terminating tableau calculus. The language decided by the calculus i...
294
click to vote
ICLP
2011
Springer
14 years 7 months ago
2011
Springer
This report summarizes a PhD research effort to implement a type of logic programming language called “axiomatic language”. Axiomatic language is intended as a specification...
234
click to vote
CADE
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. We describe a new algorithm for solving linear integer programming problems. The algorithm performs a DPLL style search for a feasible assignment, while using a novel cut...