TASSATTASSAT

TASSATTASSAT

 : 

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

A Project coordinated by IIIA.

Principal investigator:

Jordi LevyJordi Levy

Collaborating organisations:

UPC, UPF y UdLUPC, UPF y UdL

Funding entity:

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

Funding call:

Project #:

TASSATTASSAT

Funding amount:

0,00€0,00€

Duration:

2011-01-012011-01-01

 -

2013-12-312013-12-31
2015
Petr Cintula,  Rostislav Horcík,  & Carles Noguera (2015). The quest for the basic fuzzy logic. Petr Hájek on Mathematical Fuzzy Logic. [BibTeX]  [PDF]
2014
Temur Kutsia,  Jordi Levy,  & Mateu Villaret (2014). Anti-unification for Unranked Terms and Hedges. Journal of Automated Reasoning. [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 . [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 . [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 . [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 . [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  Jordi Levy,  & Felip Manyà (2013). Resolution Procedures for Multiple-Valued Optimization. Information Sciences. [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  & Jordi Levy (2013). SAT-Based MaxSAT Algorithms. Artificial Intelligence. [BibTeX]  [PDF]
Petr Cintula,  & Carles Noguera (2013). The proof by cases property and its variants in structural consequence relations. Studia Logica. [BibTeX]  [PDF]
2012
Petr Cintula,  Rostislav Horcík,  & Carles Noguera (2012). A basic fuzzy logic which is really basic and fuzzy. Logic, Algebra and Truth Degrees 2012 . [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  Jordi Levy,  & Chu Min Li (2012). Analysis and Generation of Pseudo-Industrial MaxSAT Instances. Proc. of the 15th Int. Conf. of the ACIA, CCIA'12 . [BibTeX]  [PDF]
Zhu Zhu,  Chu Min Li,  Felip Manyà,  & J. Argerlich (2012). A New Encoding from MinSAT into MaxSAT. CP 2012 . [BibTeX]
Carlos Ansótegui,  & Felip Manyà (2012). A SAT-Based Approach to MinSAT. CCIA 2012 . [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. [BibTeX]
Lluís Godo,  Enrico Marchioni,  & Pere Pardo (2012). Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights. In L. Fariñas del Cerro et al. (Eds.), 13th European Conference on Logics in Artificial Intelligence (JELIA 2012) (pp. 242-254). Springer-Verlag Berlin Heidelberg. [BibTeX]  [PDF]
Petr Cintula,  & Carles Noguera (2012). Generalized Disjunctions in (Infinitary) Structural Consequence Relations. Logic Colloquium 2011 . [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. [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  Joel Gabàs,  & Jordi Levy (2012). Improving SAT-Based Weighted MaxSAT Solvers. Proc. of the 18th Int. Conf. on Principles and Practice of Constraint Programming, CP'12 . [BibTeX]  [PDF]
Jordi Levy,  & Mateu Villaret (2012). Nominal Unification from a Higher-Order Perspective. ACM Transactions on Computational Logics. [BibTeX]  [PDF]
Chu Min Li,  Zhu Zhu,  Felip Manyà,  & Laurent Simon (2012). Optimizing with minimum satisfiability. Artificial intelligence. [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. Proc. of the 15th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'12 . [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. Handbook of Mathematical Fuzzy Logic - volume 1. [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. Handbook of Mathematical Fuzzy Logic - volume 2. [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 . [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. [BibTeX]  [PDF]
Carlos Ansótegui,  & Jordi Levy (2011). On the Modularity of Industrial SAT Instances. Proc. of the 14th Int. Conf. of the ACIA, CCIA'11 . [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Enrico Marchioni (2011). Reasoning about Uncertainty of Fuzzy Events: an Overview. Understanding Vagueness - Logical, Philosophical, and Linguistic Perspectives. [BibTeX]  [PDF]