Export 2137 results:
Autor Títol [ Tipus(Desc)] Any
Journal Article
Costa V, Dellunde P.  2016.  On the existence of free models in fuzzy universal Horn classes. Journal of Applied Logic.
Esteva F, Godo L, Noguera C.  2010.  Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics. Soft Computing - A Fusion of Foundations, Methodologies and Applications. 14:273-284.
Meseguer P, Verdaguer A.  1996.  Expert system validation through knowedge base refinement. International Journal of Intelligent Systems. 11:429-462.
Armengol E, Plaza E.  1995.  Explanation-based Learning: A Knowledge Level Analysis. AI Review. 9:19-35.
Corral G, Armengol E, Fornells A, Golobardes E.  2009.  Explanations of unsupervised learning clustering applied to data security analysis. Neurocomputing. 72:9.
Ansótegui C, Larrubia J, Li CMin, Manyà F.  2007.  Exploiting Multivalued Knowledge in Variable Selection Heuristics for SAT Solvers. Annals of Mathematics and Artificial Intelligence. 49:191-205.
Ansótegui C, Gabàs J, Levy J.  2016.  Exploiting subproblem optimization in SAT-based MaxSAT algorithms. Journal of Heuristics. 22:1–53.
Meseguer P, Torras C.  2001.  Exploiting symmetries within constraint satisfaction search. Artificial Intelligence. 129:133-163.
Torra V, Miyamoto S, Lanau S.  2005.  Exploration of textual databases using a fuzzy hiercarchical clustering algorithm in the GAMBAL system. Information processing and management. 41:587-598.
Bou F, Esteva F, Godo L.  2008.  Exploring a Syntactic Notion of Modal Many-Valued Logics. Mathware & Soft Computing. 15:175-188.
Robertson DStuart, Agustí-Cullell J, Hesketh J, Levy J.  1994.  Expressing Program Requirements Using Refinement Lattices. Fundamenta Informaticae. 21(3):163–182.
Godo L, Torra V.  2001.  Extending Choquet integrals for aggregation of ordinal values. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems. 9:17-31.
Dellunde P, Godo L, Marchioni E.  2011.  Extending possibilistic logic over Godel logic. International Journal of Approximate Reasoning. 52:63-75.
Esteva F, Godo L, Noguera C.  2009.  First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties. Annals of Pure and Applied Logic. 161:185-202.
Martinez-Garcia C, Navarro-Arribas G, Foley SN, Torra V, Borrell J.  2011.  Flexible security inter-domain interoperability through attribute conversion. Information Sciences. 181:3491-3507.
Rodríguez-Aguilar JA, Martin F, Gimenez FJ, Gutierrez D, García P, Noriega P.  1998.  FM: A test-bed for electronic auction markets. Agentlink Newsletter. :9-10.
Font F, Serrà J, Serra X.  2013.  Folksonomy-based tag recommendation for collaborative tagging systems. Int. Journal of Web Semantics and Information Systems. 9:1-30.
Salas-Molina F, Rodríguez-Aguilar JA, Pla-Santamaria D, García-Bernabeu A.  In Press.  On the formal foundations of cash management systems. Operational Research.
Alsinet T, Chesñevar C., Godo L, Sandri S, Simari G..  2008.  Formalizing Argumentative Reasoning in a Possibilistic Logic Programming Setting with Fuzzy Unification. International Journal of Approximate Reasoning. 48:711-729.
Peleteiro A, Burguillo-Rial JC, Arcos JLluis, Rodríguez-Aguilar JA.  2014.  Fostering cooperation through dynamic coalition formation and partner switching. ACM Transactions on Autonomous and Adaptive Systems. 1:1:1-1:31.
Cucurull J, Martí R, Navarro-Arribas G, Robles S, Borrell J, Suades G.  2010.  Fragment Transfer Protocol: An IEEE-FIPA based efficient transfer protocol for mobile agents. Computer Communications. 33:2203-2214.
Aguzzoli S, Bova S, Valota D.  2016.  Free weak nilpotent minimum algebras. Soft Computing. :1–17.
Flaminio T, Esteva F, Godo L.  2019.  From Fuzzy Sets to Mathematical Fuzzy Logic. Archives for Soft Computing. (2):26-59.
Cucurull J, Martí R, Navarro-Arribas G, Robles S, Borrell J.  2009.  Full mobile agent interoperability in an IEEE-FIPA context. Journal of Systems and Software. 82:1927-1940.
Sodan A., Torra V.  2001.  Fuzzy configuration of matching runtime implementation strategies. Soft Computing. 5:77-92.
García-Cerdaña A, Armengol E, Esteva F.  2010.  Fuzzy Description Logics and t-norm based Fuzzy Logics. International Journal of Approximate reasoning. 51:632–655.
Narukawa Y, Torra V.  2005.  Fuzzy measure and probability distributions: distorted probabilities. IEEE Transactions on fuzzy systems. 13:617-629.
Torra V, Narukawa Y.  2007.  Fuzzy Measures and integrals in evaluation of strategies. Information Sciences. :4686-4695.
Domingo-Ferrer J, Torra V.  2003.  Fuzzy Microaggregation for Microdata Protection. Journal of Advanced Computational Intelligence. 7:153-159.
Martinez-Garcia C, Navarro-Arribas G, Borrell J.  2011.  Fuzzy Role-Based Access Control. Information Processing Letters. 111:483-487.
Godo L, Gottwald S.  2015.  Fuzzy Sets and Formal Logics. Fuzzy Sets and Systems. 281:44-60.
Noguera C, Esteva F, Godo L.  2010.  Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics. Information Sciences. 180:1354–1372.
Ciucci D, Flaminio T.  2008.  Generalized rough approximations in LPI 1/2. International Journal of Appoximate Reasoning. 48:544–558.
Narukawa Y, Torra V.  2006.  Generalized transformed t-conorm integral and multifold integral. Fuzzy sets and systems. 157:1384-1392.
Arcos JLluis, de Mántaras RLópez, Serra X.  1998.  Generating expressive musical performances with SaxEx. Journal of New Music Research. 27:194-210.
Giráldez-Cru J, Levy J.  2016.  Generating SAT instances with community structure. Artificial Intelligence. 238:119–134.
Flaminio T, Godo L, Marchioni E.  2012.  Geometrical aspects of possibility measures on finite domain MV-clans. Soft Computing - A Fusion of Foundations, Methodologies and Applications. 16:1863-1873.
Bessière C, Brito I, Gutierrez P, Meseguer P.  2013.  Global constraints in distributed constraint satisfaction and optimization. The Computer Journal.
Narukawa Y, Torra V.  2005.  Graphical interpretation of the twofold integral and its generalization. International journal of uncertainty, fuzziness and knowledge-based systems. 13:415-424.
Fabregues A, Sierra C.  2014.  HANA: a Human-Aware Negotiation Architecture. Decision Support Systems.
Sierra C, Sanguesa R.  1992.  Herramientas de Desarrollo de Sistemas Expertos. Nuevas tendencias en Inteligencia Artificial. :111-128.
Torra V.  2010.  Hesitant Fuzzy Sets. Int. J. of Intelligent Systems. 25:529-539.
Torra V, Miyamoto S.  2002.  Hierarchical Spherical Clustering. Int. J. of Uncertainty Fuzziness and Knowledge-Based Systems. 10:157-172.
Baumgartner A, Kutsia T, Levy J, Villaret M.  2017.  Higher-Order Pattern Anti-Unification in Linear Time. Journal of Automated Reasoning. 58:293-310.
Conde V., Aguilar J., Marques F., Puyol-Gruart J, Séculi C., Pascual R..  1987.  Hipertensión arterial en la población laboral de Girona. Hipertensión. 4:166.
Nin J, Herranz J, Torra V.  2008.  How to Group Attributes in Multivariate Microaggregation. International Journal on Uncertainty, Fuzziness and Knowledge-Based Systems (IJUFKS). 16:121-138.
Criado N, Argente E, Noriega P.  2013.  Human-inspired model for norm compliance decision making. Information Sciences. 245:218-239.
Blum C, Blesa MJ.  2018.  Hybrid Techniques Based on Solving Reduced Problem Instances for a Longest Common Subsequence Problem. Applied Soft Computing. 62:15-28.
Molina-Solana M, Arcos JLluis, Gómez E.  2010.  Identifying Violin Performers by their Expressive Trends. Intelligent Data Analysis. 14:555-571.
Herranz J.  2007.  Identity-based ring signatures from RSA. Theoretical Computer Science. 389:100-117.