Export 262 results:
[ Autor(Desc)] Títol Tipus Any
Filtres: First Letter Of Last Name is A  [Clear All Filters]
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, 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, 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, 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, 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.  2018.  Collaborative Rankings. Fundamenta Informaticae. 158(1-3):277-295.
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, 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, 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, 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.  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.  2018.  Solving the Synergistic Team Formation Problem. Proceedings of the 17th Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2018). :1853-1855.
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, 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, Conte R.  2010.  Norm internalization in artificial societies. AI Communications. 23:15.
Andrighetto G, Governatore G, Noriega P, van der Torre L.  2013.  Normative Multi-Agent Systems. Dagstuhl Follow-Ups. 4
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.
Angulo C, Godo L.  2007.  Artificial Intelligence Research and Development.
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, 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, 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, Manyà F.  2012.  A SAT-Based Approach to MinSAT. CCIA 2012. :185-189.
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.  2017.  Structure features for SAT instances classification. Journal of Applied Logic. 23:27–39.
Ansótegui C, Bonet MLuisa, Levy J.  2013.  SAT-Based MaxSAT Algorithms. Artificial Intelligence. 196:77-105.
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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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.  A Complete Resolution Calculus for Signed Max-SAT. Proc. of the 37th International Symposium on Multiple-Valued Logic, ISMVL'07. :22.
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.  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.  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.  2010.  On Solving MaxSAT Through SAT. Workshop on Pragmatics of SAT, POS-10.
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.  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, Gabàs J, Levy J.  2016.  Exploiting subproblem optimization in SAT-based MaxSAT algorithms. Journal of Heuristics. 22:1–53.