Departamento de Razonamiento y Lógica
Email: 
amanda@iiia.csic.es
Extension: 
303
Position: 
Former PhD students
Depending on: 
13 Publications
In Press
2015
Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret; Finding Hard Instances of Satisfiability in Lukasiewicz Logics. 2015 IEEE International Symposium on Multiple-Valued Logic, ISMVL 2015; 2015.
Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret; The Complexity of 3-Valued Lukasiewicz Rules. 12th Conference on Modeling Decisions for Artificial Intelligence (MDAI 2015); 2015.
2014
Amanda Vidal, Francesc Esteva, Lluís Godo; About standard completeness of Product logic. XVII Congreso Español sobre Tecnologías y Lógica Fuzzy (ESTYLF 2014); 2014.
2013
2012
 

No results found