6 search results - page 1 / 2 » aisc 1998 |
AISC
1998
Springer
13 years 8 months ago
1998
Springer
AISC
1998
Springer
13 years 8 months ago
1998
Springer
Effective optimisation techniques can make a dramatic difference in the performance of knowledge representation systems based on expressive description logics. Because of the corre...
AISC
1998
Springer
13 years 8 months ago
1998
Springer
While propositional modal logic is a standard tool, first-order modal logic is not. Indeed, it is not generally understood that conventional first-order syntax is insufficiently ex...
AISC
1998
Springer
13 years 8 months ago
1998
Springer
Abstract. We present an automatic approach for instantiating existentially quantified variables in inductive specifications proofs. Our approach uses first-order meta-variables in ...
AISC
1998
Springer
13 years 8 months ago
1998
Springer
There are various algorithms known for deciding the parametrizability (rationality) of a plane algebraic curve, and if the curve is rational, actually computing a parametrization....