BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × Italy
2 × USA
Collaborated with:
A.Herzig A.R.Cavalli P.Balbiani J.Condotta P.Bieber D.Fauthoux O.Gasquet D.Longin F.Massacci
Talks about:
modal (3) tempor (2) linear (2) logic (2) bidemsion (1) descript (1) tableau (1) generic (1) reason (1) prover (1)

Person: Luis Fariñas del Cerro

DBLP DBLP: Cerro:Luis_Fari=ntilde=as_del

Contributed to:

IJCAR 20012001
KR 19981998
CADE 19881988
CADE 19841984

Wrote 5 papers:

IJCAR-2001-CerroFGHLM #logic #proving
Lotrec : The Generic Tableau Prover for Modal and Description Logics (LFdC, DF, OG, AH, DL, FM), pp. 453–458.
KR-1998-BalbianiCC #reasoning
A Model for Reasoning about Bidemsional Temporal Relations (PB, JFC, LFdC), pp. 124–130.
CADE-1988-BieberCH #named #prolog
MOLOG: a Modal PROLOG (PB, LFdC, AH), pp. 762–763.
CADE-1988-CerroH #deduction #linear
Linear Modal Deductions (LFdC, AH), pp. 487–499.
CADE-1984-CavalliC #linear #logic
A Decision Method for Linear Temporal Logic (ARC, LFdC), pp. 113–127.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.