TY  - MANSCPT
AU  - Kaestner, Celso Antônio Alves. 
AU  - Borges, Díbio Leandro.
ED  - Brazilian Symposium on Artificial Intelligence SBIA'96,
ED  - Simpósio Brasileiro de Inteligência Artificial
TI  - Proceedings (Student Session)
PY  - 1996///
CY  - Curitiba
PB  - CEFET-PR
KW  - Inteligência artificial
KW  - Br
KW  - Processamento de linguagem natural (Computação)
KW  - Heurística
KW  - Algorítmos genéticos
KW  - Linguagem de programação (Computadores)
N1  - Utilização da Metodologia KADS no desenvolvimento de um sistema baseado em conhecimento / Lucimar M. F. Carvalho, Júlio C. Nievola e Celso A. A. Kaestner; Transposição de algoritmos genéricos para programação Simbólica / Fernanda da Rosa N. Murr e Rosa Maria Viccari; Proposta de um interpretador em logica de transações / Paulo Eduardo Santos; Uso de programação lógica indutiva em raciocínio baseado em caos / Alneu de Andrade Lopes; SADE - Sistema de Apoio à Denúncia - O raciocínio baseado em caos aplicado à área jurídica / Alessandra Dahmer, Gilda A. de Assis e Beatriz de Faria Leão; Operador de mutação lógica dirigida / Ricardo Linden; Computing analogies through logic / Agenor Martins, Bernardo Lula Jr. e Edilson Ferneda; Mecanismos de explicação em diagramas de influência / Maria Inés Castiñeira e Maria Carolina Monard
N2  - Os artigos estão organizados em seções temáticas sobre raciocínio não monotônico, planejamento, aprendizado e pesquisa heurística, IA distribuída e sistemas multiagentes, algoritmos genéticos, processamento de linguagem natural, aplicações de visão e IA e programação lógica
ER  -