Export 278 results:
Autor Título Tipo [ Año(Asc)]
Filtros: First Letter Of Last Name is V  [Clear All Filters]
2017
Baumgartner A, Kutsia T, Levy J, Villaret M.  2017.  Higher-Order Pattern Anti-Unification in Linear Time. Journal of Automated Reasoning. 58:293-310.
Noriega P, Verhagen H, d'Inverno M, Padget J.  2017.  A Manifesto for Conscientious Design of Hybrid Online Social Systems. Coordination, Organizations, Institutions, and Norms in Agent Systems XII: COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers. :60–78.
Schmidt-Schauß M, Kutsia T, Levy J, Villaret M.  2017.  Nominal Unification of Higher Order Expressions with Recursive Let. Revised Selected Papers of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016. LNCS 10184:328-344.
2016
Padget J, Aldewereld H, Noriega P, Vasconcelos W.  2016.  Application Domains. Social Coordination Frameworks for Social Technical Systems. :231–263.
Chocron P, Schorlemmer M.  2016.  Attuning Ontology Alignments to Semantically Heterogeneous Multi-Agent Interactions. ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016). 285:871–879.
Andrighetto G, Brandts J, Conte R, Sabater-Mir J., Solaz H, Székely Á, Villatoro D.  2016.  Counter-Punishment, Communication, and Cooperation among Partners. Frontiers in Behavioral Neuroscience. 10
Aguzzoli S, Bova S, Valota D.  2016.  Free weak nilpotent minimum algebras. Soft Computing. :1–17.
Chocron P, Schorlemmer M.  2016.  Interaction Specifications as Contexts for Ontologies. Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology, co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), Annecy, France, July 6-9, 2016.. 1660
Vetterlein T, Esteva F, Godo L.  2016.  Logics for approximate entailment in ordered universes of discourse. International Journal of Approximate Reasoning. 71:50-63.
Noriega P, Padget J, Verhagen H, d'Inverno M.  2016.  A manifesto for conscientious design of hybrid online social systems. COIN@ECAI2016.
2015
D´err L, Verbiest N, Cornelis C, Godo L.  2015.  A comprehensive study of implicator–conjunctor-based and noise-tolerant fuzzy rough sets: Definitions, properties and robustness analysis. Fuzzy Sets and Systems. 275:1-38.
Morales J, López-Sánchez M, Rodríguez-Aguilar JA, Vasconcelos WW, Wooldridge M.  2015.  Automated Synthesis of Compact Normative Systems. ACM Transactions on Autonomous Agents and Adaptive Systems. 10
Morales J, Borda IMendizabal, Sanchez-Pinsach D, López-Sánchez M, Rodríguez-Aguilar JA, Wooldridge M, Vasconcelos WW.  2015.  Extending NormLab to Spur Research on Norm Synthesis. :1931–1932.
Bofill M, Manyà F, Vidal A, Villaret M.  2015.  Finding Hard Instances of Satisfiability in Lukasiewicz Logics. 2015 IEEE International Symposium on Multiple-Valued Logic, ISMVL 2015. :30-35.
Bofill M, Manyà F, Vidal A, Villaret M.  2015.  Finding Hard Instances of Satisfiability in Lukasiewicz Logics. 2015 IEEE International Symposium on Multiple-Valued Logic, ISMVL 2015. :30-35.
Vidal A, Godo L, Esteva F, Bou F.  2015.  ON MODAL EXPANSIONS OF LEFT-CONTINUOUS T-NORM LOGICS. ManyVal 2015.
Baumgartner A, Kutsia T, Levy J, Villaret M.  2015.  Nominal Anti-Unification. Proc. of the 26th Int. Conf. on Rewriting Techniques and Applications, RTA'15.
Vidal A, Esteva F, Godo L.  2015.  On strong standard completeness of MTL*(Q) expansions. Topology, Algebra and Categories in Logic (TACL 2015).
Vidal A, Godo L, Esteva F.  2015.  On strongly standard complete fuzzy logics: MTL^Q_*and its expansions. Proc. of the Joint Conference IFSA-EUSFLAT 2015. :828-835.
Aguzzoli S, Codara P, Valota D, Flaminio T, Gerla B.  2015.  Querying with Łukasiewicz logic. Fuzzy Systems (FUZZ-IEEE), 2015 IEEE International Conference on.
Villatoro D., Andrighetto G., Conte R., Sabater-Mir J..  2015.  Self-Policing Through Norm Internalization: A Cognitive Solution to the Tragedy of the Digital Commons in Social Networks. JASSS - Journal of Artificial Societies and Social Simulation. 2
Morales J, López-Sánchez M, Rodríguez-Aguilar JA, Wooldridge M, Vasconcelos WW.  2015.  Synthesising Liberal Normative Systems.
Bofill M, Manyà F, Vidal A, Villaret M.  2015.  The Complexity of 3-Valued Lukasiewicz Rules. 12th Conference on Modeling Decisions for Artificial Intelligence (MDAI 2015). 9312:221-229.
Bofill M, Manyà F, Vidal A, Villaret M.  2015.  The Complexity of 3-Valued Lukasiewicz Rules. 12th Conference on Modeling Decisions for Artificial Intelligence (MDAI 2015). 9312:221-229.
Bou F, Schorlemmer M, Corneli J, Gómez-Ramírez Dde Jesús, Maclean E, Smaill A, Pease A.  2015.  The Role of Blending in Mathematical Invention. Sixth International Conference on Computational Creativity (ICCC 2015). :55-62.
Noriega P, Padget J, Verhagen H, d'Inverno M.  2015.  Towards a Framework for Socio-Cognitive Technical Systems. Coordination, Organizations, Institutions, and Norms in Agent Systems X. 9372:164-181.
Codara P, Valota D.  2015.  Valuations in Nilpotent Minimum Logic. 2015 IEEE International Symposium on Multiple-Valued Logic.
2014
Vidal A.  2014.  Progress report on a modal extension of the solver NiBLos.
Vidal A, Esteva F, Godo L.  2014.  A product modal logic. 35th Linz Seminar on Fuzzy Set Theory. :127-130.
Vidal A, Esteva F, Godo L.  2014.  About standard completeness of Product logic. XVII Congreso Español sobre Tecnologías y Lógica Fuzzy (ESTYLF 2014). :423-428.
Kutsia T, Levy J, Villaret M.  2014.  Anti-unification for Unranked Terms and Hedges. Journal of Automated Reasoning. 52:155-190.
Vidal A, Esteva F, Godo L.  2014.  Axiomatising a fuzzy modal logic over the standard product algebra. Logic, Algebra and Truth Degrees 2014 (LATD 2014). :275-279.
Alba TPenya, Vinyals M, Cerquides J, Rodríguez-Aguilar JA.  2014.  Exploiting Max-Sum for the Decentralized Assembly of High-Valued Supply Chains.. AAMAS '14: Proceedings of the 13th international conference on autonomous agents and multiagent systems.
Morales J, López-Sánchez M, Rodríguez-Aguilar JA, Wooldridge M, Vasconcelos WW.  2014.  Minimality and Simplicity in the On-line Automated Synthesis of Normative Systems. :109-116.
D´err L, Verbiest N, Cornelis C, Godo L.  2014.  Modelos de Conjuntos Rugosos Difusos Tolerantes al Ruido: Definiciones y Propiedades. XVII Congreso Español sobre Tecnologías y Lógica Fuzzy (ESTYLF 2014). :27-32.
Morales J, Mendizabal I, Sanchez-Pinsach D, López-Sánchez M, Wooldridge M, Vasconcelos WW.  2014.  NormLab: A Framework to Support Research on Norm Synthesis (Demonstration). :1697-1698.
Villatoro D., Andrighetto G., Brandts J., Nardin L.G., Sabater-Mir J., Conte R..  2014.  The Norm-Signaling Effects of Group Punishment Combining Agent-Based Simulation and Laboratory Experiments. Social Science Computer Review. 3:334-353.
Noriega P, Padget J, Verhagen H, d'Inverno M.  2014.  The Challenge of Artificial Socio-Cognitive Systems:.
2013
Delgado Mdel Carmen, Sierra C.  2013.  A Multi-agent Approach to Energy-Aware Wireless Sensor Networks Organization. Agreement Technologies - Second International Conference, AT. 8068:32-47.
Alba TPenya, Mikhaylov B, Pujol-Gonzalez M, Rosell B, Cerquides J, Rodríguez-Aguilar JA, Esteva M, Fabregues A, Madrenas J, Sierra C et al..  2013.  An Environment to Build and Track Agent-Based Business Collaboration. Agreement Technologies (Law, Governance and Technology Series). 8:611-624.
Morales J, López-Sánchez M, Rodríguez-Aguilar JA, Wooldridge M, Vasconcelos WW.  2013.  Automated Synthesis of Normative Systems. AAMAS '13: Proceedings of the 12th international conference on autonomous agents and multiagent systems. :483-490.
Alba TPenya, Rodríguez-Aguilar JA, Cerquides J, Vinyals M.  2013.  CHAINME: Fast Decentralized Finding of Better Supply Chains. AAMAS '13: Proceedings of the 12th international conference on autonomous agents and multiagent systems.
Fernández JLuis, Serugendo GDi Marzo, Montagna S, Viroli M, Arcos JLluis.  2013.  Description and composition of bio-inspired design patterns: a complete overview. Natural Computing. 12:43-67.
de Jonge D, Rosell B, Sierra C.  2013.  Human Interactions in Electronic Institutions. 2nd International Conference on Agreement Technologies. 8068:75-89.
Vidal A, Bou F.  2013.  Image-finite first-order structures. ManyVal 2013, Abstracts Volume. :52-53.
D´err L, Verbiest N, Cornelis C, Godo L.  2013.  Implicator-Conjunctor Based Models of Fuzzy Rough Sets: Definitions and Properties. 14th International Conference, RSFDGrC 2013. 8170:169-179.
Boella G, Noriega P, Pigozzi G, Verhagen H.  2013.  Introduction to the special issue on NorMAS 2009. Journal of Logic and Computation. 23:307-308.
Morales J, López-Sánchez M, Rodríguez-Aguilar JA, Wooldridge M, Vasconcelos WW.  2013.  IRON: A Machine for the Automated Synthesis of Normative Systems (Demonstration). AAMAS '13: Proceedings of the 12th international conference on autonomous agents and multiagent systems. :1389-1390.