MULOG 2
MULOG 2

MULOG 2
MULOG 2
 : 
Many-valued Logic: Foundations and Applications to Satisfiability, Argumentation and Ontologies
Many-valued Logic: Foundations and Applications to Satisfiability, Argumentation and Ontologies

A Project coordinated by IIIA.

Web page:

Principal investigator: 

Collaborating organisations:

Funding entity:

TIN2007-68005-C04-01
TIN2007-68005-C04-01

Funding call:

Funding call URL:

Project #:

MULOG 2
MULOG 2

Funding amount:

0,00€
0,00€

Duration:

2007-10-15
2007-10-15
2010-10-15
2010-10-15

Extension date:

2012
Irina Perfilieva,  Didier Dubois,  Henri Prade,  Francesc Esteva,  Lluís Godo,  & Petra Hodáková (2012). Interpolation of fuzzy data: Analytical approach and overview. Fuzzy Sets and Systems, 192, 134-158. [BibTeX]  [PDF]
2011
Tommaso Flaminio,  Lluís Godo,  & Enrico Marchioni (2011). On the Logical Formalization of Possibilistic Counterparts of States over n-Valued Lukasiewicz Events. Journal of Logic and Computation, 21, 429-446. [BibTeX]  [PDF]
Fèlix Bou,  Francesc Esteva,  Lluís Godo,  & Ricardo Oscar Rodriguez (2011). On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice. Journal of Logic and Computation, 21, 739-790. [BibTeX]  [PDF]
2010
Petr Cintula,  & Carles Noguera (2010). A general approach to non-classical first-order logics. Instituto Superior Técnico - Departamento Matemática (Eds.), 3rd World Congress on Universal Logic (pp. 11 - 12). Indústria Portuguesa de Tipografia Lda. [BibTeX]
Jordi Levy,  & Mateu Villaret (2010). An Efficient Nominal Unification Algorithm. Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010 (pp. 209-226). [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  & Jordi Levy (2010). A New Algorithm for Weighted Partial MaxSAT. Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010 . [BibTeX]  [PDF]
Maliha S.,  Muhammad A.,  Ana María Martínez-Enriquez,  & Gonzalo Escalada-Imaz (2010). A rule based system for reliability centered maintenance. Ninth Mexican International Conference on Artificial Intelligence, MICAI 2010 (pp. 57-62). IEEE Computer Society. [BibTeX]
Francesc Esteva,  Lluís Godo,  & Carles Noguera (2010). Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics. Soft Computing - A Fusion of Foundations, Methodologies and Applications, 14, 273-284. [BibTeX]  [PDF]
Carles Noguera (2010). From fuzzy set theory to mathematical fuzzy logic. E.P. Klement, R. Mesiar, P. Struk, & E. Drobná (Eds.), Tenth International Conference on Fuzzy Set Theory and Applications FSTA 2010 (pp. 12). Printing House of the Armed Forces Academy of General M.R. Stefánik in Liptovsk{\'y}Mikulás. [BibTeX]
Angel García-Cerdaña,  Eva Armengol,  & Francesc Esteva (2010). Fuzzy Description Logics and t-norm based Fuzzy Logics. International Journal of Approximate reasoning, 51, 632 - 655. [BibTeX]  [PDF]
Carles Noguera,  Francesc Esteva,  & Lluís Godo (2010). Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics. Information Sciences, 180, 1354-1372. [BibTeX]  [PDF]
Petr Cintula,  & Carles Noguera (2010). Implicational logics vs. order algebraizable logics. Carles Noguera Karel Chvalovsk{\\'y} (Eds.), Logic, Algebra and Truth Degrees 2010 (pp. 72 - 73). Institute for Theoretical Computer Science, Charles University, Prague. [BibTeX]
Petr Cintula,  & Carles Noguera (2010). Implicational (semilinear) logics I: a new hierarchy. Archive for Mathematical Logic, 49, 417 - 446. [BibTeX]  [PDF]
Eva Armengol,  & Angel García-Cerdaña (2010). Lazy induction of descriptions using two fuzzy versions of the Rand index. IPMU 2010 (pp. 396-405). Springer. [BibTeX]  [PDF]
Francesc Esteva (2010). Modalities and many-valued: modeling uncertainty measures and similarity-based reasoning and application to Fuzzy description Logics.. Lawrence Stout Petr Cintula (Eds.), LINZ seminar (pp. 45-48). [BibTeX]  [PDF]
Francesc Esteva,  Lluís Godo,  & Carles Noguera (2010). On expansions of WNM t-norm based logics with truth-constants. Fuzzy Sets and Systems, 161, 347-368. [BibTeX]  [PDF]
Temur Kutsia,  Jordi Levy,  & Mateu Villaret (2010). On the Relation Between Context and Sequence Unification. Journal of Symbolic Computation, 45, 74-95. [BibTeX]  [PDF]
L.P. Belluce,  Antonio Di Nola,  & Enrico Marchioni (2010). Rings and Godel Algebras. Algebra Universalis, 63, 14. [BibTeX]
Yannis Kalfoglou,  & Marco Schorlemmer (2010). The Information-Flow Approach to Ontology-Based Semantic Integration. Roberto Pol, Michael Healey, & Achilles Kameas (Eds.), Theory and Applications of Ontology: Computer Applicactions (pp 101-114). Springer. [BibTeX]
Fèlix Bou,  F. Paoli,  A. Ledda,  M. Spinks,  & R. Giuntini (2010). The logic of quasi-MV algebras. Journal of Logic and Computation, 20, 619-643. [BibTeX]
2009
Petr Cintula,  & Carles Noguera (2009). An abstract approach to fuzzy logics: implicational semilinear logics. Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference. (pp. 519 - 524). [BibTeX]
Fèlix Bou,  Francesc Esteva,  Lluís Godo,  & Ricardo Oscar Rodriguez (2009). Characterizing Fuzzy Modal Semantics by fuzzy multimodal systems with crisp accessibility relations. U. Kaymak J.P. Carvalho, & J.M. Costa Sousa (Eds.), IFSA - EUSFLAT 2009 (pp. 1541-1546). https://doi.org/http://www.eusflat.org/publications/proceedings/IFSA-EUSFLAT_2009/pdf/tema_1541.pdf. [BibTeX]  [PDF]
Roberto Cignoli,  & Francesc Esteva (2009). Commutative, integral bounded residuated lattices with an added involution. Annals of Pure and Applied Logic, 161, 150-160. [BibTeX]  [PDF]
Petr Cintula,  Francesc Esteva,  Joan Gispert,  Lluís Godo,  Franco Montagna,  & Carles Noguera (2009). Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalences. Annals of Pure and Applied Logic, 160, 53-81. [BibTeX]  [PDF]
Francesc Esteva,  Lluís Godo,  & Carles Noguera (2009). First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties. Annals of Pure and Applied Logic, 161, 185-202. [BibTeX]  [PDF]
Fèlix Bou,  Francesc Esteva,  Josep Maria Font,  Angel Gil,  Lluís Godo,  Antoni Torrens,  & Ventura Verdú (2009). Logics preserving degrees of truth from varieties of residuated lattices. Journal of Logic and Computation (doi:10.1093/logcom/exp030), 19, 1031-1069. [BibTeX]  [PDF]
Francesc Esteva,  Lluís Godo,  & Carles Noguera (2009). On generalized continuous and left-continuous t-norms over chains: a survey. U. Bodenhofer, B. Baets, E.P. Klement, & S. Saminger-Platz (Eds.), 30th Linz Seminar on Fuzzy Set Theory "The legacy of 30 seminars - where do we stand and where do we go?" (pp. 40 - 41). Universitätsdirektion, Johannes Kepler Universität, A-4040 Linz. [BibTeX]  [PDF]
Jordi Levy,  Manfred Schmidt-Schauss,  & Mateu Villaret (2009). On the Complexity of Bounded Second-order Unification and Stratified Context Unification. Journal of Algorithms in Cognition, Informatics, and Logic. [BibTeX]
Carlos Ansótegui,  María Luisa Bonet,  & Jordi Levy (2009). On the Structure of Industrial SAT Instances. I. P. Gent (Eds.), Proc. of the 15th Int. Conf. on Principles and Practice of Constraint Programming, CP'09 (pp. 127-141). Springer. [BibTeX]  [PDF]
Enrico Marchioni (2009). Ordered fields and LPi1/2 algebras. Soft Computing - A Fusion of Foundations, Methodologies and Applications, 13, 5. [BibTeX]
Manuel Atencia Arcas,  & Marco Schorlemmer (2009). Reaching semantic agreements through interaction. Adrian Paschke, Hans Weigand, Wernher Behrendt, Klaus Tochtermann, & Tassilo Pellegrini (Eds.), 4th AIS SigPrag Int. Pragmatic Web Conference Track, ICPW'09, at the 5th Int. Conference on Semantic Systems, i-Semantics'09 (pp. 726-737). Verlag der Technischen Universität Graz. [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  & Jordi Levy (2009). Solving (Weighted) Partial MaxSAT Through Satisfiability Testing. O. Kullmann (Eds.), Proc. of the 20th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'09 (pp. 427-440). Springer-Verlag. [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  & Jordi Levy (2009). Towards Industrial-Like Random SAT Instances. Proc. of the 21st Int. Joint Conf. on Artificial Intelligence, IJCAI'09 (pp. 387-392). AAAI Press. [BibTeX]  [PDF]
2008
Fèlix Bou (2008). A first approach to the Deduction-Detachment Theorem in logics preserving degrees of truth. L. Magdalena, M. Ojeda-Aciego, & J. L. Verdegay (Eds.), Proceedings of IPMU'08 (pp. 1061-1067). [BibTeX]  [PDF]
Teresa Alsinet,  C. Chesñevar,  & Lluís Godo (2008). Computation of Skeptical Outputs in P-DeLP Satisfying Indirect Consistency: a Level-based Approach. J.L. Verdegay L. Magdalena (Eds.), IPMU 2008 (pp. 497-504). [BibTeX]  [PDF]
Fèlix Bou,  Francesc Esteva,  & Lluís Godo (2008). Exploring a Syntactic Notion of Modal Many-Valued Logics. Mathware & Soft Computing, 15, 175-188. [BibTeX]  [PDF]
Lluís Godo,  & Ricardo Oscar Rodriguez (2008). Logical approaches to fuzzy similarity-based reasoning: an overview. G. Della Riccia, D.Dubois, R. Kruse, & H.-J. Lenz (Eds.), Preferences and Similarities (pp 75-128). Springer. [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  Jordi Levy,  & Felip Manyà (2008). Measuring the Hardness of SAT Instances. Dieter Fox, & Carla Gomes (Eds.), Proc. of the 23th AAAI Conference on Artificial Intelligence, AAAI-08 (pp. 222-228). AAAI Press. [BibTeX]  [PDF]
Jordi Levy,  & Mateu Villaret (2008). Nominal Unification from a Higher-Order Perspective. A. Voronkov (Eds.), Proc. of the 19th International Conference on Rewriting Techniques and Applications, RTA'08 (pp. 246-260). Springer. [BibTeX]  [PDF]
Enrico Marchioni (2008). On computational complexity of semilinear varietes. Journal of Logic and Computation, 18, 18. [BibTeX]
Enrico Marchioni (2008). On computational complexity of semilinear varieties. Journal of Logic and Computation, 18, 18. [BibTeX]
Angel García-Cerdaña,  & Francesc Esteva (2008). On Fuzzy Description Logics. Carme Torras Teresa Alsinet (Eds.), CCIA 2008 (pp. 411-420). IOS Press. [BibTeX]
Francesc Esteva,  Carles Noguera,  & Joan Gispert (2008). On n-contractive Fuzzy Logics. First results. Bouchon alt. (Eds.), Uncertainty and Intelligent Information Systems (pp . 433-445). World Scientific. [BibTeX]
Angel García-Cerdaña (2008). On Some Implication-free Fragments of Substructural and Fuzzy Logics . [BibTeX]  [PDF]
Fèlix Bou,  Francesco Paoli,  Antonio Ledda,  & Hector Freytes (2008). On some properties of quasi-MV algebras and square root quasi-MV algebras. Part II. Soft Computing, 12, 341-352. [BibTeX]  [PDF]
Enrico Marchioni,  & Franco Montagna (2008). On triangular norms and uninorms definable in LPi1/2. International Journal of Approximate Reasoning, 47, 22. [BibTeX]
Carlos Ansótegui,  María Luisa Bonet,  & Jordi Levy (2008). Random SAT Instances à la Carte. Teresa Alsinet, Josep Puyol-Gruart, & Carme Torras (Eds.), Proc. of the 11th Int. Conf. of the ACIA, CCIA'08 (pp. 109-117). IOS Press. [BibTeX]  [PDF]
Jordi Levy,  Manfred Schmidt-Schauss,  & Mateu Villaret (2008). The Complexity of Monadic Second-Order Unification. SIAM Journal on Computing, 38, 1113-1140. [BibTeX]  [PDF]
Carles Noguera (2008). Un apropament matemàtic al problema de vaguetat. Butlletí de la Societat Catalana de Matemàtiques, 23, 233 - 273. [BibTeX]  [PDF]
2007
Francesc Esteva,  Lluís Godo,  & Carles Noguera (2007). On Completeness Results for Predicate Lukasiewicz, Product, Goedel and Nilpotent Minimum Logics Expanded with Truth-constantsc. Mathware and Soft Computing, 14, 233-246. [BibTeX]  [PDF]
Francesc Esteva
Adjunct Professor Ad Honorem
Phone Ext. 219

Gonzalo Escalada-Imaz
Tenured Scientist
Phone Ext. 212

Jordi Levy
Tenured Scientist
Phone Ext. 240

Josep Puyol-Gruart
Tenured Scientist
Phone Ext. 210

Lluís Godo
Research Professor
Phone Ext. 217

Marco Schorlemmer
Tenured Scientist
Phone Ext. 203