A Description Logic for Default

A Description Logic for Default

CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior === A formalizaÃÃo do conhecimento e a automatizaÃÃo do raciocÃnio sÃo assuntos centrais de pesquisa da InteligÃncia Articial. A LÃgica de Primeira Ordem tem sido tradicionalmente utilizada para tais propÃsitos. No entanto, ela à mais adeq...

Full description

Bibliographic Details
Main Author: DÃbora Farias Frota
Other Authors: Ana Teresa de Castro Martins
Format: Others
Language:Portuguese
Published: Universidade Federal do Cearà 2011
Subjects:
LÃgica de DescriÃÃo
LÃgica Default
Complexidade EXPTIME
Description Logic
Default Logic
EXPTIME Complexity
CIENCIA DA COMPUTACAO
Online Access:http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=7649

Internet

http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=7649

Similar Items