Sciweavers

8228 search results - page 41 / 1646
» Structural Logical Relations
Sort
View
TARK
2007
Springer
14 years 1 months ago
Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness
In the most popular logics combining knowledge and awareness, it is not possible to express statements about knowledge of unawareness such as “Ann knows that Bill is aware of so...
Thomas Ågotnes, Natasha Alechina
GLVLSI
2003
IEEE
152views VLSI» more  GLVLSI 2003»
14 years 28 days ago
Dynamic single-rail self-timed logic structures for power efficient synchronous pipelined designs
The realization of fast datapaths in signal processing environments requires fastest, power efficient logic styles with synchronous behavior. This paper presents a method to combi...
Frank Grassert, Dirk Timmermann
ECSQARU
2003
Springer
14 years 26 days ago
On the Relation between Reiter's Default Logic and Its (Major)
Abstract. Default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Subsequently, several variants of default logic have been proposed to...
James P. Delgrande, Torsten Schaub
SAC
2006
ACM
14 years 1 months ago
A framework for content-based image retrieval fully exploiting the semantics of annotation
We present a framework and an application for semanticbased retrieval of images. Our approach adopts a two-level ontology structure in a subset of OWL-DL. In the core ontology onl...
Tommaso Di Noia, Eugenio Di Sciascio, Francesco di...
IRCDL
2008
13 years 9 months ago
Automatic Document Organization Exploiting FOL Similarity-based Techniques
The organization of a document collection into meaningful groups is a fundamental issue in document management systems. The grouping can be carried out by performing a comparison ...
Stefano Ferilli, Teresa Maria Altomare Basile, Mar...