SITE TREE
Acerca del IIIA
Departamentos
Investigación
Transferencia de tecnología
Personas
Actividades
Biblioteca
Monografías
Ven con nosotros
Nuevas Publicaciones
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
A time series dissimilarity measure based on minimum jump costs
A language for the execution of graded BDI agents
HANA: a Human-Aware Negotiation Architecture
Català
English
Español
Inicio
Contacto
Mapa Web
LOGIN
Publicaciones
Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers
Tipo de Publicación:
Conference Paper
Autores:
Carlos Ansótegui
;
Miquel Bofill
;
Felip Manyà
;
Mateu Villaret
Origen:
ISMVL 2012 (2012)
Marcado
XML
BibTex
Proyectos:
TASSAT
»
Versión para imprimir
eMail a un amigo
desarrollo web innodus