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: Cerro:Luis_Fari=ntilde=as_del
Contributed to:
2001
1998
19881984Wrote 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.