Found 1570 results
Submitted
Physically correct planning based on Temporal Defeasible Logcic (Appendix with Proofs),
, 10/2011.
Abstract
A basic fuzzy logic which is really basic and fuzzy,
, Submitted.
"Analysis of On-line Social Networks Represented as Graphs – Extraction of an Approximation of Community Structure Using Sampling",
MDAI 2012, Submitted.
Abstract
"A logical approach to fuzzy truth hedges",
Journal article, Submitted.
Abstract
Combining Invariant Features and the ALV Homing Method for Autonomous Robot Navigation based on Panoramas,
, Submitted.
Abstract
In Press
"Unsupervised detection of music boundaries by time series structure features",
AAAI Conf. on Artificial Intelligence, 22/07/2012.
Abstract
"Generalized Disjunctions in (Infinitary) Structural Consequence Relations",
Logic Colloquium 2011. The Bulletin of Symbolic Logic, Barcelona, Association of Symbolic Logic, 11/07/2011.
"An extension of Godel logic for reasoning under both vagueness and possibilistic uncertainty",
IPMU 2012. To appear in Proc. of IPMU 2012, Catania, Italy, 09/07/2012.
Abstract
"Non-associative substructural logics: alternative axiomatization, algebraic and logical properties",
15th Latin American Symposium on Mathematical Logic, Bogotá, Colombia, 04/06/2012.
"Semilinear non-associative substructural logics: completeness properties and complexity",
15th Latin American Symposium on Mathematical Logic, Bogotá, Colombia, 04/06/2012.
"An Electronic Institution for Simulating Water-Right Markets",
III Workshop on Agreement Technologies at IBERAMIA 2010 (WAT 2010), Bahía Blanca, Argentina, pp. 3-18, 01/11/2010.
Abstract
"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 Decentralised Approach for Detecting Dynamically Changing Diffuse Event Sources in Noisy WSN Environments",
Applied Artificial Intelligence, In Press.
Abstract
"Automatic identification of samples in hip hop music",
Int. Symp. on Computer Music Modeling and Retrieval (CMMR), In Press.
Abstract
Coherence-Based Computational Agency,
, Barcelona, Universitat Autònoma de Barcelona, pp. 164, In Press.
"Efficient Operations in Feature Terms using Constraint Programming",
ILP 2011: Inductive Logic Programming, In Press.
"Geometrical aspects of possibility measures on finite domain MV-clans",
Soft Computing - A Fusion of Foundations, Methodologies and Applications (doi: 10.1007/s00500-012-0838-0): Springer, In Press.
Abstract
"Logics for approximate and strong entailment",
Fuzzy Sets and Systems: (doi:10.1016/j.fss.2011.09.005) Elsevier, In Press.
Abstract
"On the Integration of Trust with Negotiation, Argumentation and Semantics",
Knowledge Enginyering Review, In Press.
Abstract
"Revisiting ultraproducts in fuzzy predicate logics",
Journal of Multiple-Valued Logic and Soft Computing, In Press.
"The proof by cases property and its variants in structural consequence relations",
Studia Logica, In Press.
Abstract
2012
"An Evolutionary Optimization Approach for Categorical Data Protection",
Privacy and Anonymity in the Information Society 2012, Berlin, 30/03/2012.
Abstract
"Patterns, regularities, and evolution of contemporary popular music",
Complexitat.Cat, Barcelona, 24/05/2012.
Abstract
"Scalable decentralized supply chain formation through binarized belief propagation",
International Joint Conference on Autonomous Agents and Multi-agent Systems, Valencia, 2012.