Export 2138 results:
Autor [ Títol(Desc)] Tipus Any
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
Levy J, Villaret M.  2009.  Simplifying the Signature in Second-Order Unification. Applicable Algebra in Engineering, Communication and Computing. 20:427-445.
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.
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.
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.
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).
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.
Arcas MAtencia, Schorlemmer M.  2006.  Situated Semantic Alignment. 4th European Workshop on Multi-Agent Systems, EUMAS'06. 223
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.
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.
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.
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.
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.
Verhagen H, Noriega P, Balke T, de Vos M.  2013.  Social Coordination: Principles, Artefacts and Theories (SOCIAL.PATH).
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.
Villatoro D, Sabater-Mir J., Sen S.  2011.  Social Instruments for Robust Convention Emergence. Twenty-Second International Joint Conference on Artificial Intelligence. :420-425.
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.
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.
Sabater-Mir J., Sierra C.  2002.  Social ReGreT, a reputation model based on social relations. ACM. 3:44-56.
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.
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.
Meseguer P, Rossi F, Schiex T.  2006.  Soft Constraints. Handbook of Constraint Programming. :281-328.
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.
Bou F, Noguera C.  2011.  Solution of some open problems in the arithmetical complexity of first-order fuzzy logics.
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.
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.
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.
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.
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.
Argerlich J., Manyà F.  2005.  Solving over-constrained problems with SAT technology. Lecture Notes in Computer Science. :1-15.
Mikhaylov B, Cerquides J, Rodríguez-Aguilar JA.  2011.  Solving Sequential Mixed Auctions with Integer Programming. CAEPIA. 7023:42-53.
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.
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.
Aguzzoli S, Flaminio T, Marchioni E.  2010.  Some categorical equivalences involving Goedel algebras. Logic, Algebra and Truth Degrees 2010.
Dellunde P, Jansana R.  1996.  Some Characterization Theorems for Infinitary Universal Horn Logic Without Equality. The Journal of Symbolic Logic. 61:1242-1260.
Esteva F, Godo L.  2012.  Some remarks about standard first order tautologies. ManyVal'12.
Casanovas E, Dellunde P.  1997.  Some Results on Equality-free Logic. The Bulletin of the Workshop on Model Theory and Complexity. :13-15.
Uhle C, Driedger J, Edler B, Ewert S, Graf F, Kubin G, Müller M, Ono N, Pardo B, Serrà J.  2013.  Source separation. Dagstuhl Seminar 13451: Computational Audio Analysis.
Domingo-Ferrer J, Posegga J., Sebe F., Torra V.  2007.  Special issue on Advances in Smart Cards: Editorial. Computer Networks. 9
Torra V, Narukawa Y.  2007.  Special Issue on Aggregation Operators. Int. J. of Approx. Reasoning. 3
Torra V.  2001.  Special issue on measures and aggregation: Formal aspects and applications to cluestering and decision. nternational Journal of Uncertainty Fuzziness and Knowledge-Based Systems.. 9
Blum C, Juan AA, Lourenco HRamalhinho, Stützle T.  2017.  Special issue on "Metaheuristics". International Transactions in Operational Research. 24(3):681-682.
Torra V, Narukawa Y, Miyamoto S.  2007.  Special Issue on Modeling Decisions for Artificial Inteligence. J. of Advanced Computational Intelligence and Intelligent Informatics (JACIII). 1
Puyol-Gruart J, Godo L, Sierra C.  1998.  Specialisation Calculus and Communication. International Journal of Appoximate Reasoning. 18:107-130.
Sánchez M, Meseguer P.  2001.  Specializing Russian doll search. Lecture notes in computer science. 2239:464-478.
Sierra C, Godo L.  1992.  Specifying simple scheduling tasks in a reflective and modular architecture. Workshop on formal especification methods for complex reasoning sysems at the 10th european conference on Artificial intelligence. :177-206.
Ontañón S, Meseguer P.  2015.  Speeding up operations on feature terms using constraint programming and variable symmetry. Artificial Intelligence. 220:104-120.
Abril D, Navarro-Arribas G, Torra V.  2015.  Spherical microaggregation: Anonymizing sparse vector spaces. Computers & Security. 49:17.