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:

15/Oct/2007
15/Oct/2007
15/Oct/2010
15/Oct/2010

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]
Jaume Agustí-Cullell
Research Professor
Carlos Chesñevar
Adjunct Scientist
Gonzalo Escalada-Imaz
Tenured Scientist
Phone Ext. 212

Francesc Esteva
Adjunct Professor Ad Honorem
Phone Ext. 219

Lluís Godo
Research Professor
Phone Ext. 217

Jordi Levy
Tenured Scientist
Phone Ext. 240

Enrico Marchioni
Industrial PhD Student
Carles Noguera
Contract Researcher
Josep Puyol-Gruart
Tenured Scientist
Phone Ext. 210

Sandra Sandri
Visiting Scientist
Marco Schorlemmer
Tenured Scientist
Phone Ext. 203