Persona

Monografia (1989) Logic–based knowledge representation
Monografia (1991) Knowledge representation: an AI perspective