CSIC

Usted está aquí

Inicio

Bibliography

Export 262 results:
[ Autor(Asc)] Título Tipo Año
Filtros: 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
Arcas MAtencia, Schorlemmer M.  2007.  Semantic alignment of agent interactions through the communication product. 5th European Workshop on Multi-Agent Systems, EUMAS'07.
Arcas MAtencia, Schorlemmer M.  2008.  I-SSA: Interaction-Situated Semantic Alignment. On the Move to Meaningful Internet Systems: OTM 2008. OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. 5331:445-455.
Arcas MAtencia, Schorlemmer M.  2006.  Situated Semantic Alignment. 4th European Workshop on Multi-Agent Systems, EUMAS'06. 223
Arcas MAtencia, Schorlemmer M.  2007.  A formal model for Situated Semantic Alignment. 6th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS'07. :1270-1277.
Arcas MAtencia, Schorlemmer M.  2009.  Reaching semantic agreements through interaction. 4th AIS SigPrag Int. Pragmatic Web Conference Track, ICPW'09, at the 5th Int. Conference on Semantic Systems, i-Semantics'09. :726-737.
Aranda G, Trescak T, Esteva M.  2011.  Building Quests for Online Games with Virtual Institutions. Agents for games and simulations II. :192–206.
Aranda G, Trescak T, Esteva M, Carrascosa C.  2010.  Building Quests for Online Games with Virtual Institutions. Workshop on Agents for Games and Simulations at AAMAS 2010. :125-139.
Aran XFerrer, Giráldez-Cru J.  2016.  Link Prediction in Evolutionary Graphs. Artificial Intelligence Research and Development: Proceedings of the 19th International Conference of the Catalan Association for Artificial Intelligence, Barcelona, Catalonia, Spain, October 19-21, 2016. :187.
Aran XFerrer, Plaza E.  2016.  Concept Discovery and Argument Bundles in the Experience Web. Case-Based Reasoning Research and Development - 24th International Conference, ICCBR 2016, Atlanta, GA, USA, October 31 - November 2, 2016, Proceedings.
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.
Ansótegui C, Manyà F.  2012.  A SAT-Based Approach to MinSAT. CCIA 2012. :185-189.
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.
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.  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, 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, 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, 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, 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, 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, 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, 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, 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.  The Logic Behind Weighted CSP. Future and Trends in Constraint Programming. :307-320.
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, 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.  2010.  A New Algorithm for Weighted Partial MaxSAT. Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010.
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 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, 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.  2013.  Resolution Procedures for Multiple-Valued Optimization. Information Sciences. 227:43-59.
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, 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.
Angulo C, Godo L.  2007.  Artificial Intelligence Research and Development.
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.
Andrighetto G, Governatore G, Noriega P, van der Torre L.  2012.  Normative Multi-Agent Systems (Dagstuhl Seminar 12111). Dagstuhl Reports. 2:23-49.
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, 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).