12 search results - page 1 / 3 » ftp 1998 |
FTP
1998
Springer
13 years 8 months ago
1998
Springer
FTP
1998
Springer
13 years 8 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
FTP
1998
Springer
13 years 8 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...
NAR
1998
13 years 4 months ago
1998
Our database on large ribosomal subunit RNA contained 334 sequences in July, 1995. All sequences in the database are aligned, taking into account secondary structure. The aligned ...
INFSOF
1998
13 years 4 months ago
1998
This paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-oriented programming, KQML and basic mobile techniques to support ...