Programacion+logica

Jonhn Alan Robinson N ació un 9 de Marzo de 1930 en Halifax (Yorkshire Inglaterra). Estudio en la Universidad de Cambridge en 1952 de donde marchó a Estados Unidos para cursar un máster en la Universidad de Oregón y el doctorado en la universidad de Princeton en el año 1956. Su descubrimiento mas significativo fue en1965 cuando introdujo el principio de resolución y unificación, en un artículo en que sentó las bases de la programación lógica: "A Machine-Oriented Logic Based on the Resolution Principle". También ha realizado propuestas e investigaciones en el campo de las extensiones de la programación lógica, significativamente en el área de la integración con la programación funcional donde sus sistemas LogLisp y Vesper son una referencia. En cuanto a sus logros academicos, en 1985 la Sociedad Matemática Americana le otorgó su principal distinción por sus contribuciones a la demostración automática de teoremas, en 1995 la Fundación Humboldt le otorgó su premio a los científicos y en 1996 recibió el premio Herbrand para las contribuciones más relevantes en el Razonamiento Automático. Ha adquirido dos doctorados, en la Universidad Católica de Lovaina en Bélgica y el segundo en la Universidad de Uppsala, ha sido profesor en varios centros y universidades de prestigio como Universidades de Edimburgo en Escocia, Keio en Japón, Uppsala en Suecia y Darmstad en Alemania, así como en los laboratorios de Fujitsu en Tokio.

Fue el fundador y el editor del Journal of Logia Programming, la revista avalada por la Asociación para la Programación Lógica y fue nombrado miembro permanente honorario. También forma parte de otros consejos editoriales de importantes revistas como New Generation Computing o el Journal of Symbolic Computation.

A lo largo de su vida ha publicado numerosos libros. Su libro mas reciente fue publica en el 2001 “Manual de razonamiento automatizado” (en 2 volúmenes). En el 2000, publica “Lógica Computacional: Memorias del Pasado y Retos para el Futuro” y “La prueba de Garantía Explicación” Junto con [|P. Tomás Flores], publica en 1997 “Nuevas técnicas para visualizar la información biológica”, luego publica, como unico autor “Unificación y resolución en retrospectiva” y “El rigor informal y la comprensión matemática”. Mas tarde en 1995, junto con [|Jonas Barklund], se publica “ [|Machine Intelligence”]. Un año después “Logic, Computers, Turing, and von Neumann” y para celebrar el cumpleaños 10 de La Revista de la programación lógica, se publica “ [|J.] [|Log.]  [|Registro.] [|Programa”]. En 1992 “El papel de la lógica en Ciencias de la Computación e Inteligencia Artificial” y “La lógica y la lógica de programación”. En 1991 publica un unico libro, titulado “Las pruebas formales e informales” En 1986, se publican tres libros, ¿Es la lógica de programación suficiente?, luego “El futuro de la programación lógica” y por ultimo “Fusión con Relacional Funcional de programación” En 1984, “Introducción del Editor”. En 1983, “Programación Lógica - Pasado, Presente y Futuro”. En 1968, “Nuevas orientaciones para demostrar el teorema de mecánica”. En 1967, “Reunión de la Asociación para la lógica simbólica”. En 1965, “Lógica máquina orientada basada en el principio de resolución”. Y finalmente su primer libro, publicado en 1963, “Demostración de teoremas en el equipo”. Información (fuete): [] [|http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Robinson:John_Alan.html]  [|http://logiconatural.blogspot.com/2009/10/logico-y-natural.html] [|Robert] Anthony Kowalski

El lógico e informático **Robert Anthony Kowalski** nació en Estados Unidos, el 15 de mayo de 1941, pero vivió fundamentalmente en Gran Bretaña. Trabajó en demostración automática, y programación lógica. Es famoso por haber introducido conceptos esenciales en la programación lógica y está asociado al lenguaje Prolog sin ser su autor directo. También es conocido por su innegable sentido de la fórmulas, lo que se ve por ejemplo en los títulos de algunos de sus escritos: “Algorithm = Logic+Control”(1976), “The logical way to be Artificially Intelligent”(1986), etc Fue educado en la [|Universidad de Chicago], [|la Universidad de Bridgeport] (BA en [|matemáticas] , 1963), [|la Universidad de Stanford] (Maestría en matemáticas, 1966), [|Universidad de Varsovia] y la [|Universidad de Edimburgo] (doctorado en [|ciencias de la computación] , 1970). He was a Research [|Fellow] at the [|University of Edinburgh] (1970–75) and has been at [|Imperial College London] since 1975, attaining a chair in [|Computational Logic] in 1982 and becoming Emeritus Professor in 1999. Fue una investigación [|Fellow] en la [|Universidad de Edimburgo] (1970-75) y ha estado en [|el Imperial College de Londres] desde 1975, alcanzando una silla en [|Lógica Computacional] en 1982 y convertirse en profesor emérito en 1999. He was inducted as a Fellow of the [|American Association for Artificial Intelligence] in 1991, of the European Co-ordinating Committee for Artificial Intelligence in 1999, and the [|Association for Computing Machinery] in 2001. Fue investido como miembro de la [|Asociación Americana para la Inteligencia Artificial] en 1991, del Parlamento Europeo y Comité de Coordinación para la Inteligencia Artificial en 1999, y la [|Association for Computing Machinery] en 2001.

Información(fuente): [] http://logiconatural.blogspot.com/2009/10/logico-y-natural.html