Export 2115 results:
[ Autor(Desc)] Títol 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 
B
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.  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.  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.
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, 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..  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, 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, 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, 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, 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, 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.  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, Berger H, Simoff S, Sierra C.  2004.  3D Electronic Institutions: Social Interfaces for E-Commerce. Conferences in Research and Practice in Information Technology. 40
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, 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.
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, 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.  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, 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 F.  2014.  Introducing an exotic MTL-chain. :143-145.
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.  2005.  Complexity of Strict Implication. Advances in modal logic Vol. 5. :1–16.
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.  2006.  Adaptation of autonomic electronic institutions through norms and institutional agents. Lecture Notes in Computer Science. :Inpress.
Bou F, Noguera C.  2011.  Solution of some open problems in the arithmetical complexity of first-order fuzzy logics.
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, 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 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.
Bou F, Plaza E, Schorlemmer M.  2018.  Amalgams, colimits, and conceptual blending. Concept Invention: Foundations, Implementation, Social Aspects and Applications.
Bou F, García-Cerdaña A, Verdú V.  2004.  On some Substructural Aspects of t-Norm Based Logics. Proceedings of the Tenth International Conference IPMU 2004. Information Processing and Management of Uncertainty in Knowledge-Base Systems. :545–552.
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, 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.