S'han trobat 1677 resultats
Submitted
"A time series dissimilarity measure based on minimum jump costs",
Journal article, Submitted.
Abstract
"Folksonomy-based tag recommendation for collaborative tagging systems",
Journal Article, Submitted.
Abstract
"Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties",
Journal Article, Submitted.
"The quest for the basic fuzzy logic",
Petr Hájek on Mathematical Fuzzy Logic. Trends in Logic: Springer, Submitted.
"Unsupervised music structure annotation by time series structure features and segment similarity",
Journal Article, Submitted.
Abstract
In Press
"Structuring Interactions in a Hybrid Virtual Environment: Infrastructure & Usability",
International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, Barcelona, Spain, 21/02/2013.
Abstract
"Non-associative substructural logics: alternative axiomatization, algebraic and logical properties",
15th Latin American Symposium on Mathematical Logic. The Bulletin of Symbolic Logic, Bogotá, Colombia, 04/06/2012.
"Semilinear non-associative substructural logics: completeness properties and complexity",
15th Latin American Symposium on Mathematical Logic. The Bulletin of Symbolic Logic, Bogotá, Colombia, 04/06/2012.
"A note on the hierarchy of algebraizable logics",
4th World Congress on Universal Logic, Rio de Janeiro, 03/04/2013.
"A language for the execution of graded BDI agents",
Logic Journal of the IGPL (doi:10.1093/jigpal/jzr037), Advanced Access November 21, 2011: Oxford University Press , In Press.
Abstract
"A logical approach to fuzzy truth hedges",
Information Sciences, In Press.
Abstract
"Description and composition of bio-inspired design patterns: a complete overview",
Natural Computing, In Press.
Abstract
"Efficient Operations in Feature Terms using Constraint Programming",
ILP 2011: Inductive Logic Programming, In Press.
"HANA: a Human-Aware Negotiation Architecture",
Decision Support Systems, In Press.
Abstract
"Logics for belief functions on MV-algebras",
International Journal of Approximate Reasoning, In Press.
Abstract
"On the Integration of Trust with Negotiation, Argumentation and Semantics",
Knowledge engineering review, In Press.
Abstract
"Opening the black box of trust: reasoning about trust models in a BDI agent",
Journal of Logic and Computation: Oxford University Press , In Press.
Abstract
"On elementary equivalence in Fuzzy Predicate Logics",
Archive for Mathematical Logic: Springer-Verlag, In Press.
Abstract
"Preserving Mappings in Fuzzy Predicate Logics",
Journal of Logic and Computation, In Press.
Abstract
"Removing Redundant Messaegs in N-ary BnB-ADOPT",
Journal of Artificial Intelligence Research, In Press.
Abstract
"The proof by cases property and its variants in structural consequence relations",
Studia Logica, In Press.
Abstract
"Tonal representations for music retrieval: from version identification to query-by-humming",
Int. Journal of Multimedia Information Retrieval, special issue on Hybrid Music Information Retrieval: Springer, In Press.
Abstract
"Trust and Matching Algorithms for Selecting Suitable Agents",
ACM Transactions on Intelligent Systems and Technology, In Press.
Abstract
"t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework",
Annals of Mathematics and Artificial Intelligence: Springer-Verlag, In Press.
Abstract
2013
"MaNEA: A distributed architecture for enforcing norms in open MAS",
Engineering applications of artificial intelligence, vol. 26: Elsevier, pp. 76-95, 2013.
Abstract