1512 search results - page 95 / 303 » Description Logic Terminology |
CADE
1998
Springer
14 years 2 months ago
1998
Springer
The CRIL multi-strategy platform for SAT includes a whole family of local search techniques and some of the best Davis and Putnam strategies for checking propositional satis abilit...
CADE
2008
Springer
14 years 19 days ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
CADE
2002
Springer
14 years 11 months ago
2002
Springer
CADE
2008
Springer
14 years 19 days ago
2008
Springer
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer o...
ISSRE
2003
IEEE
14 years 3 months ago
2003
IEEE
A large number of coverage criteria to generate tests from logical expressions have been proposed. Although there have been large variations in the terminology, the articulation o...