Export 179 results:
Autor Títol Tipus [ Any(Desc)]
Filtres: First Letter Of Title is O  [Clear All Filters]
2012
Cerami M, Esteva F, García-Cerdaña A.  2012.  On Finitely Valued Fuzzy Description Logics: The Lukasiewicz Case. IPMU 2012. 298:235-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.
Li CMin, Zhu Z, Manyà F, Simon L.  2012.  Optimizing with minimum satisfiability. Artificial intelligence. 190:32-44.
Fabregues A, Sierra C.  2012.  Overview of HANA: a Human-Aware Negotiation Architecture. Proceedings of the First International Conference on Agreement Technologies. 918:195-196.
2013
Pujol-Gonzalez M, Cerquides J, Escalada-Imaz G, Meseguer P, Rodríguez-Aguilar JA.  2013.  On Binary Max-Sum and Tractable HOPs. 11th European Workshop on Multi-agent Systems (EUMAS 2013). 1113
Dellunde P, Esteva F.  2013.  On elementary equivalence in Fuzzy Predicate Logics. Archive for Mathematical Logic. 52:1-17.
Coniglio M, Esteva F, Godo L.  2013.  On logics of formal inconsistency and fuzzy logics. ManyVal 2013, Abstracts Volume. :20-22.
Cerami M, Straccia U..  2013.  On the (un)decidability of fuzzy description logics under Lukasiewicz t-norm. Information Sciences. 227:1-23.
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.
Marés J, Torra V.  2013.  On the Protection of Social Network-Extracted Categorical Microdata. Citizen in Sensor Networks. LNCS 7685:33-42.
Koster A, Schorlemmer M, Sabater-Mir J..  2013.  Opening the black box of trust: reasoning about trust models in a BDI agent. Journal of Logic and Computation. 23:25-58.
Cruz F, Cerquides J, Espinosa A, Moure JCarlos, Rodríguez-Aguilar JA.  2013.  Optimizing Performance for Coalition Structure Generation Problems' IDP Algorithm. The 2013 International Conference on Parallel and Distributed Processing Techniques and Applications.
2014
Esteva F, García-Honrado I, Godo L.  2014.  On conjectures in t-norm based fuzzy logics. XVII Congreso Español sobre Tecnologías y Lógica Fuzzy (ESTYLF 2014). :435-440.
Cerami M, García-Cerdaña A, Esteva F.  2014.  On finitely-valued Fuzzy Description Logics. International Journal of Appoximate Reasoning (http://dx.doi.org/10.1016/j.ijar.2013.09.021). 55:1890-1916.
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.
Flaminio T, Godo L, Hosni H.  2014.  On the logical structure of de Finetti's notion of event. Journal of Applied Logic. 12:279-301.
2015
Esteva F, García-Honrado I, Godo L.  2015.  On Conjectures in t-Norm Based Fuzzy Logics. Enric Trillas: A Passion for Fuzzy Sets - A Collection of Recent Works on Fuzzy Logic. :109-123.
Costa V, Dellunde P.  2015.  On Free Models for Horn Clauses over Predicate Fuzzy Logics. 18th International Conference of the Catalan Association for Artificial Intelligence. 277:49-58.
.Coniglio M, Esteva F, Godo L.  2015.  On Paraconsistency and Fuzzy Logics (A survey on the results of MaToMuVi project). Abstracts:12-13.
Bou F, Esteva F, Godo L.  2015.  On possibilistic modal logics defined over MTL-chains. Petr Hájek on Mathematical Fuzzy Logic. :225-244.
Vidal A, Esteva F, Godo L.  2015.  On strong standard completeness of MTL*(Q) expansions. Topology, Algebra and Categories in Logic (TACL 2015).
Vidal A, Godo L, Esteva F.  2015.  On strongly standard complete fuzzy logics: MTL^Q_*and its expansions. Proc. of the Joint Conference IFSA-EUSFLAT 2015. :828-835.
Flaminio T, Godo L, Hosni H.  2015.  On the algebraic structure of conditional events. ECSQARU 2015. 9161:106-116.
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.
2016
Coniglio M, Esteva F, Godo L.  2016.  On the set of intermediate logics between the truth and degree preserving Lukasiewicz logics. Logic Journal of the IGPL. 24(3):288-320.
Chocron P, Schorlemmer M.  2016.  Ontology Alignment Evaluation in the Context of Multi-Agent Interactions. Proceedings of the 11th International Workshop on Ontology Matching, co-located with the 15th International Semantic Web Conference (ISWC 2016), Kobe, Japan, October 18, 2016. 1766:25–36.
Andrejczuk E, Rodríguez-Aguilar JA, Sierra C.  2016.  Optimising Congenial Teams. International Workshop on Optimisation in multiagent systems (OPTMAS).