Efficient automated reasoning systems with incomplete and imprecise information based on SAT and CSP
Efficient automated reasoning systems with incomplete and imprecise information based on SAT and CSP

A Project coordinated by IIIA.

Web page:

Principal investigator: 

Collaborating organisations:

Universitat de Lleida
Universitat de Lleida

Funding entity:

MICINN - TIN2009-14704-C03-03
MICINN - TIN2009-14704-C03-03

Funding call:

Funding call URL:

Project #:


Total funding amount:


IIIA funding amount:



Extension date:

Tommaso Flaminio,  & Lluís Godo (2013). A note on the convex structure of uncertainty measures on MV-algebras. Synergies of Soft Computing and Statistics for Intelligent Data Analysis --6th International Conference on Soft Methods for Probability and Statistics (SMPS 2012) (pp. 73-82). Springer Berlin Heidelberg. [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Enrico Marchioni (2013). Logics for belief functions on MV-algebras. International Journal of Approximate Reasoning, 54, 491-512. [BibTeX]  [PDF]
Pilar Dellunde,  & Francesc Esteva (2013). On elementary equivalence in Fuzzy Predicate Logics. Archive for Mathematical Logic, 52, 1-17. [BibTeX]  [PDF]
Pere Pardo,  & Lluís Godo (2013). t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework. Annals of Mathematics and Artificial Intelligence, 69, 3-35. [BibTeX]  [PDF]
Santiago Ontañón,  Pilar Dellunde,  Lluís Godo,  & Enric Plaza (2012). A Defeasible Reasoning Model of Inductive Concept Learning from Examples and Communication. Artificial Intelligence, 193, 129-148. [BibTeX]  [PDF]
Amanda Vidal,  Fèlix Bou,  & Lluís Godo (2012). An SMT-based solver for continuous t-norm based logics. Scalable Uncertainty Management (SUM 2012) (pp. 633-640). Springer-Verlag Berlin Heidelberg. [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Tomas Kroupa (2012). Combination and Soft-Normalization of Belief Functions on MV-Algebras. Modeling Decisions for Artificial Intelligence, MDAI 2012 (pp. 23-34). Springer-Verlag Berlin Heidelberg. [BibTeX]  [PDF]
Tommaso Flaminio,  & Hykel Hosni (2012). De Finetti's bets on partially evaluated Kripke frames. Computability in Europe - Turing's Centenary . [BibTeX]  [PDF]
Eva Armengol,  & Angel García-Cerdaña (2012). Refining Discretizations of Continuous-Valued Attributes. V. Torra al. (Eds.), The 9th International Conference on Modeling Decisions for Artificial Intelligence (pp. 258-269). Springer-Verlag Berlin Heidelberg. [BibTeX]  [PDF]
Marjon Blondeel,  Tommaso Flaminio,  & Lluís Godo (2012). Relating fuzzy autoepistemic logic and Lukasiewicz KD45 modal logic. K. Terui, & N. Preining (Eds.), Logic, Algebra and Truth Degrees 2012 (LATD 2012) (pp. 35-39). Japan Advanced Institute of Science and Technology & Kurt Gödel Society. [BibTeX]  [PDF]
Pilar Dellunde (2012). Revisiting ultraproducts in fuzzy predicate logics. Journal of Multiple-Valued Logic and Soft Computing, 19, 95-108. [BibTeX]  [PDF]
Tommaso Flaminio,  & Hykel Hosni (2012). The epistemic structure of de Finetti's betting problem. Francesca A. Lisi (Eds.), 9th Italian Convention on Computational Logic (CILC 2012) (pp. 241-245). [BibTeX]
Pere Pardo,  Pilar Dellunde,  & Lluís Godo (2011). Argumentation-based Negotiation in t-DeLP-POP. 14th International Conference of the Catalan Association for Artificial Intelligence (CCIA 2011) (pp. 177-186). IOS Press. [BibTeX]  [PDF]
Tommaso Flaminio,  & Tomas Kroupa (2011). Characterization of Generalized Necessity Functions in Lukasiewicz Logic. S. Li, X. Wang, Y. Okazaki, J. Kawabe, T. Murofushi, & L. Guan (Eds.), Nonlinear Mathematics for Uncertainty and Its Applications (pp. 619-626). [BibTeX]
Eva Armengol,  & Susana Puig (2011). Combining two lazy learning methods for classification and knowledge discovery.. International Conference on Knowledge Discovery and Information Retrieval . INSTICC. [BibTeX]  [PDF]
Fèlix Bou,  Marco Cerami,  & Francesc Esteva (2011). Finite-valued Lukasiewicz modal logic is PSPACE-complete. Twenty-second International Joint Conference on Artificial Intelligence (IJCAI 2011) (pp. 774 - 779). [BibTeX]  [PDF]
Francesc Esteva,  Lluís Godo,  & Carles Noguera (2011). Fuzzy logics with truth hedges revisited. Gilles Mauris Sylvie Galichet (Eds.), 7th Conference of the European Society of Fuzzy Logic and Technology, EUSFLAT - LFA 2011 (pp. 146 - 152). Atlantis Press. [BibTeX]  [PDF]
Teresa Alsinet,  Ramon Bejar,  Lluís Godo,  & Francesc Guitart (2011). Maximal Ideal Recursive Semantics for Defeasible Argumentation. J. Grant S. Benferhat (Eds.), SUM 2011 (pp. 96-109). Springer-Verlag. [BibTeX]  [PDF]
Martina Fedel,  & Tommaso Flaminio (2011). Non-reversible betting games on fuzzy events: Complexity and algebra. Fuzzy Sets and Systems, 169, 91-104. [BibTeX]
Pere Pardo,  & Lluís Godo (2011). t-DeLP: a temporal extension of the defeasible logic programming argumentative framework. S. Benferhat, & J. Grant (Eds.), SUM 2011 (pp. 489-503). Springer-Verlag. [BibTeX]  [PDF]
Teresa Alsinet,  Ramon Bejar,  & Lluís Godo (2010). A characterization of collective conflict for defeasible argumentation. Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, & Guillermo R. Simari (Eds.), Third International Conference on Computational Models of Argument, COMMA 2010 (pp. 27-38). IOS Press. [BibTeX]  [PDF]
Teresa Alsinet,  Ramon Bejar,  & Lluís Godo (2010). A Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics. A. Kuri-Morales, & G. Simari (Eds.), 12th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2010 (pp. 40-49). Springer. [BibTeX]  [PDF]
Pilar Dellunde,  & Francesc Esteva (2010). On elementary extensions in Fuzzy Predicate Logics. E. Huellermeier, & F. Hoffmann (Eds.), IPMU 2010 (pp. 747-756). [BibTeX]  [PDF]
Eva Armengol,  Pilar Dellunde,  & Angel García-Cerdaña (2010). On Similarities in Fuzzy Description Logics. Logic, Algebra and Truth Degrees 2010 (pp. 44-49). [BibTeX]  [PDF]
Martina Fedel,  & Tommaso Flaminio (2010). On the Complexity of Non-reversible Betting Games on Many-Valued Events. IPMU 2010 (pp. 90-97). Springer. [BibTeX]
Pilar Dellunde (2010). Revisiting Ultraproducts in Fuzzy Predicate Logics. 40th IEEE International Symposium on Multiple-Valued Logic (pp. 134-139). IEEE Computer Society. [BibTeX]  [PDF]
Angel García-Cerdaña,  Eva Armengol,  & Pilar Dellunde (2010). Similarity for attribute-value representations in Fuzzy Description Logics. Artificial Intelligence Research and Development, CCIA'10 (pp. 269-278). IOS Press. [BibTeX]  [PDF]
Eva Armengol
Tenured Scientist
Phone Ext. 431851

Marco Cerami
Industrial PhD Student
Pilar Dellunde
Adjunct Scientist
Tommaso Flaminio
Tenured Scientist
Phone Ext. 431841

Lluís Godo
Research Professor
Phone Ext. 431857

Pere Pardo
Industrial PhD Student
Josep Puyol-Gruart
Tenured Scientist
Phone Ext. 431842

Sandra Sandri
Visiting Scientist