SITE TREE
About IIIA
Departments
Research
Technology Transfer
People
Activities
Library
Monographs
Join Us
New Publications
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
Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties
Unsupervised music structure annotation by time series structure features and segment similarity
Semilinear non-associative substructural logics: completeness properties and complexity
A note on the hierarchy of algebraizable logics
Català
English
Español
Home
Contact
Web Map
LOGIN
Personal publications
Edgar Altamirano (2 publications)
2003
Edgar Altamirano
;
Gonzalo Escalada-Imaz
The HORN-NNF-SAT problem is linear
,
, 2003.
Abstract
Export:
Tagged
-
XML
-
BibTex
download PDF
2001
Edgar Altamirano
;
Gonzalo Escalada-Imaz
"
Extending polinomiality to a class of non-clausal many-valued Horn-like formulas
",
Lecture notes in artificial intelligence
, vol. 2143: Springer, pp. 792-804, 2001.
Abstract
Export:
Tagged
-
XML
-
BibTex
desarrollo web innodus