Tim S. Lyon

De nouvelles méthodes améliorent les définitions explicites dans les logiques de description pour une représentation des connaissances plus claire.

De nouvelles méthodes révèlent la décidabilité dans les logiques quasi-denses en utilisant la théorie des bases de données.

Explorez le rôle des systèmes de preuve dans les logiques temporelles et leur interrelation.

Découvrez une nouvelle façon d'aborder les équations à point fixe dans la logique des logiciels.