Luís Fariñas del Cerro

DAL—A logic for data analysis

Luís Fariñas del Cerro, Ewa Orłowska · Theoretical Computer Science · 1985 · 100 citations

Computing, Computer Engineering, Computer Science +8

A New Tractable Subclass of the Rectangle Algebra

Philippe Balbiani, Jean-François Condotta, Luís Fariñas del Cerro · 1999 · 97 citations · Full text

Natural Sciences, Computer Science, Mathematics +7

MOLOG: A system that extends PROLOG with modal logic

Luís Fariñas del Cerro · New Generation Computing · 1986 · 97 citations

Computing, Computer Science, Computer Systems +11

Modal resolution in clausal form

Patrice Enjalbert, Luís Fariñas del Cerro · Theoretical Computer Science · 1989 · 78 citations

Language Studies, Linguistics, Syntax +6

A Model for Reasoning about Bidemsional Temporal Relations.

Philippe Balbiani, Jean-François Condotta, Luís Fariñas del Cerro · Principles of Knowledge Representation and Reasoning · 1998 · 56 citations

Humanities, Mathematics, Knowledge Representation +10