Export 2138 results:
[ Autor(Desc)] Título Tipo Año
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 
B
Blum C, Blesa MJ, Duarte A, Sánchez-Oro J.  2017.  An Alternative ILP Model and Algorithmic Ideas for the Maximum Edge-Disjoint Paths Problem. Metaheuristics International Conference (MIC). :938-940.
Blum C, Blesa MJ.  2018.  Hybrid Techniques Based on Solving Reduced Problem Instances for a Longest Common Subsequence Problem. Applied Soft Computing. 62:15-28.
Blum C, Juan AA, Lourenco HRamalhinho, Stützle T.  2017.  Special issue on "Metaheuristics". International Transactions in Operational Research. 24(3):681-682.
Blum C, Festa P.  2018.  Selected String Problems. Handbook of Heuristics. :1221-1240.
Bobillo F., Bou F, Straccia U..  2011.  On the Failure of the Finite Model Property in some Fuzzy Description Logics. Fuzzy Sets and Systems. 172:1-12.
Bobillo F., Cerami M., Esteva F, García-Cerdaña A, .Peñaloza R, .Straccia U.  2015.  Fuzzy Description Logics. Studies in Logic.
Bobillo F, Cerami M, Esteva F, García-Cerdaña A, Peñaloza R, Straccia U.  In Press.  Fuzzy Description Logic. Handbook of Mathematical Fuzzy Logic - volume 3.
Boella G, Noriega P.  2009.  09121 Abstracts Collection – Normative Multi-Agent Systems. Normative Multi-Agent Systems. 09121:1-17.
Boella G, Noriega P, Pigozzi G, Verhagen H.  2013.  Introduction to the special issue on NorMAS 2009. Journal of Logic and Computation. 23:307-308.
Boella G, Noriega P, Pigozzi G, Verhagen H.  2009.  Normative Multi-Agent Systems. 09121
Bofill M, Manyà F, Vidal A, Villaret M.  2015.  The Complexity of 3-Valued Lukasiewicz Rules. 12th Conference on Modeling Decisions for Artificial Intelligence (MDAI 2015). 9312:221-229.
Bofill M, Manyà F, Vidal A, Villaret M.  2015.  Finding Hard Instances of Satisfiability in Lukasiewicz Logics. 2015 IEEE International Symposium on Multiple-Valued Logic, ISMVL 2015. :30-35.
Bogdanovych A, Berger H, Simoff S, Sierra C.  2004.  3D Electronic Institutions: Social Interfaces for E-Commerce. Conferences in Research and Practice in Information Technology. 40
Bogdanovych A, Rodríguez-Aguilar JA, Simoff S, Cohen A..  2010.  Authentic Interactive Re-enactment of Cultural Heritage with 3D Virtual Worlds and Artificial Intelligence. Applied Artificial Intelligence. 24:617-647.
Bogdanovych A, Simoff S, Esteva M.  2008.  Virtual Institutions: Normative Environments Facilitating Imitation Learning in Virtual Agents.. 8-th International Conference on Intelligent Virtual Agents (IVA 2008). 5208:456-464.
Bogdanovych A, Rodríguez-Aguilar JA, Simoff S, Cohen A., Sierra C.  2009.  Developing virtual Heritage applications as normative multi-agent Systems. Tenth International Workshop on Agent Oriented Software Engineering (AOSE).
Bogdanovych A, Esteva M, Simoff S, Sierra C, Berger H.  2007.  A Methodology for 3D Electronic Institutions. The Sixth International Joint Conference in Autonomous Agents and Multi-Agent Systems (AAMAS 07). :346-348.
Bogdanovych A, Berger H, Sierra C, Simoff S.  2005.  Humans and agents in 3D electronic institutions. 4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands.
Bogdanovych A, Simoff S, Esteva M, Debenham J.  2008.  Teaching Autonomous Agents to Move in a Believable Manner within Virtual Institutions. Second IFIP International Conference on Artificial Intelligence in Theory and Practice (IFIP AI 2008. :233-236.
Bogdanovych A, Esteva M, Simoff S, Sierra C.  2007.  Teaching Human-like Movements to Autonomous Agents via Implicit Training. Lecture Notes in Artificial Intelligence. 4722:356-357.
Bogdanovych A, Berger H, Simoff S, Sierra C.  2004.  E-commerce environments as 3D electronic institutions. IADIS International Conference e-Commerce, Lisbon, Portugal. 14-16 December 2004.
Bogdanovych A, Simoff S, Esteva M.  2008.  Training Believable Agents in 3D Electronic Business Environments Using Recursive-Arc Graphs.. Third International Conference on Software and Data Technologies (IC-Soft 2008). :339-345.
Bogdanovych A, Esteva M, Simoff S, Sierra C, Berger H.  2008.  A Methodology for Developing Multiagent Systems as 3D Electronic Institutions. Agent-Oriented Software Engineering VIII. 4951:103-117.
Bogdanovych A, Rodríguez-Aguilar JA, Simoff S, Cohen A..  2009.  Virtual agents and ·3D virtual worlds for preserving and simulating cultures. IVA '09: 9th International Conference on Intelligent Virtual Agents. 5773:257-271.
Bogdanovych A, Berger H, Simoff S, Sierra C.  2006.  Travel Agents vs. On line Booking: Tackling the Shortcomings of Nowadays Online Tourism Portals. 13th International Conference on Information Technologies in Tourism- ENTER 2006. :418-428.
Bogdanovych A, Simoff S, Esteva M.  2008.  Normative Virtual Environments: Integrating Physical and Virtual under the One Umbrella. Third International Conference on Software and Data Technologies (IC-Soft 2008). :233-236.
Boixader D, Godo L.  2003.  Posibility Relations: the hindden face of fuzzy preoders. Proceedings of Third Conference of the Europeean Society for Fuzzy Logic and Technologies (EUSFLAT 2003) September-2003. :433-436.
Bonatti P, Oliveira E, Sabater-Mir J., Sierra C, Toni F.  2014.  On the Integration of Trust with Negotiation, Argumentation and Semantics. Knowledge engineering review.
Bonet MLuisa, Levy J, Manyà F.  2007.  Resolution for Max-SAT. Artificial Intelligence. 171:606-618.
Bonet MLuisa, Levy J, Manyà F.  2006.  A Complete Calculus for Max-SAT. Lecture Notes in Computer Science. 4121:240-251.
Bosch R, Dellunde P.  1999.  Vocabulari Basic de Lògica. Servei de Publicacions de la Universitat Autonoma de Barcelona.
Botti V, Garrido A, Gimeno JA, Giret A, Igual F, Noriega P.  2010.  An Electronic Institution for Simulating Water-Right Markets. III Workshop on Agreement Technologies at IBERAMIA 2010 (WAT 2010). :3-18.
Botti V, Garrido A, Giret A, Noriega P.  2012.  The Role of MAS as a Decision Support Tool in a Water-Rights Market. Advanced Agent Technology. 7068:35-49.
Botti V, Garrido A, Giret A, Noriega P.  2011.  The Role of MAS as a Decision Support Tool in a Water-Rights Market. :2-17.
Botti V, Garrido A, Giret A, Noriega P.  2009.  Managing Water Demand as a Regulated Open MAS. MALLOW Workshop on Coordination, Organization, Institutions and Norms in Agent Systems in On-Line Communities (COIN@MALLOW’09). 494:108-109.
Botti V, Garrido A, Giret A, Noriega P.  2011.  The Role of MAS as a Decision Support Tool in a Water-Rights Market. International Workshop on Agent-based Modeling for Policy Engineering (AMPLE@AAMAS’2011). :2-17.
Bou E, López-Sánchez M, Rodríguez-Aguilar JA.  2007.  Self-adaptation in Autonomic Electronic Institutions through Case-Based Reasoning. Proceedings of the Multi-Agents for modelling Complex Systems (MA4CS). Satellite Workshop of the European Conference on Complex Systems 2007 (ECCS'07). :ToappearasLectureNotesinComputerScience.
Bou F, Esteva F, Godo L.  2008.  Exploring a Syntactic Notion of Modal Many-Valued Logics. Mathware & Soft Computing. 15:175-188.
Bou F.  2014.  Introducing an exotic MTL-chain. :143-145.
Bou F, Esteva F, Godo L.  2015.  On possibilistic modal logics defined over MTL-chains. Petr Hájek on Mathematical Fuzzy Logic. :225-244.
Bou F.  2003.  Quasi-bisimulation: a new paradigm for the strict implication language. Volume of abstracts. 12th International Congress of Logic, Methodology and Philosophy of Science (Oviedo, August 7–13, 2003). :82–83.
Bou F.  2004.  Strict implication logics (e.g., intuitionistic propositional logic) correspond to removing symmetry from bisimilarity. Proceedings of the 38th MLG Meeting at Gamagori, Japan 2004. October 24-26, 2004. :38–40.
Bou F.  2005.  Complexity of Strict Implication. Advances in modal logic Vol. 5. :1–16.
Bou F, Noguera C.  2011.  Solution of some open problems in the arithmetical complexity of first-order fuzzy logics.
Bou F, Paoli F., Ledda A., Spinks M., Giuntini R..  2010.  The logic of quasi-MV algebras. Journal of Logic and Computation. 20:619-643.
Bou F, Esteva F, Font JMaria, Gil A, Godo L, Torrens A, Verdú V.  2008.  T-norm based fuzzy logics preserving degrees of truth. IPMU 2008. :1053-1060.
Bou E, López-Sánchez M, Rodríguez-Aguilar JA.  2007.  Towards self-configuration in autonomic electronic institutions. Lecture Notes in Computer Science. 4386:229-244.
Bou F, García-Cerdaña A, Verdú V.  2004.  Analysis of two fragments of the logic of residuated lattices. Proceedings of CombLog'04. Workshop on Combination of Logics: Theory and Applications. :175–186.
Bou F, Font JMaria, Lapresta JLuis Garci.  2004.  On weakening the Deduction Theorem and strengthening Modus Ponens. Mathematical Logic Quaterly. 50:303–324.
Bou F, Esteva F, Font JMaria, Gil A, Godo L, Torrens A, Verdú V.  2009.  Logics preserving degrees of truth from varieties of residuated lattices. Journal of Logic and Computation (doi:10.1093/logcom/exp030). 19:1031-1069.