Answer Set Programming probabilístico Documento

membro de

• https://brcris.ibict.br/individual/comm_13420c68-9ae8-4762-8568-9aadf27b3325 
• https://brcris.ibict.br/individual/comm_484b40f0-b3f8-4a11-8be7-457eed856e00 
• https://brcris.ibict.br/individual/comm_ee459614-d3fc-461b-b7eb-f628e356a377 

orientado por

• Marcelo Finger

produzido em

• https://brcris.ibict.br/individual/cour_c14451f2-c561-4507-9d80-5b157126d39a 
• CIÊNCIAS DA COMPUTAÇÃO  Programa de Pós-Graduação

tipo

• master thesis

autores

• Eduardo Menezes de Morais

data de publicação

• 2012-01-01

prêmio patrocinado pela

• USP ( ESCOLA SUPERIOR DE AGRICULTURA LUIZ DE QUEIROZ )  Organização

áreas de investigação

• Ciência da Computação
• Logica e Inteligencia Artificial
• Lógicas e Semântica de Programas

palavras-chave

• Answer Set Programming
• Inteligência Artificial
• Logic
• PSAT
• Programação lógica
• Satisfatibilidade Probabilística
• answer set programming
• lógica probabilística
• redução muitos-para-um
• satisfazibilidade probabilística

identificador BrCris

• 805d0c05a5a28f50ba6ac11ba9151b45

identificador Capes

• 20125533002010176P0-Publication

identificador Oasisbr

• USP_914ee64862678bfae7acdf5c7523a7c0