SITE TREE
Quant a l'IIIA
Departaments
Recerca
Transferència de tecnologia
Persones
Activitats
Biblioteca
Monografies
Vine amb nosaltres
Noves Publicaciones
A time series dissimilarity measure based on minimum jump costs
Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties
Unsupervised music structure annotation by time series structure features and segment similarity
Folksonomy-based tag recommendation for collaborative tagging systems
The quest for the basic fuzzy logic
Removing Redundant Messaegs in N-ary BnB-ADOPT
Opening the black box of trust: reasoning about trust models in a BDI agent
Català
English
Español
Inici
Contacte
Mapa Web
LOGIN
Publicacions
An SMT-based solver for continuous t-norm based logics
Publication Type:
Conference Paper
Authors:
Amanda Vidal
;
Fèlix Bou
;
Lluís Godo
Source:
Scalable Uncertainty Management (SUM 2012), Springer-Verlag Berlin Heidelberg, Volume 7520, Marburg (Germany), p.633-640 (2012)
Tagged
XML
BibTex
Projectes:
ARINF
AT
TASSAT
»
Versió per imprimir
eMail a un amic
desarrollo web innodus