Sciweavers

936 search results - page 66 / 188
» The Logical Difference Problem for Description Logic Termino...
Sort
View
LPAR
2010
Springer
13 years 5 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í...
TSMC
2008
136views more  TSMC 2008»
13 years 7 months ago
Learning Relational Descriptions of Differentially Expressed Gene Groups
Abstract-- This paper presents a method that uses gene ontologies, together with the paradigm of relational subgroup discovery, to find compactly described groups of genes differen...
Igor Trajkovski, Filip Zelezný, Nada Lavrac...
JIFS
2002
134views more  JIFS 2002»
13 years 7 months ago
Classification of gene expression data using fuzzy logic
Microarray technologies have allowed the measurement of expression of multiple genes simultaneously. Gene expression levels can be used to classify tissues into diagnostic or progn...
Lucila Ohno-Machado, Staal A. Vinterbo, Griffin We...
AAAI
2007
13 years 10 months ago
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming
Answer Set Programming (ASP) and Constraint Logic Programming over finite domains (CLP(FD)) are two declarative programming paradigms that have been extensively used to encode ap...
Agostino Dovier, Andrea Formisano, Enrico Pontelli
AAAI
2007
13 years 10 months ago
L2R: A Logical Method for Reference Reconciliation
The reference reconciliation problem consists in deciding whether different identifiers refer to the same data, i.e., correspond to the same world entity. The L2R system exploits...
Fatiha Saïs, Nathalie Pernelle, Marie-Christi...