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

A Project coordinated by IIIA.

Principal investigator:

Lluís GodoLluís Godo

Collaborating organisations:

Universitat de LleidaUniversitat de Lleida

Funding entity:

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

Funding call:

Project #:


Funding amount:





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. [BibTeX]  [PDF]
Pilar Dellunde,  & Francesc Esteva (2013). On elementary equivalence in Fuzzy Predicate Logics. Archive for Mathematical Logic. [BibTeX]  [PDF]
Pere Pardo,  & Lluís Godo (2013). t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework. Annals of Mathematics and Artificial Intelligence. [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. [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. The 9th International Conference on Modeling Decisions for Artificial Intelligence . [BibTeX]  [PDF]
Marjon Blondeel,  Tommaso Flaminio,  & Lluís Godo (2012). Relating fuzzy autoepistemic logic and Lukasiewicz KD45 modal logic. In K. Terui and 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. [BibTeX]  [PDF]
Tommaso Flaminio,  & Hykel Hosni (2012). The epistemic structure of de Finetti's betting problem. 9th Italian Convention on Computational Logic (CILC 2012) . [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. Nonlinear Mathematics for Uncertainty and Its Applications . [BibTeX]
Eva Armengol,  & Susana Puig (2011). Combining two lazy learning methods for classification and knowledge discovery.. International Conference on Knowledge Discovery and Information Retrieval . [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) . [BibTeX]  [PDF]
Francesc Esteva,  Lluís Godo,  & Carles Noguera (2011). Fuzzy logics with truth hedges revisited. In Sylvie Galichet, Javier Montero, Gilles Mauris (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. In S. Benferhat, J. Grant (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. [BibTeX]
Pere Pardo,  & Lluís Godo (2011). t-DeLP: a temporal extension of the defeasible logic programming argumentative framework. In S. Benferhat and 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. In 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. In A. Kuri-Morales and 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. IPMU 2010 . [BibTeX]  [PDF]
Eva Armengol,  Pilar Dellunde,  & Angel García-Cerdaña (2010). On Similarities in Fuzzy Description Logics. Logic, Algebra and Truth Degrees 2010 . [BibTeX]  [PDF]
Martina Fedel,  & Tommaso Flaminio (2010). On the Complexity of Non-reversible Betting Games on Many-Valued Events. IPMU 2010 . [BibTeX]
Pilar Dellunde (2010). Revisiting Ultraproducts in Fuzzy Predicate Logics. 40th IEEE International Symposium on Multiple-Valued Logic . [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 . [BibTeX]  [PDF]