TASSAT
TASSAT

TASSAT
TASSAT
 : 
TASSAT: Teoría, Aplicaciones y Sinergia en SAT, CSP Y FDL
TASSAT: Teoría, Aplicaciones y Sinergia en SAT, CSP Y FDL

A Project coordinated by IIIA.

Web page:

Principal investigator: 

Collaborating organisations:

UPC, UPF y UdL

UPC, UPF y UdL

Funding entity:

CICyT (TIN2010-20967-C04-01)
CICyT (TIN2010-20967-C04-01)

Funding call:

Funding call URL:

Project #:

TASSAT
TASSAT

Total funding amount:

0,00€
0,00€

IIIA funding amount:

Duration:

01/Jan/2011
01/Jan/2011
31/Dec/2013
31/Dec/2013

Extension date:

2015
Petr Cintula,  Rostislav Horcík,  & Carles Noguera (2015). The quest for the basic fuzzy logic. Franco Montagna (Eds.), Petr Hájek on Mathematical Fuzzy Logic (pp 245-290). Springer. http://link.springer.com/chapter/10.1007/978-3-319-06233-4_12. [BibTeX]  [PDF]
2014
Temur Kutsia,  Jordi Levy,  & Mateu Villaret (2014). Anti-unification for Unranked Terms and Hedges. Journal of Automated Reasoning, 52, 155-190. https://doi.org/10.1007/s10817-013-9285-6. [BibTeX]
2013
Alexander Baumgartner,  Temur Kutsia,  Jordi Levy,  & Mateu Villaret (2013). A Variant of Higher-Order Anti-Unification. Proc. of the 24st Int. Conf. on Rewriting Techniques and Applications, RTA'13 . https://doi.org/10.4230/LIPIcs.RTA.2013.113. [BibTeX]
Carlos Ansótegui,  María Luisa Bonet,  Joel Gabàs,  & Jordi Levy (2013). Improving WPM2 for (Weighted) Partial MaxSAT. Proc of the 19th Int. Conf. on Principles and Practice of Constraint Programming, CP'13 . https://doi.org/10.1007/978-3-642-40627-0_12. [BibTeX]
Petr Cintula,  Zuzana Haniková,  Rostislav Horcík,  & Carles Noguera (2013). Non-associative substructural logics: alternative axiomatization, algebraic and logical properties. 15th Latin American Symposium on Mathematical Logic (pp. 409 - 410). [BibTeX]  [PDF]
Teresa Alsinet,  David Barroso,  Ramon Bejar,  Fèlix Bou,  Marco Cerami,  & Francesc Esteva (2013). On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers. 7th International Conference on Scalable Uncertainty Management, SUM 2013 (pp. 325-330). Springer. http://link.springer.com/chapter/10.1007\%2F978-3-642-40381-1_25. [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  Jordi Levy,  & Felip Manyà (2013). Resolution Procedures for Multiple-Valued Optimization. Information Sciences, 227, 43-59. [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  & Jordi Levy (2013). SAT-Based MaxSAT Algorithms. Artificial Intelligence, 196, 77-105. [BibTeX]  [PDF]
Petr Cintula,  & Carles Noguera (2013). The proof by cases property and its variants in structural consequence relations. Studia Logica, 101, 713 - 747. [BibTeX]  [PDF]
2012
Petr Cintula,  Rostislav Horcík,  & Carles Noguera (2012). A basic fuzzy logic which is really basic and fuzzy. K. Terui, & N. Preining (Eds.), Logic, Algebra and Truth Degrees 2012 (pp. 67 - 70). Japan Advanced Institute of Science and Technology. [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  Jordi Levy,  & Chu Min Li (2012). Analysis and Generation of Pseudo-Industrial MaxSAT Instances. David Riaño, Eva Onaindía, & Miguel Cazorla (Eds.), Proc. of the 15th Int. Conf. of the ACIA, CCIA'12 (pp. 173-184). IOS Press. [BibTeX]  [PDF]
Zhu Zhu,  Chu Min Li,  Felip Manyà,  & J. Argerlich (2012). A New Encoding from MinSAT into MaxSAT. CP 2012 (pp. 455-463). [BibTeX]
Carlos Ansótegui,  & Felip Manyà (2012). A SAT-Based Approach to MinSAT. CCIA 2012 (pp. 185-189). [BibTeX]
Carlos Ansótegui,  Miquel Bofill,  Felip Manyà,  & Mateu Villaret (2012). Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers. ISMVL 2012 . [BibTeX]
Francesc Esteva,  & Lluís Godo (2012). De Morgan Triples Revisited. XVI Congreso Español sobre Tecnologías y Lógica Fuzzy (ESTYLF 2012) (pp. 144-149). [BibTeX]  [PDF]
J. Argerlich,  Alba Cabiscol,  Ines Lynce,  & Felip Manyà (2012). Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT. Multiple-Valued Logic and Soft Computing, 19, 3-23. [BibTeX]
Lluís Godo,  Enrico Marchioni,  & Pere Pardo (2012). Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights. L. Fariñas al. (Eds.), 13th European Conference on Logics in Artificial Intelligence (JELIA 2012) (pp. 242-254). Springer-Verlag Berlin Heidelberg. http://link.springer.com/chapter/10.1007%2F978-3-642-33353-8_19. [BibTeX]  [PDF]
Petr Cintula,  & Carles Noguera (2012). Generalized Disjunctions in (Infinitary) Structural Consequence Relations. Logic Colloquium 2011 (pp. 442-443). Association of Symbolic Logic. [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Enrico Marchioni (2012). Geometrical aspects of possibility measures on finite domain MV-clans. Soft Computing - A Fusion of Foundations, Methodologies and Applications, 16, 1863-1873. http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/s00500-012-0838-0. [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  Joel Gabàs,  & Jordi Levy (2012). Improving SAT-Based Weighted MaxSAT Solvers. Michela Milano (Eds.), Proc. of the 18th Int. Conf. on Principles and Practice of Constraint Programming, CP'12 (pp. 86-101). Springer. [BibTeX]  [PDF]
Jordi Levy,  & Mateu Villaret (2012). Nominal Unification from a Higher-Order Perspective. ACM Transactions on Computational Logics, 13, 10. [BibTeX]  [PDF]
Chu Min Li,  Zhu Zhu,  Felip Manyà,  & Laurent Simon (2012). Optimizing with minimum satisfiability. Artificial intelligence, 190, 32-44. [BibTeX]
Francesc Esteva,  & Lluís Godo (2012). Some remarks about standard first order tautologies. ManyVal'12 . [BibTeX]  [PDF]
Carlos Ansótegui,  Jesús Giráldez-Cru,  & Jordi Levy (2012). The Community Structure of SAT Formulas. Alessandro Cimatti, & Roberto Sebastiani (Eds.), Proc. of the 15th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'12 (pp. 410-423). Springer. [BibTeX]  [PDF]
Teresa Alsinet,  Ramon Bejar,  Lluís Godo,  & Francesc Guitart (2012). Using Answer Set Programming for an scalable implementation of Defeasible Argumentation. 24th IEEE International Conference on Tools with Artificial Intelligence - ICTAI 2012 (pp. 1016--1021). IEEE Conference Publishing Services. [BibTeX]  [PDF]
2011
Petr Cintula,  & Carles Noguera (2011). A general framework for Mathematical Fuzzy Logic. Carles Noguera Petr Cintula (Eds.), Handbook of Mathematical Fuzzy Logic - volume 1 (pp 103 - 207). College Publications. [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Enrico Marchioni (2011). A modal logic for belief functions on MV-algebras. Algebraic Semantics for Uncertainty and Vagueness . [BibTeX]  [PDF]
Petr Hájek,  Franco Montagna,  & Carles Noguera (2011). Arithmetical complexity of first-order fuzzy logics. Carles Noguera Petr Cintula (Eds.), Handbook of Mathematical Fuzzy Logic - volume 2 (pp 853 - 908). College Publications. [BibTeX]  [PDF]
Carlos Ansótegui,  Miquel Bofill,  Felip Manyà,  & Mateu Villaret (2011). Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic. 41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011 (pp. 230-235). [BibTeX]
Jordi Levy,  Manfred Schmidt-Schauss,  & Mateu Villaret (2011). On the complexity of Bounded Second-Order Unification and Stratified Context Unification. Logic Journal of the IGPL, 19, 763-789. [BibTeX]  [PDF]
Carlos Ansótegui,  & Jordi Levy (2011). On the Modularity of Industrial SAT Instances. Cesar Fernandez, Hector Geffner, & Felip Manyà (Eds.), Proc. of the 14th Int. Conf. of the ACIA, CCIA'11 (pp. 11-20). IOS Press. [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Enrico Marchioni (2011). Reasoning about Uncertainty of Fuzzy Events: an Overview. P. Cintula, C. Fermueller, L. Godo, & P. Hajek (Eds.), Understanding Vagueness - Logical, Philosophical, and Linguistic Perspectives (pp 367 - 401). College Publications. [BibTeX]  [PDF]
Jaume Agustí-Cullell
Research Professor
Gonçal E. Imaz
Tenured Scientist
Phone Ext. 431818

Francesc Esteva
Adjunct Professor Ad Honorem
Tommaso Flaminio
Tenured Scientist
Phone Ext. 431841

Angel García-Cerdaña
Adjunct Scientist
Jesús Giráldez-Cru
PhD Student
Jordi Levy
Tenured Scientist
Phone Ext. 431860

Felip Manyà
Scientific Researcher
Phone Ext. 431854

Carles Noguera
Contract Researcher
Sandra Sandri
Visiting Scientist