158 search results - page 10 / 32 » Strong logics of first and second order |
106
click to vote
ICAIL
2003
ACM
15 years 7 months ago
2003
ACM
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...
118
Voted
FTP
1998
Springer
15 years 6 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...
110
click to vote
KCAP
2003
ACM
15 years 7 months ago
2003
ACM
Modularity is a key requirement for large ontologies in order to achieve re-use, maintainability, and evolution. Mechanisms for ‘normalisation’ to achieve analogous aims are s...
141
click to vote
CCGRID
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper presents the design and implementation of the MPI-IO interface for the Clusterfile parallel file system. The approach offers the opportunity of achieving a high corelat...
114
Voted
IJCAI
1989
15 years 3 months ago
1989
We present a general framework for defining nonmonotonic systems based on the notion of preferred maximal consistent subsets of the premises. This framework subsumes David Poole&#...