Export 2126 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
Amat J, de Mántaras RLópez, Sierra C.  1997.  Cooperative Automous Low-Cost robots for exploring unknown environments. Lecture Notes in Control and Information Science. :40-49.
Amat J, de Mántaras RLópez, Sierra C.  1995.  Cooperative Automous Low-Cost robots for exploring unknown environments. 4th international Symposium on Experimental Robotics, ISER 95. :28-33.
Amatriain X, Bonada J, Loscos À, Arcos JLluis, Verfaille V.  2003.  Content-Based Transformations. Journal of New Music Research. 32:95-114.
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, 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.
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.
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, 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.  2018.  Arti ficial intelligence methods to support people management in organisations. PhD:187.
Andrejczuk E, Rodríguez-Aguilar JA, Sierra C.  2016.  Optimising Congenial Teams. International Workshop on Optimisation in multiagent systems (OPTMAS).
Andrejczuk E, Bistaffa F, Blum C, Rodríguez-Aguilar JA, Sierra C.  2019.  Synergistic team composition: A computational approach to foster diversity in teams. Knowledge-Based Systems. 182
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.
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.  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, 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).
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.
Andrighetto G, Villatoro D, Conte R.  2010.  Norm internalization in artificial societies. AI Communications. 23:15.
Angulo C, Godo L.  2007.  Artificial Intelligence Research and Development.
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, 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.  A Complete Resolution Calculus for Signed Max-SAT. Proc. of the 37th International Symposium on Multiple-Valued Logic, ISMVL'07. :22.
Ansótegui C, Manyà F.  2012.  A SAT-Based Approach to MinSAT. CCIA 2012. :185-189.
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, Manyà F.  2007.  The Logic Behind Weighted CSP. Future and Trends in Constraint Programming. :307-320.
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.  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, 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, 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, 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, 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, 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, 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, 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, Manyà F.  2013.  Resolution Procedures for Multiple-Valued Optimization. Information Sciences. 227:43-59.
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.  2007.  Mapping CSP into Many-Valued SAT. Proc. of the 10th International Conference on Theory and Applications of Satisfiability Testing, SAT'07. 4501:10-15.
Ansótegui C, Giráldez-Cru J, Levy J, Simon L.  2015.  Using Community Structure to Detect Relevant Learnt Clauses. Proc. of the 18th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'15.
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, Levy J.  2013.  SAT-Based MaxSAT Algorithms. Artificial Intelligence. 196:77-105.
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.