Export 2126 results:
[ Author(Desc)] Title Type Year
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, Santos HGambini.  2019.  Generic CP-Supported CMSA for Binary Integer Linear Programs. International Workshop on Hybrid Metaheuristics (HM 2019). LNCS 11299:1-15.
Blum C.  2020.  Minimum Common String Partition: On Solving Large-Scale Problem Instances. International Transactions in Operational Research. 27(1):91-111.
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, 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.
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, 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, 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.  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, 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, 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, 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.  2008.  Virtual Institutions: Normative Environments Facilitating Imitation Learning in Virtual Agents.. 8-th International Conference on Intelligent Virtual Agents (IVA 2008). 5208:456-464.
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, 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.  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.
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 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, Font JMaria, Lapresta JLuis Garci.  2004.  On weakening the Deduction Theorem and strengthening Modus Ponens. Mathematical Logic Quaterly. 50:303–324.
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.  2008.  A first approach to the Deduction-Detachment Theorem in logics preserving degrees of truth. Proceedings of IPMU’08. :1061-1067.
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 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, Plaza E, Schorlemmer M.  2018.  Amalgams, colimits, and conceptual blending. Concept Invention: Foundations, Implementation, Social Aspects and Applications.
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 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 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, 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 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.