Expressividade e complexidade em lógicas preferenciais, híbridas e de grau limitado

Expressividade e complexidade em lógicas preferenciais, híbridas e de grau limitado

FERREIRA, Francicleber Martins. Expressividade e complexidade em lógicas preferenciais, híbridas e de grau limitado. 2012. 130 f. Tese (Doutorado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2012. === Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-20T11...

Full description

Bibliographic Details
Main Author: Ferreira, Francicleber Martins
Other Authors: Martins, Ana Teresa de Castro
Language:Portuguese
Published: 2016
Subjects:
Ciência da computação
Lógicas preferenciais
Lógicas híbridas
Lógicas de grau limitado
Preferential logics
Lógica de computador
Hybrid logics
Bounded-degree logics
Online Access:http://www.repositorio.ufc.br/handle/riufc/18677

Internet

http://www.repositorio.ufc.br/handle/riufc/18677

Similar Items