Export 262 results:
[ Author(Asc)] Title Type Year
Filters: 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.  2008.  Formalising Interaction-Situated Semantic Alignment: the communication product. 10th International Symposium on Artificial Intelligence and Mathematics.
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.  2007.  Semantic alignment of agent interactions through the communication product. 5th European Workshop on Multi-Agent Systems, EUMAS'07.
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, 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.
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.
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, 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, 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, Levy J.  2013.  SAT-Based MaxSAT Algorithms. Artificial Intelligence. 196:77-105.
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, 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, 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.  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, 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, Manyà F.  2007.  The Logic Behind Weighted CSP. Future and Trends in Constraint Programming. :307-320.
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, 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.  2009.  On Solving MaxSAT Through SAT. Proc. of the 12th Int. Conf. of the ACIA, CCIA'09.
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, 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.  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.  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.  A Complete Resolution Calculus for Signed Max-SAT. Proc. of the 37th International Symposium on Multiple-Valued Logic, ISMVL'07. :22.
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.  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, 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, 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, Manyà F.  2013.  Resolution Procedures for Multiple-Valued Optimization. Information Sciences. 227:43-59.
Angulo C, Godo L.  2007.  Artificial Intelligence Research and Development.
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.
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.  2015.  Collaborative Judgement. Proceedings of 18th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2015). 9387:631-639.