FTP
1998
Springer
14 years 4 months ago
1998
Springer
FTP
1998
Springer
14 years 4 months ago
1998
Springer
Abstract. We describe two methods on the basis of which efficient resolution decision procedures can be developed for a range of description logics. The first method uses an orderi...
FTP
1998
Springer
14 years 4 months ago
1998
Springer
Abstract. First-order modal logic, in the usual formulations, is not sufficiently expressive, and as a consequence problems like Frege's morning