Tim S. Lyon

Novos métodos melhoram definições explícitas em lógicas de descrição para uma representação de conhecimento mais clara.

Novos métodos revelam decidibilidade em lógicas quase densas usando teoria de banco de dados.

Explore o papel dos sistemas de prova nas lógicas temporais e sua inter-relação.

Descubra uma nova forma de encarar equações de ponto fixo na lógica de software.