Export 2132 results:
Author Title [ Type(Asc)] Year
Journal Article
Giráldez-Cru J, Levy J.  2016.  Generating SAT instances with community structure. Artificial Intelligence. 238:119–134.
Arcos JLluis, de Mántaras RLópez, Serra X.  1998.  Generating expressive musical performances with SaxEx. Journal of New Music Research. 27:194-210.
Narukawa Y, Torra V.  2006.  Generalized transformed t-conorm integral and multifold integral. Fuzzy sets and systems. 157:1384-1392.
Ciucci D, Flaminio T.  2008.  Generalized rough approximations in LPI 1/2. International Journal of Appoximate Reasoning. 48:544–558.
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.
Godo L, Gottwald S.  2015.  Fuzzy Sets and Formal Logics. Fuzzy Sets and Systems. 281:44-60.
Martinez-Garcia C, Navarro-Arribas G, Borrell J.  2011.  Fuzzy Role-Based Access Control. Information Processing Letters. 111:483-487.
Domingo-Ferrer J, Torra V.  2003.  Fuzzy Microaggregation for Microdata Protection. Journal of Advanced Computational Intelligence. 7:153-159.
Torra V, Narukawa Y.  2007.  Fuzzy Measures and integrals in evaluation of strategies. Information Sciences. :4686-4695.
Narukawa Y, Torra V.  2005.  Fuzzy measure and probability distributions: distorted probabilities. IEEE Transactions on fuzzy systems. 13:617-629.
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.
Sodan A., Torra V.  2001.  Fuzzy configuration of matching runtime implementation strategies. Soft Computing. 5:77-92.
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.
Aguzzoli S, Bova S, Valota D.  2016.  Free weak nilpotent minimum algebras. Soft Computing. :1–17.
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.
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.
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.
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.
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.
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.
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.
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.
Dellunde P, Godo L, Marchioni E.  2011.  Extending possibilistic logic over Godel logic. International Journal of Approximate Reasoning. 52:63-75.
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.
Robertson DStuart, Agustí-Cullell J, Hesketh J, Levy J.  1994.  Expressing Program Requirements Using Refinement Lattices. Fundamenta Informaticae. 21(3):163–182.
Bou F, Esteva F, Godo L.  2008.  Exploring a Syntactic Notion of Modal Many-Valued Logics. Mathware & Soft Computing. 15:175-188.
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.
Meseguer P, Torras C.  2001.  Exploiting symmetries within constraint satisfaction search. Artificial Intelligence. 129:133-163.
Ansótegui C, Gabàs J, Levy J.  2016.  Exploiting subproblem optimization in SAT-based MaxSAT algorithms. Journal of Heuristics. 22:1–53.
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.
Corral G, Armengol E, Fornells A, Golobardes E.  2009.  Explanations of unsupervised learning clustering applied to data security analysis. Neurocomputing. 72:9.
Armengol E, Plaza E.  1995.  Explanation-based Learning: A Knowledge Level Analysis. AI Review. 9:19-35.
Meseguer P, Verdaguer A.  1996.  Expert system validation through knowedge base refinement. International Journal of Intelligent Systems. 11:429-462.
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.
Costa V, Dellunde P.  2016.  On the existence of free models in fuzzy universal Horn classes. Journal of Applied Logic.
Trescak T, Rodriguez I, López-Sánchez M, Almajano P.  2013.  Execution Infrastructure for Normative Virtual Environments. Engineering applications of artificial intelligence. 26:51-62.
Ros R, Veloso M.  2007.  Executing Multi-Robot Cases through a Single Coordinator. Proc. Autonomous Agents and Multiagent Systems. :1264-1266.
Argerlich J., Manyà F.  2006.  Exact Max-SAT solvers for over-constrained problems. Journal of Heuristics. :375-392.
Ambstha M., Busquets D, de Mántaras RLópez, Sierra C.  2005.  Evolving a Multiagent System for Landmark-based Navigation. Internacional journal of intelligent systems. 20:523-539.
Ramisa A, Aldavert D, Vasudevan S, Toledo R, de Mántaras RLópez.  2012.  Evaluation of Three Vision-Based Object Perception Methods for a Mobile Robotic Platform. Journal of Intelligent and Robotic Systems. 68:185-208.
Sierra C.  1992.  Estructuras de control en Inteligencia Artificial. Arquitecturas reflexivas y de meta-nivel. Nuevas tendencias en Inteligencia Artificial. :91-110.
Torra V, Miyamoto S.  2011.  Erratum to: A definition for I-fuzzy partitions. Soft Computing. 15:371.
Sierra C.  2010.  Eric R. Kandel, In Search of Memory: The Emergence of a New Science of Mind , W.W. Norton (2006) 352 pp. Artificial Intelligence. 174:140-142.
Esteva F, Godo L, Montagna F.  2004.  Equational characterization of the subverieties of BL generated by t-norm algebras. Studia Logica. 76:161-200.
Dellunde P.  2003.  Equality-free Saturated Models. Reports on Mathematical Logic. 37:3-22.
Dellunde P.  1999.  Equality-free Logic: The Method of Diagrams and Preservation Theorems. Logic Journal of the IGPL. 7:717-732.
Plaza E, Ontañón S.  2001.  Ensemble Case-based Reasoning: Collaboration Policies for Multiagent Cooperative CBR. Lecture Notes in Artificial Intelligence. 2080:437-451.
Koster A, Schorlemmer M, Sabater-Mir J..  2012.  Engineering trust alignment: Theory, method and experimentation. International Journal of Human-Computer Studies. 70:450-473.
Arcos JLluis, Esteva M, Noriega P, Rodríguez-Aguilar JA, Sierra C.  2005.  Engineering open evironments with electronic institutions. Engineering applications of artificial intelligence.. 18:191-204.
Confalonieri R, Yee-King M, Hazelden K, d'Inverno M, de Jonge D, Sierra C, Osman N, Amgoud L, Prade H.  2015.  Engineering Multiuser Museum Interactives for Shared Cultural Experiences. Engineering applications of artificial intelligence. :1-24.