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
1993
Jordi Levy
,
Jaume Agustí-Cullell
;
Bi-rewriting, a Term Rewriting Technique for Monotonic Order Relations
.
Proc. of the 5th Int. Conf. on Rewriting Techniques and Applications, RTA'93;
1993.
Download PDF
David Stuart Robertson,
Jaume Agustí-Cullell
, Jane Hesketh,
Jordi Levy
;
Expressing Program Requirements Using Refinement Lattices
.
Proc. of the 7th Int. Symp. on Metodologies for Intelligent Systems, ISMIS'93;
1993.
Download PDF
1992
Jordi Levy
,
Jaume Agustí-Cullell
;
Implementing Inequality and Nondeterministic Specifications with Bi-rewriting Systems
.
Lecture Notes in Computer Science;
1992.
Download PDF
primera
anterior
1
2
3
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