Export 561 results:
Autor Títol Tipus [ Any(Asc)]
Filtres: First Letter Of Last Name is A  [Clear All Filters]
2013
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.
Ansótegui C, Bonet MLuisa, Levy J, Manyà F.  2013.  Resolution Procedures for Multiple-Valued Optimization. Information Sciences. 227:43-59.
Campos J, López-Sánchez M, Salamó M, Avila P, Rodríguez-Aguilar JA.  2013.  Robust regulation adaptation in multi-agent systems. ACM Transactions on Autonomous and Adaptive Systems. 8:1-27.
Ansótegui C, Bonet MLuisa, Levy J.  2013.  SAT-Based MaxSAT Algorithms. Artificial Intelligence. 196:77-105.
Ghobani A, Aldewereld H, Dignum V, Noriega P.  2013.  Shared Strategies in Artificial Agent Societies. Coordination, Organizations, Institutions, and Norms in Agent Systems VIII. :71-86.
Ghobani A, Aldewereld H, Dignum V, Noriega P.  2013.  Shared Strategies in Artificial Agent Societies. Coordination, Organizations, Institutions, and Norms in Agent Systems VIII. :71-86.
Alba TPenya, Vinyals M, Cerquides J, Rodríguez-Aguilar JA.  2013.  Social Value Propagation for Supply Chain Formation. OPTMAS 6th International Workshop @AAMAS on Optimization in Agent Systems.
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.
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.
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.
Abril D, Navarro-Arribas G, Torra V.  2013.  Towards a private vector space model for confidential documents. Symposium On Applied Computing. :944–945.
Almajano P, Trescak T, Esteva M, Rodriguez I, López-Sánchez M.  2013.  v-mWater: An e-Government Application for Water Rights Agreements. Agreement Technologies (Law, Governance and Technology Series). 8:583-596.
Abril D, Navarro-Arribas G, Torra V.  2013.  Vector space model anonymization. CCIA 2013 - Sixteenth International Conference of the Catalan Association of Artificial Intelligence. 256:141-150.
Alsinet T, Bejar R, Godo L, Guitart F.  2013.  Web Based System for Weighted Defeasible Argumentation. 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV. 8143:155-171.
Hazelden K, Yee-King M, Amgoud L, d'Inverno M, Sierra C, Osman N, Confalonieri R, de Jonge D.  2013.  WeCurate: Multiuser Museum Interactives for Shared Cultural Experiences. ACM SIGCHI Conference on Human Factors in Computing Systems 2013.
2012
Serrà J, Arcos JLluis.  2012.  A competitive measure to assess the similarity between two time series. 20th International Conference on Case-Based Reasoning (ICCBR-12). 7466:414-427.
Serrà J, Arcos JLluis.  2012.  A competitive measure to assess the similarity between two time series. 20th International Conference on Case-Based Reasoning (ICCBR-12). 7466:414-427.
Fernández JLuis, Arcos JLluis, Serugendo GDi Marzo.  2012.  A Decentralised Approach for Detecting Dynamically Changing Diffuse Event Sources in Noisy WSN Environments. Applied Artificial Intelligence. 26:376-397.
Criado N, Argente E, Noriega P, Botti V.  2012.  A Distributed Architecture for Enforcing Norms in Open MAS. Advanced Agent Technology. 7068:457-471.
García-Camino A, Rodríguez-Aguilar JA, Sierra C, Vasconcelos WW.  2012.  A Distributed Architecture for Norm-Aware Agent Societies: A retrospective. 9th International Workshop, DALT 2011. 7169:102-110.
Zhu Z, Li CMin, Manyà F, Argerlich J..  2012.  A New Encoding from MinSAT into MaxSAT. CP 2012. :455-463.
Ansótegui C, Manyà F.  2012.  A SAT-Based Approach to MinSAT. CCIA 2012. :185-189.
Alba TPenya, Vinyals M, Cerquides J, Rodríguez-Aguilar JA.  2012.  A scalable Message-Passing Algorithm for Supply Chain Formation. AAAI Conf. on Artificial Intelligence.
Almajano P, López-Sánchez M, Rodriguez I.  2012.  An Assistance Infrastructure to Inform Agents for Decision Support in open MAS. ITMAS 2012: International Workshop on Infrastructures and Tools for Multiagent Systems. :93-106.
El-Zekey M, Godo L.  2012.  An extension of Godel logic for reasoning under both vagueness and possibilistic uncertainty. Advances in Computational Intelligence, Proc. of IPMU 2012, Part II. 298:216-225.
Almajano P, Trescak T, Rodriguez I, López-Sánchez M.  2012.  An Infrastructure for Human Inclusion in MAS. ECAI 2012: 20th European Conference on Artificial Intelligence. :999-1000.
Atencia M, Schorlemmer M.  2012.  An Interaction-Based Approach to Semantic Alignment. Journal of Web Semantics. 12-13:131-147.
Ansótegui C, Bonet MLuisa, Levy J, Li CMin.  2012.  Analysis and Generation of Pseudo-Industrial MaxSAT Instances. Proc. of the 15th Int. Conf. of the ACIA, CCIA'12. 248:173-184.
Arqué NMartínez, Nettleton DF.  2012.  Analysis of On-line Social Networks Represented as Graphs – Extraction of an Approximation of Community Structure Using Sampling. MDAI 2012. 7647:149-160.
Arqué NMartínez, Nettleton DF.  2012.  Analysis of On-line Social Networks Represented as Graphs – Extraction of an Approximation of Community Structure Using Sampling. MDAI 2012. 7647:149-160.
Ansótegui C, Bofill M, Manyà F, Villaret M.  2012.  Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers. ISMVL 2012.
Ozaslan THakan, Serra X, Arcos JLluis.  2012.  Characterization of Embellishments in Ney Performances of Makam Music in Turkey. 13th International society for Music Information Retrieval Conference (ISMIR 2012). :13-18.
Abril D, Navarro-Arribas G, Torra V.  2012.  Choquet integral for record linkage. Annals of Operations Research. 195:97-110.
Ansótegui C, Giráldez-Cru J, Levy J.  2012.  The Community Structure of SAT Formulas. Proc. of the 15th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'12. 7317:410-423.
Criado N, Argente E, Botti V, Noriega P.  2012.  Determining the willingness to comply with norms (Extended Abstrat). Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012). 3:1419-1420.
Villatoro D., Andrighetto G., Brandts J., Sabater-Mir J., Conte R..  2012.  Distributed Punishment as a Norm-Signalling Tool. Proceedings of 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012). :1189–1190.
Nettleton DF, Abril D.  2012.  Document Sanitization: Measuring Search Engine Information Loss and Risk of Disclosure for the Wikileaks cables. Privacy in Statistical Databases, 2012. 7556:308-321.
Argerlich J., Cabiscol A, Lynce I, Manyà F.  2012.  Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT. Multiple-Valued Logic and Soft Computing. 19:3-23.
Argente E, Boissier O, Carrascosa C, Fornara N, Mcburney P, Noriega P, Ricci A, Sabater-Mir J., Schumacher MIgnaz, Tampitsikas C et al..  2012.  Environment and Agreement Technologies. Proceedings of the First International Conference on Agreement Technologies. :260-261.
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.
Amgoud L, d'Inverno M, Osman N, Prade H, Sierra C.  2012.  Experiences - A forgotten component of epistemic states. The first International Conference on Agreement Technologies. 918:220-230.
Godo L, Marchioni E, Pardo P.  2012.  Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights. 13th European Conference on Logics in Artificial Intelligence (JELIA 2012). 7519:242-254.
Allouche D, Bessière C, Boizumault P, de Givry S, Gutierrez P, Loudni S, Métivier J-P, Schiex T.  2012.  Filtering Decomposable Global Cost Functions. 26th AAAI Conference on Artificial Intelligence (AAAI 2012).
Aguzzoli S, Flaminio T, Marchioni E.  2012.  Finite Forests. Their Algebras and Logics. Logic, Algebra and Truth Degrees 2012 (LATD 2012).
Ontañón S, Arcos JLluis, Puyol-Gruart J, Carasusan E, Giribet D, de la Cruz D, Brito I, de Toro CLópez.  2012.  GENA: A Case-Based Approach to the Generation of Audio-visual Narratives. 20th International Conference on Case-Based Reasoning (ICCBR-12). 7466:297-311.
Ontañón S, Arcos JLluis, Puyol-Gruart J, Carasusan E, Giribet D, de la Cruz D, Brito I, de Toro CLópez.  2012.  GENA: A Case-Based Approach to the Generation of Audio-visual Narratives. 20th International Conference on Case-Based Reasoning (ICCBR-12). 7466:297-311.
Murillo J, Abril D, Torra V.  2012.  Heuristic Supervised Approach for Record Linkage. Modeling Decisions for Artificial Intelligence (MDAI). 7647:210-221.