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.

Principal investigator:

Jordi Levy Jordi Levy

Collaborating organisations:


Funding entity:

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

Funding call:

Project #:


Funding amount:

0,00€ 0,00€


2011-01-01 2011-01-01


2013-12-31 2013-12-31
Petr CintulaRostislav HorcíkCarles Noguera; The quest for the basic fuzzy logic. 2015.  [PDF]  [BibTeX]
Temur KutsiaJordi LevyMateu Villaret; Anti-unification for Unranked Terms and Hedges. Journal of Automated Reasoning; 2014.  [BibTeX]
Alexander BaumgartnerTemur KutsiaJordi LevyMateu Villaret; A Variant of Higher-Order Anti-Unification. 2013.  [BibTeX]
Carlos AnsóteguiMaría Luisa BonetJoel GabàsJordi Levy; Improving WPM2 for (Weighted) Partial MaxSAT. 2013.  [BibTeX]
Petr CintulaZuzana HanikováRostislav HorcíkCarles Noguera; Non-associative substructural logics: alternative axiomatization, algebraic and logical properties. 2013.  [PDF]  [BibTeX]
Teresa AlsinetDavid BarrosoRamon BejarFèlix BouMarco CeramiFrancesc Esteva; On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers. 2013.  [PDF]  [BibTeX]
Carlos AnsóteguiMaría Luisa BonetJordi LevyFelip Manyà; Resolution Procedures for Multiple-Valued Optimization. Information Sciences; 2013.  [PDF]  [BibTeX]
Carlos AnsóteguiMaría Luisa BonetJordi Levy; SAT-Based MaxSAT Algorithms. Artificial Intelligence; 2013.  [PDF]  [BibTeX]
Petr CintulaCarles Noguera; The proof by cases property and its variants in structural consequence relations. Studia Logica; 2013.  [PDF]  [BibTeX]
Petr CintulaRostislav HorcíkCarles Noguera; A basic fuzzy logic which is really basic and fuzzy. 2012.  [PDF]  [BibTeX]
Carlos AnsóteguiMaría Luisa BonetJordi LevyChu Min Li; Analysis and Generation of Pseudo-Industrial MaxSAT Instances. 2012.  [PDF]  [BibTeX]
Zhu ZhuChu Min LiFelip ManyàJ. Argerlich; A New Encoding from MinSAT into MaxSAT. 2012.  [BibTeX]
Carlos AnsóteguiFelip Manyà; A SAT-Based Approach to MinSAT. 2012.  [BibTeX]
Carlos AnsóteguiMiquel BofillFelip ManyàMateu Villaret; Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers. 2012.  [BibTeX]
Francesc EstevaLluís Godo; De Morgan Triples Revisited. XVI Congreso Español sobre Tecnologías y Lógica Fuzzy (ESTYLF 2012); 2012.  [PDF]  [BibTeX]
J. ArgerlichAlba CabiscolInes LynceFelip Manyà; Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT. Multiple-Valued Logic and Soft Computing; 2012.  [BibTeX]
Lluís GodoEnrico MarchioniPere Pardo; Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights. 13th European Conference on Logics in Artificial Intelligence (JELIA 2012); 2012.  [PDF]  [BibTeX]
Petr CintulaCarles Noguera; Generalized Disjunctions in (Infinitary) Structural Consequence Relations. 2012.  [PDF]  [BibTeX]
Tommaso FlaminioLluís GodoEnrico Marchioni; Geometrical aspects of possibility measures on finite domain MV-clans. Soft Computing - A Fusion of Foundations, Methodologies and Applications; 2012.  [PDF]  [BibTeX]
Carlos AnsóteguiMaría Luisa BonetJoel GabàsJordi Levy; Improving SAT-Based Weighted MaxSAT Solvers. 2012.  [PDF]  [BibTeX]
Jordi LevyMateu Villaret; Nominal Unification from a Higher-Order Perspective. ACM Transactions on Computational Logics; 2012.  [PDF]  [BibTeX]
Chu Min LiZhu ZhuFelip ManyàLaurent Simon; Optimizing with minimum satisfiability. Artificial intelligence; 2012.  [BibTeX]
Francesc EstevaLluís Godo; Some remarks about standard first order tautologies. ManyVal'12; 2012.  [PDF]  [BibTeX]
Carlos AnsóteguiJesús Giráldez-CruJordi Levy; The Community Structure of SAT Formulas. 2012.  [PDF]  [BibTeX]
Teresa AlsinetRamon BejarLluís GodoFrancesc Guitart; Using Answer Set Programming for an scalable implementation of Defeasible Argumentation. 24th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2012); 2012.  [PDF]  [BibTeX]
Petr CintulaCarles Noguera; A general framework for Mathematical Fuzzy Logic. 2011.  [PDF]  [BibTeX]
Tommaso FlaminioLluís GodoEnrico Marchioni; A modal logic for belief functions on MV-algebras. Algebraic Semantics for Uncertainty and Vagueness; 2011.  [PDF]  [BibTeX]
Petr HájekFranco MontagnaCarles Noguera; Arithmetical complexity of first-order fuzzy logics. 2011.  [PDF]  [BibTeX]
Carlos AnsóteguiMiquel BofillFelip ManyàMateu Villaret; Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic. 2011.  [BibTeX]
Jordi LevyManfred Schmidt-SchaussMateu Villaret; On the complexity of Bounded Second-Order Unification and Stratified Context Unification. Logic Journal of the IGPL; 2011.  [PDF]  [BibTeX]
Carlos AnsóteguiJordi Levy; On the Modularity of Industrial SAT Instances. 2011.  [PDF]  [BibTeX]
Tommaso FlaminioLluís GodoEnrico Marchioni; Reasoning about Uncertainty of Fuzzy Events: an Overview. 2011.  [PDF]  [BibTeX]