Paraconsistent logics of knowledge and belief.

• Processo: 95/01583-0
• Modalidade de apoio: Auxílio à Pesquisa - Reunião - Exterior
• Data de Início da vigência: 19 de agosto de 1995
• Data de Término da vigência: 25 de agosto de 1995
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Flávio Soares Corrêa da Silva
• Beneficiário: Flávio Soares Corrêa da Silva
• Instituição Sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Assunto(s): Inteligência artificial Sistemas multiagentes
• Palavra(s)-Chave do Pesquisador: Inteligencia Artificial | Logicas Epistemicas | Logicas Paraconsistentes | Sistemas Multi-Agentes