Concepedia

Luís Fariñas del Cerro

LF

Statistics

Publications

26

Citations

905

H-Index

16

Active since

1982

Affiliations

Université Toulouse III - Paul Sabatier(Current)

Institut de Recherche en Informatique de Toulouse

Centre National de la Recherche Scientifique

Université Toulouse - Jean Jaurès

Université Toulouse-I-Capitole

Luís Fariñas del Cerro is an author at Université Toulouse III - Paul Sabatier specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceSemanticsFormal VerificationLogic ProgrammingData ScienceProof ComplexityArtificial Intelligence

Publications per year

1982–2020

26

Publications

26

DAL—A logic for data analysis

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

Dal—a Logic, Engineering, Data Science +9

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

MOLOG: A system that extends PROLOG with modal logic

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

Engineering, Automated Reasoning, Propositional Logic +5

Modal resolution in clausal form

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

Modal Resolution, Modal Logic, Propositional Logic +1

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

Reasoning, Cognitive Science, Engineering +8

1–5 of 26