Pasar al contenido principal
Català
English
Español
Formulario de búsqueda
Buscar
Log-in
Acerca del IIIA
Presentación
Historia
Contribuciones a la inteligencia artificial 1996 - 2001
Contributions to Artificial Intelligence 1986 - 1995
Ubicación
Trabaja con nosotros
Departamentos
Proyectos
Proyectos Actuales
Proyectos Finalizados
Publicaciones
Publications
Thesis
Personas
Jordi Levy
Personal actual
Personal anterior
Actividades
Seminarios
Conferencias
Doctoral Consortium
Noticias
Transferencia
25 aniversario
Usted está aquí
Home
>
Personal
>
Jordi Levy
Jordi Levy
Jordi Levy
Personal actual
Personal anterior
Departamento de Razonamiento y Lógica
Email:
levy@iiia.csic.es
Extension:
240
Web:
http://www.iiia.csic.es/~levy
Position:
Scientific Staff
Publications
Projects
63 Publications
2009
Jordi Levy
,
Mateu Villaret
;
Simplifying the Signature in Second-Order Unification
.
Applicable Algebra in Engineering, Communication and Computing;
2009.
Download PDF
Carlos Ansótegui
,
María Luisa Bonet
,
Jordi Levy
;
Solving (Weighted) Partial MaxSAT Through Satisfiability Testing
.
Proc. of the 20th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'09;
2009.
Download PDF
Carlos Ansótegui
,
María Luisa Bonet
,
Jordi Levy
;
Towards Industrial-Like Random SAT Instances
.
Proc. of the 21st Int. Joint Conf. on Artificial Intelligence, IJCAI'09;
2009.
Download PDF
2008
Carlos Ansótegui
,
María Luisa Bonet
,
Jordi Levy
,
Felip Manyà
;
Measuring the Hardness of SAT Instances
.
Proc. of the 23th AAAI Conference on Artificial Intelligence, AAAI-08;
2008.
Download PDF
Jordi Levy
,
Mateu Villaret
;
Nominal Unification from a Higher-Order Perspective
.
Proc. of the 19th International Conference on Rewriting Techniques and Applications, RTA'08;
2008.
Download PDF
Carlos Ansótegui
,
María Luisa Bonet
,
Jordi Levy
;
Random SAT Instances à la Carte
.
Proc. of the 11th Int. Conf. of the ACIA, CCIA'08;
2008.
Download PDF
Jordi Levy
,
Manfred Schmidt-Schauss
,
Mateu Villaret
;
The Complexity of Monadic Second-Order Unification
.
SIAM Journal on Computing;
2008.
Download PDF
2007
Carlos Ansótegui
,
María Luisa Bonet
,
Jordi Levy
,
Felip Manyà
;
A Complete Resolution Calculus for Signed Max-SAT
.
Proc. of the 37th International Symposium on Multiple-Valued Logic, ISMVL'07;
2007.
Download PDF
Carlos Ansótegui
,
María Luisa Bonet
,
Jordi Levy
,
Felip Manyà
;
Inference Rules for High-Order Consistency in Weighted CSP
.
Proc. of the 22th AAAI Conference on Artificial Intelligence, AAAI-07;
2007.
Download PDF
Carlos Ansótegui
,
María Luisa Bonet
,
Jordi Levy
,
Felip Manyà
;
Mapping CSP into Many-Valued SAT
.
Proc. of the 10th International Conference on Theory and Applications of Satisfiability Testing, SAT'07;
2007.
Download PDF
María Luisa Bonet
,
Jordi Levy
,
Felip Manyà
;
Resolution for Max-SAT
.
Artificial Intelligence;
2007.
Download PDF
Temur Kutsia
,
Jordi Levy
,
Mateu Villaret
;
Sequence Unification Through Currying
.
Proc. of the 18th International Conference on Rewriting Techniques and Applications, RTA'07;
2007.
Download PDF
Carlos Ansótegui
,
María Luisa Bonet
,
Jordi Levy
,
Felip Manyà
;
The Logic Behind Weighted CSP
.
Future and Trends in Constraint Programming;
2007.
Download PDF
Carlos Ansótegui
,
María Luisa Bonet
,
Jordi Levy
,
Felip Manyà
;
The Logic behind Weighted CSP
.
Proc. of the 20th International Joint Conference on Artificial Intelligence, IJCAI'07;
2007.
Download PDF
2006
María Luisa Bonet
,
Jordi Levy
,
Felip Manyà
;
A Complete Calculus for Max-SAT
.
Lecture Notes in Computer Science;
2006.
Download PDF
Jordi Levy
,
Manfred Schmidt-Schauss
,
Mateu Villaret
;
Bounded Second-Order Unification Is NP-Complete
.
Lecture Notes in Computer Science;
2006.
Download PDF
Jordi Levy
,
Manfred Schmidt-Schauss
,
Mateu Villaret
;
Stratified Context Unification is NP-complete
.
Lecture Notes in Computer Science;
2006.
Download PDF
2005
Jordi Levy
,
Joachim Niehren
,
Mateu Villaret
;
Well-Nested Context Unification
.
Lecture Notes in Artificial Intelligence;
2005.
Download PDF
2004
Jordi Levy
,
Manfred Schmidt-Schauss
,
Mateu Villaret
;
Monadic Second-Order Unifications is NP Complete
.
Lecture Notes in Computer Science;
2004.
Download PDF
2003
Albert Atserias
,
María Luisa Bonet
,
Jordi Levy
;
On Chvátal Rank and Cutting Planes Proofs
.
Electronic Colloquium on Computational Complexity;
2003.
Download PDF
2002
Jordi Levy
,
Mateu Villaret
;
Currying Second-Order Unification Problems
.
Lecture Notes in Computer Science;
2002.
Download PDF
2001
Jordi Levy
,
Mateu Villaret
;
Context unification and Traversal Equations
.
Lecture Notes in Computer Science;
2001.
Download PDF
2000
Jordi Levy
,
Mateu Villaret
;
Linear Second-Order Unification and Context Unification with Tree-Regular Constraints
.
Lecture Notes in Computer Science;
2000.
Download PDF
Jordi Levy
,
Margus Veanes
;
On the Undecidability of Second-Order Unification
.
Information and Computation;
2000.
Download PDF
1998
Jordi Levy
;
Decidable and Undecidable Second-Order Unification Problems
.
Lecture Notes in Computer Science;
1998.
Download PDF
Jordi Levy
,
Margus Veanes
;
On Unification Problems in Restricted Second-Order Languages
.
Annual Conference of the European Association for Computer Science Logic, CSL'98;
1998.
Download PDF
1996
Jordi Levy
,
Jaume Agustí-Cullell
;
Bi-Rewrite Systems
.
Journal of Symbolic Computation;
1996.
Download PDF
Jordi Levy
;
Linear Second Order Unification
.
Lecture Notes in Computer Science;
1996.
Download PDF
1994
David Stuart Robertson,
Jaume Agustí-Cullell
, Jane Hesketh,
Jordi Levy
;
Expressing Program Requirements Using Refinement Lattices
.
Fundamenta Informaticae;
1994.
Download PDF
Jordi Levy
;
The Calculus of Refinements, a Formal Specification Model Based on Inclusions
.
Universitat Politècnica de Catalunya;
1994.
Download PDF
primera
anterior
1
2
3
siguiente
última
Internacional
01 Junio 2018
-
31 Mayo 2021
Jordi Levy
LOGISTAR
Enhanced data management techniques for real time logistics planning and scheduling
Plan Nacional
01 Enero 2016
-
31 Diciembre 2019
Lluís Godo
RASO
RAzonamiento, Satisfacción y Optimización
Intramural
01 Diciembre 2014
-
30 Noviembre 2017
Pedro Meseguer
Logal
Lógica y algoritmos
Plan Nacional
01 Enero 2011
-
31 Diciembre 2013
Jordi Levy
TASSAT
TASSAT: Teoría, Aplicaciones y Sinergia en SAT, CSP Y FDL
-
15 Octubre 2007
-
15 Octubre 2010
Francesc Esteva
MULOG 2
Many-valued Logic: Foundations and Applications to Satisfiability, Argumentation and Ontologies
-
13 Diciembre 2004
-
13 Diciembre 2007
Francesc Esteva
MULOG
Lógica Multivaluada: fundamentos y aplicaciones al tratamiento de la vaguedad y la imprecisión