Export 465 results:
Autor Título [ Tipo(Desc)] Año
Filtros: First Letter Of Last Name is B  [Clear All Filters]
Conference Paper
Ansótegui C, Bonet MLuisa, Gabàs J, Levy J.  2012.  Improving SAT-Based Weighted MaxSAT Solvers. Proc. of the 18th Int. Conf. on Principles and Practice of Constraint Programming, CP'12. 7514:86-101.
Meseguer P, Larrosa J, Sánchez M.  2005.  Improving Tree decomposition methods with function fuction filtering. Nineteenth International Joint Conference on Artificial Intelligence. Edinburgh, Scotland. IJCAI-05. :1537-1538.
Ansótegui C, Bonet MLuisa, Gabàs J, Levy J.  2013.  Improving WPM2 for (Weighted) Partial MaxSAT. Proc of the 19th Int. Conf. on Principles and Practice of Constraint Programming, CP'13.
Bessière C, Gutierrez P, Meseguer P.  2012.  Including Soft Global Constraints in DCOPs. 18th International Conference on Principles and Practice of Constraint Programming (CP 2012).
Ansótegui C, Bonet MLuisa, Levy J, Manyà F.  2007.  Inference Rules for High-Order Consistency in Weighted CSP. Proc. of the 22th AAAI Conference on Artificial Intelligence, AAAI-07. :167-172.
Sierra C, Debenham J..  2008.  Information-Based Argumentation. 11th International Conference on Principles of Knowledge Representation and Reasoning: Workshop on Knowledge Representation for Agents and Multiagent Systems (KRAMAS 2008),. :155-170.
Mohan M, Busquets D, de Mántaras RLópez, Sierra C.  2004.  Integrating a potencial field based pilot into a multiagent navigation architecture for autonomous robots. 1st International Conference on Informatics in Control, Autonomation and Robotics, Setúbal, Portugal, 25-28 August 2004. :287-290.
Rodriguez I, Puig A, Esteva M, Sierra C, Bogdanovych A, Simoff S.  2008.  Intelligent Objects to Facilitate Human Participation in Virtual Institutions. The 2008 IEEE/WIC/ACM International Conference on Web Intelligence. :196-199.
Joseph S, Bas APerreau de, Robertson D, Sierra C, Walton C.  2007.  Interaction Model Language Definition. IJCAI Workshop AOMS Agent Organizations Models and Simulations. :49–61.
Chocron P, Schorlemmer M.  2016.  Interaction Specifications as Contexts for Ontologies. Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology, co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), Annecy, France, July 6-9, 2016.. 1660
Chocron P, Schorlemmer M.  2016.  Interaction Specifications as Contexts for Ontologies. Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology, co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), Annecy, France, July 6-9, 2016.. 1660
Chocron P, Schorlemmer M.  2016.  Interaction Specifications as Contexts for Ontologies. Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology, co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), Annecy, France, July 6-9, 2016.. 1660
Chocron P, Schorlemmer M.  2016.  Interaction Specifications as Contexts for Ontologies. Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology, co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), Annecy, France, July 6-9, 2016.. 1660
Chocron P, Schorlemmer M.  2016.  Interaction Specifications as Contexts for Ontologies. Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology, co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), Annecy, France, July 6-9, 2016.. 1660
Plaza E, V. Benjamins R.  1997.  Knowledge Acquisition, Modelling and Management. Lecture Notes in Artificial Intelligence. 1319
Bessière C, Maestre A, Meseguer P.  2002.  La famille ABT. 8èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, JNPC´02. :57-67.
Bianchi R, Ramisa A, de Mántaras RLópez.  2008.  Learning to select Object Recognition Methods for Autonomous Robots. 18th European Conference on Artificial Intelligence. :927-928.
Villatoro D., Andrighetto G., Brandts J., Sabater-Mir J., Conte R..  2012.  Learning with more than rewards: The Implicit Signalling of Distributed Punishment. Proceedings of 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012).. :2579–2586.
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.
Ansótegui C, Bonet MLuisa, Levy J, Manyà F.  2007.  Mapping CSP into Many-Valued SAT. Proc. of the 10th International Conference on Theory and Applications of Satisfiability Testing, SAT'07. 4501:10-15.
Alsinet T, Bejar R, Godo L, Guitart F.  2011.  Maximal Ideal Recursive Semantics for Defeasible Argumentation. SUM 2011. 6929:96-109.
Alsinet T, Bejar R, Godo L, Guitart F.  2011.  Maximal Ideal Recursive Semantics for Defeasible Argumentation. SUM 2011. 6929:96-109.
Thiruvady D, Blum C, Ernst AT.  2019.  Maximising the Net Present Value of Project Schedules Using CMSA and Parallel ACO. International Workshop on Hybrid Metaheuristics (HM 2019). LNCS 11299:16-30.
Serrà J, Corral Á, Boguñá M, Haro M, Arcos JLluis.  2013.  Measuring quantitative trends in western popular music. CRM-Imperial College Workshop in Complex Systems.
Ansótegui C, Bonet MLuisa, Levy J, Manyà F.  2008.  Measuring the Hardness of SAT Instances. Proc. of the 23th AAAI Conference on Artificial Intelligence, AAAI-08. :222-228.
Bourazeri A, Pitt J, Almajano P, Rodriguez I, López-Sánchez M.  2012.  Meet the Meter: Visualising SmartGrids using Self-Organising Electronic Institutions and Serious Games. 2nd AWARE workshop on Challenges for Achieving Self-Awareness in Autonomic Systems.
Gómez E, Grachten M, Amatriain X, Arcos JLluis.  2003.  Melodic Characterization of monophonic Recordings for Expressive Tempo Transformations. Stockholm Music Acoustics Conferences (SMAC'03). II:533-536.
Baccigalupo C, Plaza E.  2007.  Mining Music Social Networks for Automating Social Music Services. . ECML/KDD-07 Workshops Prior Conceptual Knowledge in Machine Learning and Data Mining and Web Mining 2.0. :123-134.
Vidal A, Godo L, Esteva F, Bou F.  2015.  ON MODAL EXPANSIONS OF LEFT-CONTINUOUS T-NORM LOGICS. ManyVal 2015.
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, 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.
Sierra C, de Mántaras RLópez, Busquets D.  2000.  Multi-agent bidding mechanism for robot qualitative navigation. Lecture notes in Artificial Intelligence.
Sierra C, de Mántaras RLópez, Busquets D.  2001.  Multiagent bidding mechanisms for robot qualitative navigation. Lecture notes in artificial intelligence. 1986:198-212.
Armengol E, Plaza E.  2004.  Multiple-instance case-based learning for predictive toxicology. Lecture Notes in Computer Science. 3303:206-220.
Baumgartner A, Kutsia T, Levy J, Villaret M.  2015.  Nominal Anti-Unification. Proc. of the 26th Int. Conf. on Rewriting Techniques and Applications, RTA'15.
Criado N, Argente E, Garrido A, Gimeno JA, Igual F, Botti V, Noriega P, Giret A.  2010.  Norm enforceability in Electronic Institutions? 11th International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems (COIN@MALLOW2010). :49-64.
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.
Esteva F, Godo L, Noguera C.  2007.  On completeness results for the expansions with truth-constants of some predicate fuzzy logics. New dimensions in fuzzy logic and related technologies. Proceedings EUSFLAT 2007. II:21-26.
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 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.
Alsinet T, Bejar R, Godo L, Guitart F.  2014.  On the Characterization of the Maximal Ideal Recursive Semantics of RP-DeLP. CCIA 2014. 269:215-224.
Bova S, Flaminio T.  2009.  On the complexity of de Finetti coherence of Lukasiewicz events. Logical Models of Reasoning with Vague Information.
Brito I, Herrero F, Meseguer P.  2004.  On the evaluation of DisCSP algorithms. The Fifth International Workshop on Distributed Constraint Reasoning (DCR04) Toronto, Canada September 27, 2004 held in conjunction with Tenth International Conference on Principles and Practice of Constraint Programming (CP 2004). :142-151.
Alsinet T, Barroso D, Bejar R, Bou F, Cerami M, Esteva F.  2013.  On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers. 7th International Conference on Scalable Uncertainty Management, SUM 2013. 8078:325-330.
Alsinet T, Barroso D, Bejar R, Bou F, Cerami M, Esteva F.  2013.  On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers. 7th International Conference on Scalable Uncertainty Management, SUM 2013. 8078:325-330.
Alsinet T, Barroso D, Bejar R, Bou F, Cerami M, Esteva F.  2013.  On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers. 7th International Conference on Scalable Uncertainty Management, SUM 2013. 8078:325-330.
Alsinet T, Bejar R, Godo L, Guitart F.  2013.  On the Implementation of a Multiple Output Algorithm for Defeasible Argumentation. 7th International Conference on Scalable Uncertainty Management, SUM 2013. 8078:71-77.
Ansótegui C, Bonet MLuisa, Levy J.  2009.  On the Structure of Industrial SAT Instances. Proc. of the 15th Int. Conf. on Principles and Practice of Constraint Programming, CP'09. 5732:127-141.
Schorlemmer M.  2010.  Ontology Modularity, Information Flow, and Interaction-Situated Semantics. Modular Ontologies. Proceedings of the Fourth International Workshop (WoMO 2010). 210:5-10.
Macho-González S, Meseguer P.  2005.  Open, interactive and dynamic CSP. Changes'05 International Workshop on Constraint Solving under Change and Uncertainty. :13-17.