Sciweavers

12 search results - page 1 / 3
» ftp 1998
Sort
View
FTP
1998
Springer
14 years 3 months ago
An Equational Re-engineering of Set Theories
Andrea Formisano, Eugenio G. Omodeo
FTP
1998
Springer
14 years 3 months ago
Higher-Order Modal Logic - A Sketch
Abstract. First-order modal logic, in the usual formulations, is not sufficiently expressive, and as a consequence problems like Frege's morning
Melvin Fitting
FTP
1998
Springer
14 years 3 months ago
Issues of Decidability for Description Logics in the Framework of Resolution
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...
Ullrich Hustadt, Renate A. Schmidt
NAR
1998
104views more  NAR 1998»
13 years 10 months ago
Database on the structure of large ribosomal subunit RNA
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 ...
Peter De Rijk, An Caers, Yves Van de Peer, Rupert ...
INFSOF
1998
88views more  INFSOF 1998»
13 years 11 months ago
A logic based language for networked agents
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 ...
Dianxiang Xu