Project

LOCOMOTION

Logics for combining models of reasoning under imperfect information

A Project coordinated by IIIA.

Web page:

Principal investigator:

Lluís Godo

Collaborating organisations:

Funding entity:

MICINN (FFI2008-03126-E/FILO, 119.000 )

Funding call:

Funding call URL:

Project #:

LOCOMOTION

Total funding amount:

0,00€

IIIA funding amount:

Duration:

01/Feb/2009

31/Jan/2012

Extension date:

2012

Pilar Dellunde (2012). Preserving Mappings in Fuzzy Predicate Logics. Journal of Logic and Computation, 22, 1367-1389. [BibTeX]

2011

Petr Cintula, & Carles Noguera (2011). Almost (MP)-based substructural logics. Y. Lafont L. Santocanale (Eds.), Fifth International Conference on Topology, Algebra, and Categories in Logic, TACL 2011 (pp. 71 - 74). University of Marseille. [BibTeX] [PDF]

Petr Cintula, & Carles Noguera (2011). An abstract study of disjunction connectives in non-classical logics. Reunión de la Unión Matemática Argentina (pp. 142 - 143). [BibTeX]

Tommaso Flaminio, Lluís Godo, & Enrico Marchioni (2011). Belief Functions on MV-algebras of Fuzzy Events Based on Fuzzy Evidence. ECSQARU 2011 (pp. 628-639). Springer. [BibTeX] [PDF]

Petr Cintula, Petr Hájek, & Carles Noguera (2011). Handbook of Mathematical Fuzzy Logic - volume 1 (pp. 486). College Publications. [BibTeX]

Petr Cintula, Petr Hájek, & Carles Noguera (2011). Handbook of Mathematical Fuzzy Logic - volume 2 (pp. 474). College Publications. [BibTeX]

F. Bobillo, Fèlix Bou, & U. Straccia (2011). On the Failure of the Finite Model Property in some Fuzzy Description Logics. Fuzzy Sets and Systems, 172, 1-12. [BibTeX]

Petr Cintula, Christian G. Fermüller, Lluís Godo, & Petr Hájek (2011). Understanding Vagueness. Logical, Philosophical, and Linguistic Perspectives (pp. 425). College Publications. [BibTeX] [PDF]

2010

Franco Montagna, & Carles Noguera (2010). Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics. Journal of Logic and Computation, 20, 399 - 424. [BibTeX] [PDF]

Pere Pardo, Pilar Dellunde, & Lluís Godo (2010). Base Belief Change for finitary monotonic logics. R.M. Gasca P. Meseguer (Eds.), Current Topics in Artificial Intelligence (pp. 82-92). Springer. [BibTeX] [PDF]

Petr Cintula, & Carles Noguera (2010). Logics with a (lattice) disjunction and their completeness properties. L. Stout P. Cintula (Eds.), 31th Linz Seminar on Fuzzy Set Theory (pp. 26 - 30). Universitätsdirektion, Johannes Kepler Universität, A-4040 Linz. [BibTeX]

Francesc Esteva, Lluís Godo, Ricardo Oscar Rodriguez, & Thomas Vetterlein (2010). Similarity-based approximate and strong entailments. A. Peregrín, J. Alcalá, F.J. Moren, & F. A. Márquez (Eds.), XV Congreso Español sobre Tecnologías y Lógica Fuzzy ESTYLF 2010 (pp. 187-192). [BibTeX] [PDF]

2009

Pilar Dellunde, Lluís Godo, & Enrico Marchioni (2009). Exploring Extensions of Possibilistic Logic over GÃ¶del logic. C. Sossai, & G.Chemello (Eds.), 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009) (pp. 923-934). Springer-Verlag. [BibTeX] [PDF]

Pere Pardo, Pilar Dellunde, & Lluís Godo (2009). Secure and Optimal Base Contraction in Graded Łukasiewicz Logics. M. Sánchez-Marrè S. Sandri, & U. Cortés (Eds.), Artificial Intelligence Research and Development. Proceedings of the 12th International Conference of the Catalan Association fo Artificial Intelligence (pp. 265-274). IOS Press. [BibTeX] [PDF]