FSS 2016 | Sciweavers

46

FSS
2016

71views FPGA» more FSS 2016»

8 years 7 months ago

On similarity in fuzzy description logics

In this paper we explore the possibility of introducing the equality symbol in the languages of Fuzzy Description Logics (FDLs) interpreted as a similarity relation. In the talk w...

Eva Armengol, Pilar Dellunde, Àngel Garc&ia...

claim paper

Read More »

51

click to vote

FSS
2016

73views FPGA» more FSS 2016»

Local finiteness in t-norm bimonoids: Overlap cases

8 years 7 months ago

Download www.sozphil.uni-leipzig.de

Siegfried Gottwald

claim paper

Read More »

48

click to vote

FSS
2016

60views FPGA» more FSS 2016»

Proof search and Co-NP completeness for many-valued logics

8 years 7 months ago

Download www.logic.at

We provide a methodology to introduce proof search oriented calculi for a large class of many-valued logics, and a suﬃcient condition for their Co-NP completeness. Our results a...

Mattia Bongini, Agata Ciabattoni, Franco Montagna

claim paper

Read More »

53

click to vote

FSS
2016

68views FPGA» more FSS 2016»

Multilingual generation of uncertain temporal expressions from data: A study of a possibilistic formalism and its consistency wi

8 years 7 months ago

Download staff.um.edu.mt

In NLG systems, temporal uncertainty in raw data can hamper the inference of temporal and causal relationships between events and thus impact the quality of the generated texts. I...

Albert Gatt, François Portet

claim paper

Read More »

84

click to vote

FSS
2016

76views FPGA» more FSS 2016»

The approximation of left-continuous t-norms

8 years 7 months ago

Download www.flll.jku.at

A discrete t-norm is a binary operation on a ﬁnite subset of the real unit interval fulﬁlling the same algebraic conditions as t-norms. We show that any left-continuous t-norm...

Thomas Vetterlein

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers