Export 2114 results:
Autor [ Títol(Asc)] Tipus Any
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Koster A, Sabater-Mir J., Schorlemmer M.  2011.  Talking about Trust in Heterogeneous Multi-Agent Systems. IJCAI 2011. :2820-2821.
Schorlemmer M, Arcas MAtencia.  2009.  Taking interaction ontologically prior to meaning. 7th European Conference on Computing and Philosophy, E-CAP'09. :160-161.
Flaminio T, Marchioni E.  2006.  T-norm-based logics with an independent involutive negation. Fuzzy Sets and Systems. 157:3125–3144.
Ciabattoni A, Esteva F, Godo L.  2002.  T-norm Based Logics With n-Contraction. Neural Network World. 12:441-452.
Godo L, Esteva F.  2004.  T-norm based fuzzy logics: Hilbert-style axiomatizations and hypersequent calculi. Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (Valladolid, 3-6 de noviembre de 2004). :480-485.
Bou F, Esteva F, Font JMaria, Gil A, Godo L, Torrens A, Verdú V.  2008.  T-norm based fuzzy logics preserving degrees of truth. IPMU 2008. :1053-1060.
Pardo P, Godo L.  2013.  t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework. Annals of Mathematics and Artificial Intelligence. 69:3-35.
Pardo P, Godo L.  2011.  t-DeLP: a temporal extension of the defeasible logic programming argumentative framework. SUM 2011. 6929:489-503.
Arcos JLluis.  2001.  T-Air : a case-based reasoning sytem for designing chemical absorption plants. Lecture Notes in Artificial Intelligence. 2080:576-588.
De Baets B, Esteva F, Fodor J, Godo L.  2001.  Systems of ordinal fuzzy logic with application to preference modelling. Fuzzy Sets and Systems. 124:353-359.
Morales J, López-Sánchez M, Rodríguez-Aguilar JA, Wooldridge M, Vasconcelos WW.  2015.  Synthesising Liberal Normative Systems.
Andrejczuk E, Bistaffa F, Blum C, Rodríguez-Aguilar JA, Sierra C.  In Press.  Synergistic team composition: A computational approach to foster diversity in teams. Knowledge-Based Systems.
Andrejczuk E, Rodríguez-Aguilar JA, Roig C, Sierra C.  2017.  Synergistic Team Composition. Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2017). :1463-1465.
Brito I.  2004.  Synchronous, Asynchronous and Hybrid Algorithms for DisCSP. Lecture Notes in Computer Science. :791.
Armengol E, Plaza E.  2006.  Symbolic explanation of similarities in case-based reasoning. Computing and Informatics. 25:153-171.
Godo L.  2005.  Symbolic and quantitative approaches to reasoning with uncertainty 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings. Lecture Notes in Artificial Intelligence. 3571
Fabregues A, Madrenas J, Sierra C, Debenham J.  2009.  Supplier performance in a Digital Ecosystem. Proceedings of the IEEE International Conference on Digital Ecosystems and Technologies (IEEE-DEST 2009). :466-471.
Abril D, Navarro-Arribas G, Torra V.  2011.  Supervised learning using mahalanobis distance for record linkage. :223–228.
Abril D, Torra V, Navarro-Arribas G.  2015.  Supervised learning using a symmetric bilinear form for record linkage. Information Fusion. :10.
Torra V, Navarro-Arribas G, Abril D.  2010.  Supervised Learning for record linkage through weighted means and OWA Operators. Control and Cybernetics. 39:1011-1026.
Di Nola A, Esteva F, García P, Godo L, Sessa S.  2002.  Subvarieties of BL-algebras generated by single-components chains. Archive for Mathematical Logic. 41:673-685.
Noriega P, Sierra C.  1998.  Subastas y sistemas multiagente. Revista Iberoamericana de inteligencia artificial. 2:68-94.
Almajano P, Mayas E, Rodriguez I, López-Sánchez M, Puig A.  2013.  Structuring Interactions in a Hybrid Virtual Environment: Infrastructure & Usability. 8th International Conference on Computer Graphics Theory and Applications. :288-297.
Agustí-Cullell J, Esteva F, García P, Godo L, de Mántaras RLópez, Murgui L, Puyol-Gruart J, Sierra C.  1992.  Structured Local Fuzzy logics in MILORD. Fuzzy Logic for the Management of Uncertainty. :523-551.
Grosche P, Serrà J, Müller M, Arcos JLluis.  2012.  Structure-based audio fingerprinting for music retrieval. Int. Soc. for Music Information Retrieval Conf. (ISMIR). :55-60.
Ansótegui C, Bonet MLuisa, Giráldez-Cru J, Levy J.  2017.  Structure features for SAT instances classification. Journal of Applied Logic. 23:27–39.
Pardo P, Sadrzadeh M.  2013.  Strong Planning in the Logics of Communication and Change (extended version with proofs) - 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers. Declarative Agent Languages and Technologies X. 7784:37-56.
Flaminio T.  2008.  Strong non-standard completeness for fuzzy logics. Soft Computing - A Fusion of Foundations, Methodologies and Applications. 12:321–333.
Bou F.  2004.  Strict implication logics (e.g., intuitionistic propositional logic) correspond to removing symmetry from bisimilarity. Proceedings of the 38th MLG Meeting at Gamagori, Japan 2004. October 24-26, 2004. :38–40.
Cerami M, Esteva F.  2011.  Strict core fuzzy logics and quasi-witnessed models. Archive for Mathematical Logic. 50:625-641.
Levy J, Schmidt-Schauss M, Villaret M.  2006.  Stratified Context Unification is NP-complete. Lecture Notes in Computer Science. 4130:82-96.
Zhu J, Ontañón S.  2010.  Story Representation in Analogy-Based Story Generation in Riu. IEEE-CIG 2010: IEEE Computational Intelligence in Games. :435-442.
Ontañón S, Zhu J.  2010.  Story and Text Generation through Computational Analogy in the Riu System. AIIDE 2010: 6th International AI and Interactive Digital Entertainment Conference. :51-56.
Salas-Molina F, Rodríguez-Aguilar JA, Pla-Santamaria D.  In Press.  A stochastic goal programming model to derive stable cash management policies. Journal of Global Optimization.
Fabregues A, Madrenas J.  2009.  SRM: A tool for supplier performance (Demonstration). Proc. of 8th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2009). :1375-1376.
Abril D, Navarro-Arribas G, Torra V.  2015.  Spherical microaggregation: Anonymizing sparse vector spaces. Computers & Security. 49:17.
Ontañón S, Meseguer P.  2015.  Speeding up operations on feature terms using constraint programming and variable symmetry. Artificial Intelligence. 220:104-120.
Sierra C, Godo L.  1992.  Specifying simple scheduling tasks in a reflective and modular architecture. Workshop on formal especification methods for complex reasoning sysems at the 10th european conference on Artificial intelligence. :177-206.
Sánchez M, Meseguer P.  2001.  Specializing Russian doll search. Lecture notes in computer science. 2239:464-478.
Puyol-Gruart J, Godo L, Sierra C.  1998.  Specialisation Calculus and Communication. International Journal of Appoximate Reasoning. 18:107-130.
Torra V, Narukawa Y, Miyamoto S.  2007.  Special Issue on Modeling Decisions for Artificial Inteligence. J. of Advanced Computational Intelligence and Intelligent Informatics (JACIII). 1
Blum C, Juan AA, Lourenco HRamalhinho, Stützle T.  2017.  Special issue on "Metaheuristics". International Transactions in Operational Research. 24(3):681-682.
Torra V.  2001.  Special issue on measures and aggregation: Formal aspects and applications to cluestering and decision. nternational Journal of Uncertainty Fuzziness and Knowledge-Based Systems.. 9
Torra V, Narukawa Y.  2007.  Special Issue on Aggregation Operators. Int. J. of Approx. Reasoning. 3
Domingo-Ferrer J, Posegga J., Sebe F., Torra V.  2007.  Special issue on Advances in Smart Cards: Editorial. Computer Networks. 9
Uhle C, Driedger J, Edler B, Ewert S, Graf F, Kubin G, Müller M, Ono N, Pardo B, Serrà J.  2013.  Source separation. Dagstuhl Seminar 13451: Computational Audio Analysis.
Casanovas E, Dellunde P.  1997.  Some Results on Equality-free Logic. The Bulletin of the Workshop on Model Theory and Complexity. :13-15.
Esteva F, Godo L.  2012.  Some remarks about standard first order tautologies. ManyVal'12.
Dellunde P, Jansana R.  1996.  Some Characterization Theorems for Infinitary Universal Horn Logic Without Equality. The Journal of Symbolic Logic. 61:1242-1260.
Aguzzoli S, Flaminio T, Marchioni E.  2010.  Some categorical equivalences involving Goedel algebras. Logic, Algebra and Truth Degrees 2010.