Export 2115 results:
[ Autor(Desc)] Título Tipo Año
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 
A
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.
Amgoud L, Confalonieri R, de Jonge D, d'Inverno M, Hazelden K, Osman N, Prade H, Sierra C, Yee-King M.  2012.  Sharing online cultural experiences: An argument-based approach. The 9th International Conference on Modeling Decisions for Artificial Intelligence. 7647:282-293.
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.
Andrejczuk E, Rodríguez-Aguilar JA, Sierra C, Roig C, Parejo-Romero Y.  2018.  Don’t Leave Anyone Behind: Achieving Team Performance Through Diversity. Proceedings of the 48th Annual Frontiers in Education (FIE 2018).
Andrejczuk E, Rodríguez-Aguilar JA, Sierra C.  2017.  A concise review on multi-agent teams: contributions and research opportunities. Multi-Agent Systems and Agreement Technologies. EUMAS 2016, AT 2016. 10207:31-39.
Andrejczuk E, Bistaffa F, Blum C, Rodríguez-Aguilar JA, Sierra C.  2018.  Heterogeneous Teams for Homogeneous Performance. Proceedings of the 21st International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2018). 11224:89-105.
Andrejczuk E.  2018.  Arti ficial intelligence methods to support people management in organisations. PhD:187.
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, Sierra C.  2015.  Collaborative Judgement. Proceedings of 18th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2015). 9387:631-639.
Andrejczuk E, Rodríguez-Aguilar JA, Sierra C.  2018.  Collaborative Rankings. Fundamenta Informaticae. 158(1-3):277-295.
Andrejczuk E, Berger R, Sierra C, Rodríguez-Aguilar JA, Marín-Puchades V.  2018.  The Composition and Formation of Effective Teams. Computer Science meets Psychology. The Knowledge Engineering Review. 33
Andrejczuk E, Rodríguez-Aguilar JA, Sierra C.  2016.  Optimising Congenial Teams. International Workshop on Optimisation in multiagent systems (OPTMAS).
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.
Andrejczuk E, Bistaffa F, Blum C, Rodríguez-Aguilar JA, Sierra C.  2018.  Solving the Synergistic Team Formation Problem. Proceedings of the 17th Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2018). :1853-1855.
Andrighetto G, Villatoro D, Conte R.  2010.  Norm internalization in artificial societies. AI Communications. 23:15.
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
Andrighetto G, Villatoro D.  2011.  Beyond the Carrot and Stick Approach to Enforcement: An Agent-Based Model. European Conference on Cognitive Science.
Andrighetto G, Castelfranchi C, Mayor E, McBreen J, López-Sánchez M, Parsons S.  2013.  (Social) Norm Dynamics. Normative Multi-Agent Systems. :135-170.
Andrighetto G, Governatore G, Noriega P, van der Torre L.  2013.  Normative Multi-Agent Systems. Dagstuhl Follow-Ups. 4
Andrighetto G, Governatore G, Noriega P, van der Torre L.  2012.  Normative Multi-Agent Systems (Dagstuhl Seminar 12111). Dagstuhl Reports. 2:23-49.
Angulo C, Godo L.  2007.  Artificial Intelligence Research and Development.
Ansótegui C, Manyà F.  2005.  Mapping many-valued CNF Formulas to Boolean CNF Formulas. Proc. 35th Intern. Symposium on Multiple-Valued logics ISMVL. :290-295.
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, Bonet MLuisa, Levy J.  2009.  On Solving MaxSAT Through SAT. Proc. of the 12th Int. Conf. of the ACIA, CCIA'09.
Ansótegui C, Bonet MLuisa, Gabàs J, Levy J.  2012.  Improving SAT-Based Weighted MaxSAT Solvers. Proc. of the 18th Int. Conf. on Principles and Practice of Constraint Programming, CP'12. 7514:86-101.
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.
Ansótegui C, Bonet MLuisa, Levy J.  2013.  SAT-Based MaxSAT Algorithms. Artificial Intelligence. 196:77-105.
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.
Ansótegui C, Levy J.  2011.  On the Modularity of Industrial SAT Instances. Proc. of the 14th Int. Conf. of the ACIA, CCIA'11. 232:11-20.
Ansótegui C, Bofill M, Manyà F, Villaret M.  2011.  Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic. 41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011. :230-235.
Ansótegui C, Bonet MLuisa, Levy J.  2010.  On Solving MaxSAT Through SAT. Workshop on Pragmatics of SAT, POS-10.
Ansótegui C, Bonet MLuisa, Levy J, Manyà F.  2008.  Measuring the Hardness of SAT Instances. Proc. of the 23th AAAI Conference on Artificial Intelligence, AAAI-08. :222-228.
Ansótegui C, Bonet MLuisa, Levy J.  2008.  Random SAT Instances à la Carte. Proc. of the 11th Int. Conf. of the ACIA, CCIA'08. 184:109-117.
Ansótegui C, Bonet MLuisa, Levy J, Manyà F.  2007.  Inference Rules for High-Order Consistency in Weighted CSP. Proc. of the 22th AAAI Conference on Artificial Intelligence, AAAI-07. :167-172.
Ansótegui C, Manyà F.  2012.  A SAT-Based Approach to MinSAT. CCIA 2012. :185-189.
Ansótegui C, Bonet MLuisa, Levy J, Manyà F.  2007.  A Complete Resolution Calculus for Signed Max-SAT. Proc. of the 37th International Symposium on Multiple-Valued Logic, ISMVL'07. :22.
Ansótegui C, Bonet MLuisa, Levy J.  2009.  Solving (Weighted) Partial MaxSAT Through Satisfiability Testing. Proc. of the 20th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'09. 5584:427-440.
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.
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.
Ansótegui C, Bonet MLuisa, Levy J.  2010.  A New Algorithm for Weighted Partial MaxSAT. Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010.
Ansótegui C, Bonet MLuisa, Levy J, Manyà F.  2007.  The Logic Behind Weighted CSP. Future and Trends in Constraint Programming. :307-320.
Ansótegui C, Bonet MLuisa, Levy J.  2009.  On the Structure of Industrial SAT Instances. Proc. of the 15th Int. Conf. on Principles and Practice of Constraint Programming, CP'09. 5732:127-141.
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.
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.
Ansótegui C, Bejar R, Fernandez C, Gomes C, Mateu C.  2006.  The impact of balancing on problem hardness in a highly structured domain. Proceedings of the 21st National Conference on Artificial Intelligence, AAAI-2006.. :10-15.
Ansótegui C, Bonet MLuisa, Levy J.  2009.  Towards Industrial-Like Random SAT Instances. Proc. of the 21st Int. Joint Conf. on Artificial Intelligence, IJCAI'09. :387-392.
Ansótegui C, Bonet MLuisa, Giráldez-Cru J, Levy J.  2015.  On the Classification of Industrial SAT Families. Proc. of the 18th Int. Conf. of the Catalan Association for Artificial Intelligence, CCIA'15.
Ansótegui C, Bonet MLuisa, Levy J, Manyà F.  2007.  The Logic behind Weighted CSP. Proc. of the 20th International Joint Conference on Artificial Intelligence, IJCAI'07. :32-37.
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.
Ansótegui C, Bonet MLuisa, Levy J, Manyà F.  2013.  Resolution Procedures for Multiple-Valued Optimization. Information Sciences. 227:43-59.