Seclin (Nord). 76, rue Maurice Bouchery

Results about Rue Resolution

Extensional Higher-Order Paramodulation and RUE-Resolution

This paper presents two approaches to primitive equality treatment in higher-order (HO) automated theorem proving: a calculus EP adapting traditional first-order (FO) paramodulation [RW69] , and a calculus ERUE adapting FO RUE-Resolution [Dig79] to classical type theory, i.e., HO logic based on Church’s simply typed λ-calculus. EP and ERUE extend the extensional HO resolution approach ER [BK98a...

Gerald Maurice Edelman.

Professor Gerald Maurice Edelman died in La Jolla, California, on May 17, 2014, at the age of 84. His wife, Maxine Morrison Edelman, and three children, Judith, Eric, and David, survive him. We, of course, remember him for his brilliant scientific career. However, I have received many comments from people who, upon hearing of his death, remarked along lines similar to these: “It’s the end of an...

Maurice Ptito, MD, Ph

In this series of studies, we used a monkey model of human hemispherectomy in order to characterize behavioral recovery and anatomical reorganization of the visual system. Monkeys were tested neurobehaviorally on a variety of tests every 6 months for a period of 30 months. Thereafter, the organization of the retinofugal pathways was studied by means of histological techniques. At the behavioral...

In memoriam Maurice Gross

Maurice Gross (1934-2001) was both a great linguist and a pioneer in natural language processing. This article is written in homage to his memory. Maurice Gross is remembered as a vital man surrounded by a lively group, constituted by his laboratory, the LADL, and by his international network, RELEX. He and his group always resolutely steered away from any kind of abstemiousness or abstinence. ...