MULOG
MULOG

MULOG
MULOG
 : 
Lógica Multivaluada: fundamentos y aplicaciones al tratamiento de la vaguedad y la imprecisión
Lógica Multivaluada: fundamentos y aplicaciones al tratamiento de la vaguedad y la imprecisión

A Project coordinated by IIIA.

Web page:

Principal investigator: 

Collaborating organisations:

Funding entity:

TIN2004-07933-C03-01
TIN2004-07933-C03-01

Funding call:

Funding call URL:

Project #:

MULOG
MULOG

Funding amount:

0,00€
0,00€

Duration:

2004-12-13
2004-12-13
2007-12-13
2007-12-13

Extension date:

2008
Teresa Alsinet,  C. Chesñevar,  Lluís Godo,  Sandra Sandri,  & G. Simari (2008). Formalizing Argumentative Reasoning in a Possibilistic Logic Programming Setting with Fuzzy Unification. International Journal of Approximate Reasoning, 48, 711-729. [BibTeX]  [PDF]
Carles Noguera,  Francesc Esteva,  & Joan Gispert (2008). On triangular norm based axiomatic extensions of the weak nilpotent minimum logic. Mathematical Logical Quarterly, 403 - 425. [BibTeX]  [PDF]
2007
Carlos Ansótegui,  María Luisa Bonet,  Jordi Levy,  & Felip Manyà (2007). A Complete Resolution Calculus for Signed Max-SAT. Proc. of the 37th International Symposium on Multiple-Valued Logic, ISMVL'07 (pp. 22). [BibTeX]  [PDF]
Francesc Esteva,  Joan Gispert,  Lluís Godo,  & Carles Noguera (2007). Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results. Fuzzy Sets and Systems, 158, 597-618. [BibTeX]  [PDF]
Tommaso Flaminio,  & Lluís Godo (2007). A logic for reasoning about the probability of fuzzy events. Fuzzy Sets and Systems, 158, 625 - 638. [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  Jordi Levy,  & Felip Manyà (2007). Inference Rules for High-Order Consistency in Weighted CSP. Proc. of the 22th AAAI Conference on Artificial Intelligence, AAAI-07 (pp. 167-172). AAAI Press. [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  Jordi Levy,  & Felip Manyà (2007). Mapping CSP into Many-Valued SAT. Proc. of the 10th International Conference on Theory and Applications of Satisfiability Testing, SAT'07 (pp. 10-15). Springer. [BibTeX]  [PDF]
Fèlix Bou,  Francesc Esteva,  & Lluís Godo (2007). Modal systems based on many-valued logics. M. Stepnicka, V. Novák, & U. Bodenhofer (Eds.), New dimensions in fuzzy logic and related technologies. Proceedings EUSFLAT 2007 (pp. 177-182). [BibTeX]  [PDF]
Francesc Esteva,  Lluís Godo,  & Carles Noguera (2007). On completeness results for the expansions with truth-constants of some predicate fuzzy logics. M. Stepnicka, V. Novák, & U. Bodenhofer (Eds.), New dimensions in fuzzy logic and related technologies. Proceedings EUSFLAT 2007 (pp. 21-26). [BibTeX]  [PDF]
Roberto Cignoli,  Francesc Esteva,  & Lluís Godo (2007). On Lukasiewicz logic with truth constants. O. Castillo al. (Eds.), Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, ASC 42 (pp 869-875). Springer-Verlag. [BibTeX]  [PDF]
Rostislav Horcík,  Carles Noguera,  & Milan Petrík (2007). On n-contractive fuzzy logics. Mathematical Logic Quarterly, 53, 268-288. [BibTeX]  [PDF]
María Luisa Bonet,  Jordi Levy,  & Felip Manyà (2007). Resolution for Max-SAT. Artificial Intelligence, 171, 606-618. [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  Jordi Levy,  & Felip Manyà (2007). The Logic behind Weighted CSP. Proc. of the 20th International Joint Conference on Artificial Intelligence, IJCAI'07 (pp. 32-37). AAAI Press. [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  Jordi Levy,  & Felip Manyà (2007). The Logic Behind Weighted CSP. Narendra Jussien Frederic Benhamou, & Barry O'Sullivan (Eds.), Future and Trends in Constraint Programming (pp 307-320). ISTE. [BibTeX]  [PDF]
Francesc Esteva,  & Lluís Godo (2007). Towards the generalization of Mundici's Gamma functor to IMTL algebras: the linearly ordered case. S. Aguzzoli, A.Ciabattoni, B. Gerla, C. Manara, & V. Marra (Eds.), Algebraic and Proof-theoretic Aspects of Non-classical Logics - Papers in honour of Daniele Mundici on the occasion of his 60th birthday (pp 127-137). LNAI 4460, Springer-Verlag. [BibTeX]  [PDF]
2006
María Luisa Bonet,  Jordi Levy,  & Felip Manyà (2006). A Complete Calculus for Max-SAT. Lecture Notes in Computer Science (pp. 240-251). Springer-Verlag. [BibTeX]  [PDF]
Ana Casali,  Lluís Godo,  & Carles Sierra (2006). A methodology to Engineer Graded BDI Agents. WASI - CACIC Workshop.XII Congreso Argentino de Ciencias de la Computación . [BibTeX]  [PDF]
Jordi Levy,  Manfred Schmidt-Schauss,  & Mateu Villaret (2006). Bounded Second-Order Unification Is NP-Complete. Lecture Notes in Computer Science (pp. 400-414). Springer-Verlag. [BibTeX]  [PDF]
Lluís Godo,  & Enrico Marchioni (2006). Coherent conditional probability in a fuzzy logic setting. Logic Journal of the IGPL, 14, 457-481. [BibTeX]  [PDF]
Chu Min Li,  Felip Manyà,  & J. Planes (2006). Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT. Proceedings of the 21st National Conference on Artificial Intelligence, AAAI-2006, Boston/MA, USA (pp. 86-91). [BibTeX]
J. Argerlich,  & Felip Manyà (2006). Exact Max-SAT solvers for over-constrained problems. Journal of Heuristics, 375-392. [BibTeX]
Francesc Esteva,  & Lluís Godo (2006). Generalization of Mundici's functor to linearly ordered involutive monoidal t-norm based logic IMTL. Second Czech-Catalan conference in Mathematics (pp. 20). Universitat de Barcelona. [BibTeX]  [PDF]
Lluís Godo,  & Adriana Zapico (2006). Lexicographic Combinations of Preference Relations in the Context of Possibilistic Decision Theory. Mathware and Soft Computing, XIII, 157-171. [BibTeX]  [PDF]
Teresa Alsinet,  C. Chesñevar,  Lluís Godo,  Sandra Sandri,  & G. Simari (2006). Modeling Defeasible Argumentation within a Possibilistic Logic Framework with Fuzzy Unification. Proc. 11th Intl. Conference IPMU 2006 (pp. 1228-1235). Edition E.D.K.. [BibTeX]  [PDF]
Carles Noguera,  Francesc Esteva,  & Joan Gispert (2006). On n-contractive fuzzy logics: first results. Eleventh international conference IPMU 2006, Information processing and management of uncertainty in knowledge-based systems (pp. 1612-1619). [BibTeX]
Petr Savicky,  Roberto Cignoli,  Francesc Esteva,  Lluís Godo,  & Carles Noguera (2006). On product logic with truth constants. Journal of Logic and Computation, 16, 205 - 225. [BibTeX]  [PDF]
Francesc Esteva,  Lluís Godo,  & Carles Noguera (2006). On rational weak nilpotent minimum logics. Journal of multiple valued-logic and soft computing, 12, 9-32. [BibTeX]  [PDF]
Romà Adillon,  Angel García-Cerdaña,  & Ventura Verdú (2006). On some classical fragments of t-norm based fuzzy logics. Information Processing and Management of Uncertainty in Knowledge-Based Systems IPMU 2006 (pp. 1596-1603). [BibTeX]
Franco Montagna,  Carles Noguera,  & Rostislav Horcík (2006). On weakly cancellative fuzzy logics. Journal of Logic and Computation, 16, 423-450. [BibTeX]  [PDF]
Francesc Esteva,  Lluís Godo,  & Carles Noguera (2006). Real, rational and finite-chain semantics for fuzzy logics. Actas del XIII Congreso Español sobre Tecnologías y Lógica Fuzzy ESTYLF 2006 (pp. 83-88). [BibTeX]  [PDF]
Francesc Esteva,  Lluís Godo,  & Carles Noguera (2006). Real, rational and finite semantics for fuzzy logics. M.Ojeda-Aciego S. Gottwald (Eds.), The Logic of Soft Computing & Workshop of the ERCIM working group on Soft Computing (LSC'06) (pp. 44-48). Universidad de Malaga. [BibTeX]  [PDF]
Jordi Levy,  Manfred Schmidt-Schauss,  & Mateu Villaret (2006). Stratified Context Unification is NP-complete. Lecture Notes in Computer Science (pp. 82-96). Springer-Verlag. [BibTeX]  [PDF]
2005
C. Chesñevar,  G. Simari,  & Lluís Godo (2005). Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming. C. Baral al (Eds.), International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR 2005 (pp. 158-171). Springer. [BibTeX]  [PDF]
Ana Casali,  Lluís Godo,  & Carles Sierra (2005). Graded BDI Models for Agent Architectures. João Leite, & Paolo Torroni (Eds.), International Workshop on Computational Logic in Multi-Agent Systems - CLIMA 2004 (pp. 126 - 143). Springer-Verlag. [BibTeX]  [PDF]
Lluís Godo,  & Adriana Zapico (2005). Lexicographic refinements in the context of possibilistic decision theory. Pilar Sobrevilla, & Eduard Montseny (Eds.), Joint 4th EUSFLAT & 11th LFA Conference 7-9 September, 2005 - Barcelona, Spain. (pp. 559 - 564). [BibTeX]  [PDF]
Petr Savicky,  Roberto Cignoli,  Francesc Esteva,  Lluís Godo,  & Carles Noguera (2005). On product fuzzy logic with truth constants. Universidad Barcelona (Eds.), Algebraic and topological methods in non-classical logics II. Barcelona. 2005 (pp. 32-33). [BibTeX]  [PDF]
Roberto Cignoli,  Francesc Esteva,  Lluís Godo,  & Carles Noguera (2005). On product fuzzy logic with truth-constants. Guoqing Chen Yingming Liu, & Mingsheng Ying (Eds.), Proceedings of the Eleventh International Fuzzy Systems Association World Congress IFSA 2005 (pp. 1244-1249). Tsinghua University Press, Springer. [BibTeX]  [PDF]
Carles Noguera,  Francesc Esteva,  & Joan Gispert (2005). On some varieties of MTL-Algebras. Logic Journal of the IGPL. May 2005., 13, 443 - 466. [BibTeX]  [PDF]
Carles Noguera,  Francesc Esteva,  & Joan Gispert (2005). On the variety of WNM-algebras. Universitat Barcelona (Eds.), Algebraic and Topological Methods in Non-Classical Logics II June 15-18, 2005 University of Barcelona Barcelona, Spain (pp. 60-61). [BibTeX]
Carles Noguera,  Francesc Esteva,  & Joan Gispert (2005). On varieties generated by Weak Nilpotent Minimum t-norms. Proceedings of Fourth EUSFLAT (pp. 866-871). [BibTeX]
C. Chesñevar,  G. Simari,  Lluís Godo,  & Teresa Alsinet (2005). On Warranted Inference in Possibilistic Defeasible Logic Programming. B. López, J. Meléndez, P. Radeva, & J. Vitrià (Eds.), Artificial Intelligence Reseach and Development. Frontiers in Artificial Intelligence and Applications. (pp 265 - 272). IOS Press. [BibTeX]  [PDF]
Franco Montagna,  Carles Noguera,  & Rostislav Horcík (2005). On weakly cancellative fuzzy logics. M. Stepnicka V. Novák (Eds.), The Logic of Soft Computing IV & 4th Workshop of the ERCIM Working Group on Soft Computing (pp. 59 - 61). Institute for Research and Applications of Fuzzy Modeling, University of Ostrava. [BibTeX]
Carles Noguera,  Francesc Esteva,  & Joan Gispert (2005). Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. Archive for Mathematical Logic, 44, 869 - 886. [BibTeX]  [PDF]
Jordi Levy,  Joachim Niehren,  & Mateu Villaret (2005). Well-Nested Context Unification. Lecture Notes in Artificial Intelligence (pp. 149-163). Springer-Verlag. [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

Lluís Godo
Research Professor
Phone Ext. 217

Pere Garcia Calvés
Tenured Scientist
Phone Ext. 216