Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Robert Nieuwenhuis' Home Page
Robert Nieuwenhuis
Catedrático de Universidad
Departamento de Lenguajes y Sistemas Informáticos
(LSI)
Universidad Politécnica de Cataluña
(UPC) Barcelona.
Mis intereses se centran en la
lógica en la informática
(logic in computer science).
La lógica en la informática viene siendo reconocida
cada vez más como
"The Calculus of Computer Science" (Kolaitis y Vardi),
como lo son las matemáticas en todas las ciencias físicas, y
en particular, el análisis en la ingeniería.
Véase también
"On the Unusual Effectiveness of Logic in Computer Science".
Dentro del área de
la lógica en la informática, me interesan especialmente:
Acceso la página web de
COMPIT
, nuestra metodología para COMParar
Indexación y
Técnicas relacionadas para la
deducción automática.
El
sistema
Saturate es un entorno experimental
para la lógica de primer orden con igualdad,
que desarrollé conjuntamente con
Harald Ganzinger y Pilar Nivela en el Instituto
Max-Planck de Informática.
Saturate usa
ordered chaining para relaciones transitivas arbitrarias,
como órdenes, relaciones de equivalencia y congruencias, e integra
la transformación a CNF de manera perezosa
en el proceso de deducción.
Construction of Computational Logics II
(CCL-II)
es un EU Esprit Working Group del que soy
responsable científico y administrativo en la UPC.