Export 187 results:
[ Autor(Asc)] Título Tipo Año
Filtros: First Letter Of Last Name is B  [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 
B
Bou F, Esteva F, Godo L.  2008.  Exploring a Syntactic Notion of Modal Many-Valued Logics. Mathware & Soft Computing. 15:175-188.
Bou F, Cerami M, Esteva F.  2011.  Finite-valued Lukasiewicz modal logic is PSPACE-complete. Twenty-second International Joint Conference on Artificial Intelligence (IJCAI 2011). :774-779.
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.  2008.  A first approach to the Deduction-Detachment Theorem in logics preserving degrees of truth. Proceedings of IPMU’08. :1061-1067.
Bou F, Noguera C.  2011.  Solution of some open problems in the arithmetical complexity of first-order fuzzy logics.
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.  2009.  Autonomic Electronic Institutions' Self-Adaptation in Heterogeneous Agent Societies. Organized Adaption in Multi-Agent Systems. 5368:18-35.
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, 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, Rodríguez-Aguilar JA.  2006.  Adaptation of autonomic electronic institutions through norms and institutional agents. Lecture Notes in Computer Science. :Inpress.
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.  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 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, 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 F.  2005.  Complexity of Strict Implication. Advances in modal logic Vol. 5. :1–16.
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, 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.  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.
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. :2-17.
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.
Bosch R, Dellunde P.  1999.  Vocabulari Basic de Lògica. Servei de Publicacions de la Universitat Autonoma de Barcelona.
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.
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.
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.
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, 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.  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, 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, 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., Sierra C.  2009.  Developing virtual Heritage applications as normative multi-agent Systems. Tenth International Workshop on Agent Oriented Software Engineering (AOSE).
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, 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, 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, Berger H.  2008.  A Methodology for Developing Multiagent Systems as 3D Electronic Institutions. Agent-Oriented Software Engineering VIII. 4951:103-117.
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.  2007.  Teaching Human-like Movements to Autonomous Agents via Implicit Training. Lecture Notes in Artificial Intelligence. 4722:356-357.
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.
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.
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
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.