Sciweavers

Share
LPAR
2010
Springer
9 years 7 months ago
Semiring-Induced Propositional Logic: Definition and Basic Algorithms
In this paper we introduce an extension of propositional logic that allows clauses to be weighted with values from a generic semiring. The main interest of this extension is that ...
Javier Larrosa, Albert Oliveras, Enric Rodrí...
ICIAP
1997
ACM
10 years 1 months ago
The Terminological Image Retrieval Model
We present a model for image retrieval in which images are represented both at the form level, as sets of physical features of the representing objects, and at the content level, a...
Carlo Meghini, Fabrizio Sebastiani, Umberto Stracc...
ERCIMDL
1997
Springer
130views Education» more  ERCIMDL 1997»
10 years 1 months ago
Modelling the Retrieval of Structured Documents Containing Texts and Images
Abstract. We present a model for complex documents possibly consisting of a hierarchically structured set of images or texts. Documents are represented both at the form level (as s...
Carlo Meghini, Fabrizio Sebastiani, Umberto Stracc...
KR
2004
Springer
10 years 2 months ago
Causation and Causal Conditionals
Causation is defined recursively: event e is the cause of condition φ in context c iff e is the only sufficient cause of φ in c, and removing e from c either removes φ from c...
John Bell
books