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 #:


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. 226

Josep Puyol-Gruart
Tenured Scientist
Phone Ext. 210

Lluís Godo
Research Professor
Phone Ext. 217

Pilar Dellunde
Adjunct Scientist
Phone Ext. 239

Tommaso Flaminio
Tenured Scientist
Phone Ext. 233