Export 465 results:
Autor Título Tipo [ Año(Asc)]
Filtros: First Letter Of Last Name is B  [Clear All Filters]
2014
Baydin AGünes, de Mántaras RLópez, Ontañón S.  2014.  A Semantic Network-based Evolutionary Algorithm for Modeling Memetic Evolution and Creativity. Evolutionary Intelligence. 8:3-21.
Bauters K, Liu W, Hong J, Godo L, Sierra C.  2014.  A Syntactic Approach to Revising Epistemic States with Uncertain Inputs. 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014. :154-161.
Bistaffa F, Farinelli A, Cerquides J, Rodríguez-Aguilar JA, Ramchurn SD.  2014.  Anytime Coalition Structure Generation on Scale-Free and Community Networks. International Joint Workshop on Optimisation in Multi-Agent Systems and Distributed Constraint Reasoning (OptMAS-DCR).
Bistaffa F, Farinelli A, Cerquides J, Rodríguez-Aguilar JA, Ramchurn SD.  2014.  Anytime coalition structure generation on synergy graphs. AAMAS '14: Proceedings of the 13th international conference on autonomous agents and multi Agent Systems. :13-20.
Bourazeri A, Almajano P, Rodriguez I, López-Sánchez M.  2014.  Assistive Awareness in Smart Grids. The Computer After Me.
Bauters K, Liu W, Hong J, Sierra C, Godo L.  2014.  CAN(PLAN)+: Extending the Operational Semantics of the BDI Architecture to deal with Uncertain Information. 30th Conference on Uncertainty in Artificial Intelligence (UAI 2014). :52-61.
Billhardt H, Fernandez A, Lemus L, Lujak M, Osman N, Ossowski S, Sierra C.  2014.  Dynamic Coordination in Fleet Management Systems: Toward Smart Cyber Fleets. Intelligent Systems. 29:70-76.
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.
Ansótegui C, Bonet MLuisa, Giráldez-Cru J, Levy J.  2014.  The Fractal Dimension of SAT Formulas. Proc. of the 7th Int. Joint Conf. on Automated Reasoning, IJCAR'14.
Suchan J, Spranger M, Bhatt M, Eppe M.  2014.  Grounding Dynamic Spatial Relations for Embodied (Robot) Interaction. Pacific Rim Conference on Artificial Intelligence (PRICAI).
Bonatti P, Oliveira E, Sabater-Mir J., Sierra C, Toni F.  2014.  On the Integration of Trust with Negotiation, Argumentation and Semantics. Knowledge engineering review.
Bou F.  2014.  Introducing an exotic MTL-chain. :143-145.
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.
Alsinet T, Bejar R, Godo L, Guitart F.  2014.  On the Characterization of the Maximal Ideal Recursive Semantics of RP-DeLP. CCIA 2014. 269:215-224.
Banerjee M, Dubois D, Godo L.  2014.  Possibilistic vs. Relational Semantics for Logics of Incomplete Information. IPMU 2014, Part I. 442:335-344.
Aran XFerrer, Chen YYie, Wiratunga N, Plaza E.  2014.  Preference and Sentiment Guided Social Recommendations with Temporal Dynamics. Research and Development in Intelligent Systems XXXI. :101-116.
Bauters K, McAreavey K, Hong J, Chen Y, Liu W, Godo L, Sierra C.  2014.  Probabilistic Planning in AgentSpeak using the POMDP framework. 4th Intl. Workshop on Combinations of Intelligent Methods and Applications (CIMA'14), extended version. :18p.
Criado N, Argente E, Noriega P, Botti V.  2014.  Reasoning about Norms under Uncertainty in Dynamic Environments. International Journal of Approximate Reasoning. 5:2049-2070.
2013
Cintula P, Noguera C.  2013.  A note on the hierarchy of algebraizable logics. 4th World Congress on Universal Logic. :356-357.
Ossowski S, Sierra C, Botti V.  2013.  Agreement Technologies: A Computing Perspective. Agreement Technologies (Law, Governance and Technology Series). 8:3-16.
Nettleton DF, Baeza-Yates R, Marcos M-C.  2013.  Analysis of the user queries of an e-Commerce bookstore in terms of the LCC catalogue and publishers. Information Research. 18
Almajano P, Bourazeri A, López-Sánchez M, Rodriguez I.  2013.  Digital game enables active user participation in SmartGrids. Awareness Magazine.
Pujol-Gonzalez M, Cerquides J, Meseguer P, Tambe M, Rodríguez-Aguilar JA.  2013.  Engineering the decentralized coordination of UAVs with limited communication range. CAEPIA 2013.
Bessière C, Brito I, Gutierrez P, Meseguer P.  2013.  Global constraints in distributed constraint satisfaction and optimization. The Computer Journal.
Bessière C, Brito I, Gutierrez P, Meseguer P.  2013.  Global constraints in distributed constraint satisfaction and optimization. The Computer Journal.
Beck-Fernandez H, Nettleton DF.  2013.  Identification and Extraction of Memes represented as Semantic Networks from Free Text Online Forums. MDAI 2013 - Modeling Decisions for Artificial Intelligence.
Vidal A, Bou F.  2013.  Image-finite first-order structures. ManyVal 2013, Abstracts Volume. :52-53.
Ansótegui C, Bonet MLuisa, Gabàs J, Levy J.  2013.  Improving WPM2 for (Weighted) Partial MaxSAT. Proc of the 19th Int. Conf. on Principles and Practice of Constraint Programming, CP'13.
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.
Criado N, Argente E, Noriega P, Botti V.  2013.  MaNEA: A distributed architecture for enforcing norms in open MAS. Engineering applications of artificial intelligence. 26:76-95.
Serrà J, Corral Á, Boguñá M, Haro M, Arcos JLluis.  2013.  Measuring quantitative trends in western popular music. CRM-Imperial College Workshop in Complex Systems.
Garrido A, Giret A, Botti V, Noriega P.  2013.  mWater, a Case Study for Modeling Virtual Markets. Agreement Technologies. :565-582.
Vidal A, Bou F, Godo L.  2013.  NiBLoS: a general SMT-based solver for logics of BL-chains.
Alsinet T, Barroso D, Bejar R, Bou F, Cerami M, Esteva F.  2013.  On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers. 7th International Conference on Scalable Uncertainty Management, SUM 2013. 8078:325-330.
Alsinet T, Barroso D, Bejar R, Bou F, Cerami M, Esteva F.  2013.  On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers. 7th International Conference on Scalable Uncertainty Management, SUM 2013. 8078:325-330.
Alsinet T, Barroso D, Bejar R, Bou F, Cerami M, Esteva F.  2013.  On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers. 7th International Conference on Scalable Uncertainty Management, SUM 2013. 8078:325-330.
Alsinet T, Bejar R, Godo L, Guitart F.  2013.  On the Implementation of a Multiple Output Algorithm for Defeasible Argumentation. 7th International Conference on Scalable Uncertainty Management, SUM 2013. 8078:71-77.
Blondeel M, Flaminio T, Godo L, de Cock M.  2013.  Relating fuzzy autoepistemic logic to fuzzy modal logics of belief. IJCAI-13 Workshop on Weighted Logics for Artificial Intelligence (WL4AI-2013). :18-25.
Ansótegui C, Bonet MLuisa, Levy J, Manyà F.  2013.  Resolution Procedures for Multiple-Valued Optimization. Information Sciences. 227:43-59.
Ansótegui C, Bonet MLuisa, Levy J.  2013.  SAT-Based MaxSAT Algorithms. Artificial Intelligence. 196:77-105.
Verhagen H, Noriega P, Balke T, de Vos M.  2013.  Social Coordination: Principles, Artefacts and Theories (SOCIAL.PATH).
Argente E, Boissier O, Carrascosa C, Fornara N, Mcburney P, Noriega P, Ricci A, Sabater-Mir J., Schumacher MIgnaz, Tampitsikas C et al..  2013.  The role of the environment in agreement technologies. Artificial Intelligence Review. 39:21-38.
Singh MP, Arrot M, Balke T, Chopra AK, Christiaanse R.  2013.  The Uses of Norms. Normative Multi-Agent Systems. :191-229.
Singh MP, Arrot M, Balke T, Chopra AK, Christiaanse R, Cranefield S, Dignum F, Eynard D, Farcas E, Fornara N et al..  2013.  The uses of norms. Normative Multi-Agent Systems. :191–229.
Pitt J, Bourazeri A, Nowak A, Roszczynska M, Rychwalska A, Rodriguez I, López-Sánchez M, Florea M, Sanduleac M.  2013.  Transforming Big Data Into Collective Awareness For Transformative Impact On Society. Computer. 46:40-45.
Baumgartner A, Kutsia T, Levy J, Villaret M.  2013.  A Variant of Higher-Order Anti-Unification. Proc. of the 24st Int. Conf. on Rewriting Techniques and Applications, RTA'13.