Sciweavers

532 search results - page 33 / 107
» The Logic of Quasi-MV Algebras
Sort
View
ICDE
2008
IEEE
215views Database» more  ICDE 2008»
14 years 11 months ago
Fast and Simple Relational Processing of Uncertain Data
This paper introduces U-relations, a succinct and purely relational representation system for uncertain databases. U-relations support attribute-level uncertainty using vertical pa...
Lyublena Antova, Thomas Jansen, Christoph Koch, Da...
CADE
2008
Springer
14 years 10 months ago
On Automating the Calculus of Relations
Relation algebras provide abstract equational axioms for the calculus of binary relations. They name an established area of mathematics with various applications in computer scienc...
Georg Struth, Peter Höfner
NMR
2004
Springer
14 years 3 months ago
Semantics of disjunctive programs with monotone aggregates - an operator-based approach
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
Nikolay Pelov, Miroslaw Truszczynski
SLOGICA
2008
135views more  SLOGICA 2008»
13 years 9 months ago
A Way to Interpret Lukasiewicz Logic and Basic Logic
Fuzzy logics are in most cases based on an ad-hoc decision about the interpretation of the conjunction. If they are useful or not can typically be found out only by testing them wi...
Thomas Vetterlein
COOPIS
2003
IEEE
14 years 3 months ago
The Semantics of the Compound Term Composition Algebra
Abstract. In [11], we proposed an algebra with four algebraic operators, whose composition can be used to generate valid compound terms in a given faceted taxonomy in an efficient ...
Yannis Tzitzikas, Anastasia Analyti, Nicolas Spyra...