Project

MULOG 2

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

A Project coordinated by IIIA.

Web page:

Principal investigator:

Francesc Esteva

Collaborating organisations:

Funding entity:

TIN2007-68005-C04-01

Funding call:

Funding call URL:

Project #:

MULOG 2

Total funding amount:

0,00€

IIIA funding amount:

Duration:

15/Oct/2007

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). 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]