Project

TASSAT

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

A Project coordinated by IIIA.

Web page:

Principal investigator:

Jordi Levy

Collaborating organisations:

UPC, UPF y UdL

Funding entity:

CICyT (TIN2010-20967-C04-01)

Funding call:

Funding call URL:

Project #:

TASSAT

Total funding amount:

0,00€

IIIA funding amount:

Duration:

01/Jan/2011

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. https://doi.org/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. https://doi.org/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. https://doi.org/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. https://doi.org/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]