Export 2126 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.  2018.  ILP-Based Reduced Variable Neighborhood Search for Large-Scale Minimum Common String Partition. Electronic Notes in Discrete Mathematics. 66:15-22.
Blum C, Blesa MJ.  2018.  A Comprehensive Comparison of Metaheuristics for the Repetition-Free Longest Common Subsequence Problem. Journal of Heuristics. 24(3):551-579.
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.
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., 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.
Boella G, Noriega P, Pigozzi G, Verhagen H.  2009.  Normative Multi-Agent Systems. 09121
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.  2009.  09121 Abstracts Collection – Normative Multi-Agent Systems. Normative Multi-Agent Systems. 09121:1-17.
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.
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.
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, 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, 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, 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.
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, 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, 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, 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, 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, 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, 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, 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.
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.  2006.  A Complete Calculus for Max-SAT. Lecture Notes in Computer Science. 4121:240-251.
Bonet MLuisa, Levy J, Manyà F.  2007.  Resolution for Max-SAT. Artificial Intelligence. 171:606-618.
Bosch R, Dellunde P.  1999.  Vocabulari Basic de Lògica. Servei de Publicacions de la Universitat Autonoma de Barcelona.
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.  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. International Workshop on Agent-based Modeling for Policy Engineering (AMPLE@AAMAS’2011). :2-17.
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.
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.
Bou F, Plaza E, Schorlemmer M.  2018.  Amalgams, colimits, and conceptual blending. Concept Invention: Foundations, Implementation, Social Aspects and Applications.
Bou F, Esteva F, Godo L.  2007.  Modal systems based on many-valued logics. New dimensions in fuzzy logic and related technologies. Proceedings EUSFLAT 2007. I:177-182.
Bou F.  2002.  Hilbert-style calculi for BPL and FPL. 1st North American Summer School in Logic, Language and Information. Student Session. Stanford 2002.. :20–30.
Bou F, Esteva F, Godo L, Rodriguez ROscar.  2009.  Characterizing Fuzzy Modal Semantics by fuzzy multimodal systems with crisp accessibility relations. IFSA - EUSFLAT 2009. :1541-1546.
Bou E, López-Sánchez M, Sichman J.  2009.  Adapting Autonomic Electronic Institutions to Heterogeneous Agent Societies.. Organised Adaptation in Multi-agent Systems. 5368:18–35.
Bou F, Paoli F, Ledda A, Freytes H.  2008.  On some properties of quasi-MV algebras and square root quasi-MV algebras. Part II. Soft Computing. 12:341-352.
Bou F, Esteva F, Godo L, Rodriguez ROscar.  2011.  On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice. Journal of Logic and Computation. 21:739-790.
Bou F, Schorlemmer M, Corneli J, Gómez-Ramírez Dde Jesús, Maclean E, Smaill A, Pease A.  2015.  The Role of Blending in Mathematical Invention. Sixth International Conference on Computational Creativity (ICCC 2015). :55-62.
Bou F, Esteva F, Godo L.  2008.  Exploring a Syntactic Notion of Modal Many-Valued Logics. Mathware & Soft Computing. 15:175-188.
Bou F, Esteva F, Godo L.  2012.  On possibilistic modal logics over Gödel logic. Logic, Algebra and Truth Degrees 2012 (LATD 2012). :49-54.
Bou E, López-Sánchez M, Rodríguez-Aguilar JA.  2007.  Adaptation of Autonomic electronic institutions through norms and institutional agents. Lecture Notes in Computer Science. 4457:300-319.
Bou F, García-Cerdaña A, Verdú V.  2006.  On two fragments with negation and without implication of the logic of residuated lattices. Archive for Mathematical Logic. 45:615–647.
Bou E, Plaza E, Rodríguez-Aguilar JA.  2006.  Learning coaching advice to improve playing skills in robocup. AAMAS 2006 Workshop on Adaptation and Learning in Autonomous Agents and Multiagent Systems.
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.