Project

ARINF

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

A Project coordinated by IIIA.

Web page:

Principal investigator:

Lluís Godo

Collaborating organisations:

Universitat de Lleida

Funding entity:

MICINN - TIN2009-14704-C03-03

Funding call:

Funding call URL:

http://ia.udl.cat/arinf

Project #:

ARINF

Total funding amount:

0,00€

IIIA funding amount:

Duration:

01/Jan/2010

31/Dec/2012

Extension date:

2013

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. http://www.sciencedirect.com/science/article/pii/S0888613X12001478. [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. http://link.springer.com/article/10.1007/s10472-013-9334-1. [BibTeX] [PDF]

2012

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. http://dx.doi.org/10.1016/j.artint.2012.08.006. [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 . http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/. [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). http://ceur-ws.org/Vol-857/. [BibTeX]

2011

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]

2010

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]