78 search results - page 3 / 16 » A logical reconstruction of SPKI |
PPSWR
2005
Springer
13 years 11 months ago
2005
Springer
In this sketchy paper we introduce a logical reconstruction of the RDF family of languages and the OWL-DL family of languages. We prove that our logical framework is equivalent to ...
WCE
2007
13 years 7 months ago
2007
—This paper presents an application of fuzzy logic theory to the reconstruction of solid models from engineering drawings. In engineering drawing, two-dimensional (2D) orthograph...
CAS
1999
13 years 5 months ago
1999
We here expand on a previous paper concerning the role of logic in information retrieval (IR) modelling. In that paper, among other things, we had pointed out how different ways of...
JSAI
2007
Springer
13 years 12 months ago
2007
Springer
CF-induction is a sound and complete hypothesis finding procedure for full clausal logic which uses the principle of inverse entailment to compute a hypothesis that logically expl...
TODS
2010
13 years 4 months ago
2010
