Export 465 results:
Autor [ Título(Desc)] 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 
O
Bessière C, Meseguer P, Freuder EC, Larrosa J.  2002.  On foward checking for non-binary constraint satisfaction. Artificial Intelligence. 141:205-224.
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, 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, 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, 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.
Torra V.  2008.  On the construction of models for decision using aggregation operators. Fuzzy Sets and Their Extensions: Representation, Aggregation and Models. :89-97.
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.
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., 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.
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.
da Silva FSoares Cor, Vasconcelos WW, Robertson D, Brilhante V, de Melo A, Finger M, Agustí-Cullell J.  2002.  On the Insufficiency of Ontologies: Problems in Knowledge Sharing and Alternative Solutions. Knowledge-Based Systems. 15:147-167.
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.
Blondeel M, Flaminio T, Schockaert S, Godo L, de Cock M.  2015.  On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief. Fuzzy Sets and Systems. 276:74-99.
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.
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 F, Font JMaria, Lapresta JLuis Garci.  2004.  On weakening the Deduction Theorem and strengthening Modus Ponens. Mathematical Logic Quaterly. 50:303–324.
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.
Berger H, Dittenbach M, Merkl D., Bogdanovych A, Simoff S, Sierra C.  2007.  Opening New Dimension for e-Tourism. Virtual Reality, Springer. Special Is:75-87.
Berger H, Dittenbach M, Merkl D., Bogdanovych A, Simoff S, Sierra C.  2007.  Opening New Dimension for e-Tourism. Virtual Reality, Springer. Special Is:75-87.
P
Schorlemmer M, Abián J, Sierra C, de la Cruz D, Bernacchioni L, Jaén E, Bas APerreau de, Atencia M.  2012.  P2P Proteomics - Data Sharing for Enhanced Protein Identification. Automated Experimentation. 4:17.
Schorlemmer M, Abián J, Sierra C, de la Cruz D, Bernacchioni L, Jaén E, Bas APerreau de, Atencia M.  2012.  P2P Proteomics - Data Sharing for Enhanced Protein Identification. Automated Experimentation. 4:17.
Serrà J, Corral Á, Boguñá M, Haro M, Arcos JLluis.  2012.  Patterns, regularities, and evolution of contemporary popular music. Complexitat.Cat.
I. Guerra P, L. Gil V, J. Soler C, Puyol-Gruart J, L. Bracons C, R. Turon P.  1989.  Pilot study of arterial blood pressure in the school children of Girona and its province. Rev Clin Esp. 184:409-414.
Perello-Moragues A, Noriega P.  In Press.  A Playground for the Value Alignment Problem. 18th Mexican International Conference on Artificial Intelligence (MICAI 2019).
Berger H, Dittenbach M, Merkl D., Bogdanovych A, Simoff S, Sierra C.  2006.  Playing the e-Bussines Game in 3D Virtual Worlds. Annual conference of the Australian Computer-Human Interaction. Special Interest Group (OZCHI 20006). :Inpress.
Berger H, Dittenbach M, Merkl D., Bogdanovych A, Simoff S, Sierra C.  2006.  Playing the e-Bussines Game in 3D Virtual Worlds. Annual conference of the Australian Computer-Human Interaction. Special Interest Group (OZCHI 20006). :Inpress.
Baccigalupo C, Plaza E.  2007.  Poolcasting: a Social Web Radio Architecture for Group Customisation. Proc. 3rd Int. Conf. on Automated Production of Cross Media Content for Multi-Channel Distribution AXMEDIS-07. :115-122.
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.
Banerjee M, Dubois D, Godo L.  2014.  Possibilistic vs. Relational Semantics for Logics of Incomplete Information. IPMU 2014, Part I. 442:335-344.
Aran XFerrer, Chen YYie, Wiratunga N, Plaza E.  2014.  Preference and Sentiment Guided Social Recommendations with Temporal Dynamics. Research and Development in Intelligent Systems XXXI. :101-116.
Bromsoms J., Marques A., Serra D., Franquesa J., Piera J., Puyol-Gruart J, Pascual R..  1988.  Prevalencia de la hta en individuos de edad mayor de 65 años internados en residencias-asilos de la provincia de girona.. Annals de Medicina. 74:30.
Bromsoms J., Marques A., Serra D., Franquesa J., Piera J., Puyol-Gruart J, Pascual R..  1987.  Prevalencia de la hta en individuos de edad mayor de 65 años internados en residencias-asilos de la provincia de girona.. Hipertensión. 4:165.
Plaza E, Baccigalupo C.  2009.  Principle and Praxis in the Experience Web: A Case Study in Social Music. ICCBR'09 Workshop on Reasoning from Experiences on the Web (WebCBR-09).
Brito I, Meseguer P.  2008.  Privacy in distributed meeting scheduling. Artificial Intelligence Research and Development. 184:118-127.
Bauters K, McAreavey K, Hong J, Chen Y, Liu W, Godo L, Sierra C.  2014.  Probabilistic Planning in AgentSpeak using the POMDP framework. 4th Intl. Workshop on Combinations of Intelligent Methods and Applications (CIMA'14), extended version. :18p.
Q
Vinyals M, Shieh E, Cerquides J, Rodríguez-Aguilar JA, Yin Z, Tambe M, Bowring E.  2011.  Quality guarantees for region optimal DCOP algorithms. Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011). :133-140.
Serrà J, Corral Á, Boguñá M, Haro M, Arcos JLluis.  2012.  Quantifying the evolution of popular music. No Lineal.
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.  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.