3624 search results - page 275 / 725 » Abstract Algebraic Logic |
134
click to vote
CJ
2010
15 years 6 months ago
2010
rder logic (HOL) theorem prover. The high ability of abstraction in the HOL verification system allows its use for the verification task over the whole design path of the circuit, ...
161
click to vote
DLOG
2009
15 years 4 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...
164
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
Abstract-- The concept of an M-approximative system is introduced. Basic properties of the category of M-approximative systems and in a natural way defined morphisms between them a...
174
click to vote
EUSFLAT
2009
2009
Continuity and Additivity of the Trapezoidal Approximation Preserving the Expected Interval Operator
15 years 4 months ago
Abstract-- The nearest trapezoidal fuzzy number to a fuzzy number, with respect to a well-known metric and preserving the expected interval, was determined in recent articles. In t...
291
click to vote
CADE
2011
Springer
14 years 6 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...