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.

Principal investigator:

Lluís Godo Lluís Godo

Collaborating organisations:

Universitat de Lleida Universitat de Lleida

Funding entity:

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

Funding call:

Project #:


Funding amount:

0,00€ 0,00€


2010-01-01 2010-01-01


2012-12-31 2012-12-31
Tommaso FlaminioLluís Godo; 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); 2013.  [PDF]  [BibTeX]
Tommaso FlaminioLluís GodoEnrico Marchioni; Logics for belief functions on MV-algebras. International Journal of Approximate Reasoning; 2013.  [PDF]  [BibTeX]
Pilar DellundeFrancesc Esteva; On elementary equivalence in Fuzzy Predicate Logics. Archive for Mathematical Logic; 2013.  [PDF]  [BibTeX]
Pere PardoLluís Godo; t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework. Annals of Mathematics and Artificial Intelligence; 2013.  [PDF]  [BibTeX]
Santiago OntañónPilar DellundeLluís GodoEnric Plaza; A Defeasible Reasoning Model of Inductive Concept Learning from Examples and Communication. Artificial Intelligence; 2012.  [PDF]  [BibTeX]
Amanda VidalFèlix BouLluís Godo; An SMT-based solver for continuous t-norm based logics. Scalable Uncertainty Management (SUM 2012); 2012.  [PDF]  [BibTeX]
Tommaso FlaminioLluís GodoTomas Kroupa; Combination and Soft-Normalization of Belief Functions on MV-Algebras. Modeling Decisions for Artificial Intelligence, MDAI 2012; 2012.  [PDF]  [BibTeX]
Tommaso FlaminioHykel Hosni; De Finetti's bets on partially evaluated Kripke frames. 2012.  [PDF]  [BibTeX]
Eva ArmengolAngel García-Cerdaña; Refining Discretizations of Continuous-Valued Attributes. 2012.  [PDF]  [BibTeX]
Marjon BlondeelTommaso FlaminioLluís Godo; Relating fuzzy autoepistemic logic and Lukasiewicz KD45 modal logic. Logic, Algebra and Truth Degrees 2012 (LATD 2012); 2012.  [PDF]  [BibTeX]
Pilar Dellunde; Revisiting ultraproducts in fuzzy predicate logics. Journal of Multiple-Valued Logic and Soft Computing; 2012.  [PDF]  [BibTeX]
Tommaso FlaminioHykel Hosni; The epistemic structure of de Finetti's betting problem. 2012.  [BibTeX]
Pere PardoPilar DellundeLluís Godo; Argumentation-based Negotiation in t-DeLP-POP. 14th International Conference of the Catalan Association for Artificial Intelligence (CCIA 2011); 2011.  [PDF]  [BibTeX]
Tommaso FlaminioTomas Kroupa; Characterization of Generalized Necessity Functions in Lukasiewicz Logic. 2011.  [BibTeX]
Eva ArmengolSusana Puig; Combining two lazy learning methods for classification and knowledge discovery.. 2011.  [PDF]  [BibTeX]
Fèlix BouMarco CeramiFrancesc Esteva; Finite-valued Lukasiewicz modal logic is PSPACE-complete. 2011.  [PDF]  [BibTeX]
Francesc EstevaLluís GodoCarles Noguera; Fuzzy logics with truth hedges revisited. 7th Conference of the European Society of Fuzzy Logic and Technology, EUSFLAT - LFA 2011; 2011.  [PDF]  [BibTeX]
Teresa AlsinetRamon BejarLluís GodoFrancesc Guitart; Maximal Ideal Recursive Semantics for Defeasible Argumentation. SUM 2011; 2011.  [PDF]  [BibTeX]
Martina FedelTommaso Flaminio; Non-reversible betting games on fuzzy events: Complexity and algebra. Fuzzy Sets and Systems; 2011.  [BibTeX]
Pere PardoLluís Godo; t-DeLP: a temporal extension of the defeasible logic programming argumentative framework. SUM 2011; 2011.  [PDF]  [BibTeX]
Teresa AlsinetRamon BejarLluís Godo; A characterization of collective conflict for defeasible argumentation. Third International Conference on Computational Models of Argument, COMMA 2010; 2010.  [PDF]  [BibTeX]
defeasible argumentation, recursive semantics, computational aspects; A Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics. 12th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2010; 2010.  [PDF]  [BibTeX]
Pilar DellundeFrancesc Esteva; On elementary extensions in Fuzzy Predicate Logics. 2010.  [PDF]  [BibTeX]
Eva ArmengolPilar DellundeAngel García-Cerdaña; On Similarities in Fuzzy Description Logics. 2010.  [PDF]  [BibTeX]
Martina FedelTommaso Flaminio; On the Complexity of Non-reversible Betting Games on Many-Valued Events. 2010.  [BibTeX]
Pilar Dellunde; Revisiting Ultraproducts in Fuzzy Predicate Logics. 2010.  [PDF]  [BibTeX]
Angel García-CerdañaEva ArmengolPilar Dellunde; Similarity for attribute-value representations in Fuzzy Description Logics. 2010.  [PDF]  [BibTeX]