Export 2126 results:
Author [ Title(Asc)] Type Year
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 
S
Dellunde P, Jansana R.  1996.  Some Characterization Theorems for Infinitary Universal Horn Logic Without Equality. The Journal of Symbolic Logic. 61:1242-1260.
Aguzzoli S, Flaminio T, Marchioni E.  2010.  Some categorical equivalences involving Goedel algebras. Logic, Algebra and Truth Degrees 2010.
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.
Svensson K, Ramchurn SD, Cruz F, Rodríguez-Aguilar JA, Cerquides J.  2013.  Solving the Coalition Structure Generation Problem on a GPU. OPTMAS 6th International Workshop @AAMAS on Optimization in Agent Systems.
Mikhaylov B, Cerquides J, Rodríguez-Aguilar JA.  2011.  Solving Sequential Mixed Auctions with Integer Programming. CAEPIA. 7023:42-53.
Argerlich J., Manyà F.  2005.  Solving over-constrained problems with SAT technology. Lecture Notes in Computer Science. :1-15.
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.  2009.  On Solving MaxSAT Through SAT. Proc. of the 12th Int. Conf. of the ACIA, CCIA'09.
de Givry S, Larrosa J, Meseguer P, Schiex T.  2003.  Solving Max-SAT as Weighted CSP. Principles and Practice of Constraint Programming - CP 2003. LNCS 2833:363-376.
Bouamama S, Blum C.  2017.  On Solving Large-Scale Instances of the Knapsack Problem with Setup by means of an Iterated Greedy Algorithm. ICSC 2017 -- 6th International Conference on Systems and Control.
Cerquides J, Emonet R, Picard G, Rodríguez-Aguilar JA.  In Press.  SOLVING HIGHLY CYCLIC DISTRIBUTED OPTIMIZATION PROBLEMS WITHOUT BUSTING THE BANK: A DECIMATION-BASED APPROACH. Logic Journal of the IGPL.
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.
Bou F, Noguera C.  2011.  Solution of some open problems in the arithmetical complexity of first-order fuzzy logics.
Bessière C, Brito I, Gutierrez P, Meseguer P.  2012.  Soft Global Constraints in Distributed Constraint Optimization. AAMAS 2012 workshop: International Workshop on Optimisation in Multi-Agent Systems. :43–50.
Meseguer P, Rossi F, Schiex T.  2006.  Soft Constraints. Handbook of Constraint Programming. :281-328.
Esteva M, Rodríguez-Aguilar JA, Arcos JLluis, Sierra C.  2011.  Socially-aware lightweight coordination infrastructures. AAMAS'11 12th International Workshop on Agent-Oriented Software Engineering. :117-128.
Alba TPenya, Vinyals M, Cerquides J, Rodríguez-Aguilar JA.  2013.  Social Value Propagation for Supply Chain Formation. OPTMAS 6th International Workshop @AAMAS on Optimization in Agent Systems.
Sabater-Mir J., Sierra C.  2002.  Social ReGreT, a reputation model based on social relations. ACM. 3:44-56.
Yee-King M, d'Inverno M, Noriega P.  2014.  Social machines for education driven by feedback agents. First International Workshop on Multiagent Foundations of Social Computing.
Esteva M, Rosell B, Rodríguez-Aguilar JA, Arcos JLluis.  2003.  Social layer middleware for electronic institutions. The first european workshop on multi-agent systems.
Villatoro D, Sabater-Mir J., Sen S.  2011.  Social Instruments for Robust Convention Emergence. Twenty-Second International Joint Conference on Artificial Intelligence. :420-425.
Villatoro D, Sen S, Sabater-Mir J..  2011.  Social Instruments for Convention Emergence. 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011). 3:1161-1162.
Verhagen H, Noriega P, Balke T, de Vos M.  2013.  Social Coordination: Principles, Artefacts and Theories (SOCIAL.PATH).
Chocron P, Schorlemmer M.  2015.  Social Coordination Systems with Ontology and Protocol Heterogeneity. Artificial Intelligence Research and Development. Proceedings of the 18th International Conference of the Catalan Association for Artificial Intelligence, Valencia, Catalonia, Spain, October 21-23, 2015. 277:283–286.
Aldewereld H, Boissier O, Dignum V, Noriega P, Padget J.  2016.  Social Coordination Frameworks for Social Technical Systems. Law, Governance and Technology Series. 30:VIII,276.
Aldewereld H, Boissier O, Dignum V, Noriega P, Padget J.  2016.  Social Coordination Frameworks for Social Technical Systems. Law, Governance and Technology Series.
de la Rosa JLluís, Oller A, Vehí J, Puyol-Gruart J.  1997.  Soccer Team based on Agent-Oriented Programming. Robotics and Autonomous Systems. 21:167-176.
Esteva F, Godo L.  2007.  Sobre lógicas fuzzy basadas en T–normas y los resultados de Monteiro sobre álgebras de Heyting simétricas. Actas del IX Congreso Dr. António A. R. Monteiro. :23-32.
Vasconcelos WW, Sabater-Mir J., Sierra C, Querol J.  2002.  Skeleton-based Agent Development for Electronic Institutions. Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2002, july 15-19, Bologna, Italy. 2:696-703.
Arcas MAtencia, Schorlemmer M.  2006.  Situated Semantic Alignment. 4th European Workshop on Multi-Agent Systems, EUMAS'06. 223
Guilerme IRizzo, Pedrosanto R, Teixeira A, Mendes JRicardo, Sierra C.  2007.  SISTEMA WEB DE CONTROLE MULTIAGENTE. Simpósio Brasileiro de Automação Inteligente, 2007, Florianópolis. Anais do VIII Simpósio Brasileiro de Automação Inteligente. 1:1-6.
Cruz F, Gutierrez P, Meseguer P.  2014.  Simulation vs Real Execution in DCOP Solving. International Joint Workshop on Optimisation in Multi-Agent Systems and Distributed Constraint Reasoning (OPTMAS-DCR 2014).
Bistaffa F, Rodríguez-Aguilar JA, Cerquides J, Blum C.  2018.  A Simulation Tool for Large-Scale Online Ridesharing (Demonstration). International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018). :1797-1799.
López-Sánchez M, Noria X, Rodríguez-Aguilar JA, Gilbert N, Schuster S.  2004.  Simulation of digital content distribution using a multi-agent simulation approach. Recent Advances in Artificial Intelligence Research and Development. :341-348.
Osman N, Sabater-Mir J., Sierra C.  2011.  Simulating Research Behaviour. 12th International Workshop on Multi-Agent-Based Simulation (MABS'11).
Osman N, Sabater-Mir J., Sierra C.  2012.  Simulating Research Behaviour. Multi-Agent-Based Simulation XII. 7124:15–30.
Levy J, Villaret M.  2009.  Simplifying the Signature in Second-Order Unification. Applicable Algebra in Engineering, Communication and Computing. 20:427-445.
de Jonge D, Sierra C.  2015.  SIMPLE: a Language for the Specification of Protocols, Similar to Natural Language.
Esteva F, Rifqi M, Bouchon-Meunier B, Detyniecki M.  2004.  Similarity-based fuzzy interpolation method. Tenth international conference information processing and management of uncertainty in knowledge-based systems. IPMU 2004 Proceedings. II:1443-1449.
Esteva F, Godo L, Rodriguez ROscar, Vetterlein T.  2010.  Similarity-based approximate and strong entailments. XV Congreso Español sobre Tecnologías y Lógica Fuzzy ESTYLF 2010. :187-192.
Armengol E, Plaza E.  2002.  Similarity of structured cases in CBR. Butlletí de L'ACIA. CCIA'2002. 5è Congrès Català d'Intel.ligència Artificial, Castelló, 24-25 d'Octubre del 2002.gs of the 5th Catalan Conference on Artificial Intelligence (CCIA'2002). :153-160.
Ontañón S, Plaza E.  2012.  Similarity Measures over Refinement Graphs. Machine Learning. 87:57-92.
Armengol E, Dellunde P, García-Cerdaña A.  2016.  On similarity in fuzzy description logics. Fuzzy Sets and Systems. 292:49–74.
García-Cerdaña A, Armengol E, Dellunde P.  2010.  Similarity for attribute-value representations in Fuzzy Description Logics. Artificial Intelligence Research and Development, CCIA'10. :269-278.
Plaza E, Armengol E.  2001.  Similarity assessment for relational CBR. Lecture notes in artificial intelligence. 2080:44-58.
Ozaslan THakan, Serra X, Arcos JLluis.  2012.  Signal Analysis of Ney Performances. 2nd CompMusic Workshop.
Bianchi R, de Mántaras RLópez.  2009.  Should I Trust my Teammates? An experiment in Heuristic Multiagent Reinforcement Learning IJCAI Workshop on Grand Challenges for Reasoning from Experiences. :11-15.
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.
Baccigalupo C, Plaza E.  2007.  Sharing And Combining Listening Experience: A Social Approach to Web Radio. International Computer Music Conference ICMC-07,. :228-231.
Ghobani A, Aldewereld H, Dignum V, Noriega P.  2013.  Shared Strategies in Artificial Agent Societies. Coordination, Organizations, Institutions, and Norms in Agent Systems VIII. :71-86.