ABE, Jair M. Fundamentos da Lógica Anotada. Tese apresentada para a obtenção do título de Doutor em Filosofia na Faculdade de Filosofia, Letras e Ciências Humanas (FFLCH) da Universidade de São Paulo (USP). São Paulo, Brasil, 1992. 98 p.
______. Um panorama da Lógica Atual. Coleção Cadernos de Estudos e Pesquisas - UNIP, Série: Estudos e Pesquisas, no 1-004/00, ISSN 1517-9230, Universidade Paulista, 2000. 28 p.
ABE, Jair M.; DA SILVA FILHO, J. I. A Para-Analyzer Method to Increase Robot Availability Through Maintenance. In: INTERNATIONAL CONFERENCE ON INDUSTRIAL LOGISTIC, Okinawa, Japan, July, 9-12, 2001. Proceedings. p. 327-337.
ABE, Jair M.; ATTIE, João Paulo; SCALZITTI, Alexandre; TSUKIMOTO, Edson T; YAMAMOTO, Flávio S. Introdução à Lógica e Aplicações.7 São Paulo, Brasil: Editora Plêiade, 1999. 285 p.
ABE, Jair M.; SCALZITTI, Alexandre; DA SILVA FILHO, J.I. Introdução à Lógica para a
Ciência da Computação. 3. ed. São Paulo, Brasil: Arte & Ciência Editora, 2002. 247 p.
ABE, Jair M.; ORTEGA, Neli; MÁRIO, Maurício C.; SANTO Jr., Marinho Del. Paraconsistent Artificial Neural Network: an application in cephalometric analysis. Lecture
Notes in Computer Science, v.3.694, Helderberg, 2005. p. 716-723.
AKAMA, S.; ABE, J. M. Annotated Rules with Uncertainty in Expert Systems. In: IASTED INTERNATIONAL APPLIED INFORMATICS, Feb 14-17, 2000, Innsbruck, Austria.
Proceedings. Sponsor: The International Association of Science and Technology for
Development (IASTED). 2000(a). p. 817-820.
AKAMA, S.; ABE, J. M. Fuzzy annotated logics. In: INTERNATIONAL CONFERENCE ON INFORMATION PROCESSING AND MANAGEMENT OF UNCERTAINTY IN KNOWLEDGE BASED SYSTEMS, IPMU’2000, 8th. Madrid, Spain, Jul, 3-7. 2000. Organized by: Universidad Politécnica de Madrid. Anais. v. 1, 2000(b). p. 504-508.
ALMEIDA PRADO, José P. de – Uma Arquitetura para Inteligência Artificial
Distribuída Baseada em Lógica Paraconsistente Anotada. Tese apresentada para a
obtenção do título de Doutor em Engenharia na Escola Politécnica da Universidade de São Paulo (EPUSP). São Paulo, Brasil, 1996. 217 p.
ANUÁRIO ESTATÍSTICO DO ESTADO DE SÃO PAULO. Emprego: Mercado de Traba- lho. Disponível em: <http://www.seade.gov.br/produtos/anuario>. Acesso em: 25 jul. 2006.
_________________________________________________________________________________________
33
ARRUDA, Ayda I. A Survey of Paraconsistent Logic. In: Mathematical Logic in Latin
America. Editors: A. I. Arruda; R. Chuaqui; N. C. A. da Costa. Amsterdam, Netherlands:
North-Holland Publishing Company, 1980. p. 1-41.
ÁVILA, B. C. Uma Abordagem Paraconsistente Baseada em Lógica Evidencial para
Tratar Exceções em Sistemas de Frames com Múltipla Herança. Tese apresentada para a
obtenção do título de Doutor em Engenharia, no Departamento de Engenharia de Computação e Sistemas Digitais da Escola Politécnica da Universidade de São Paulo (EPUSP). São Paulo, Brasil, 1996.
BARRETO, Mara M. G. Inconsistência em Sistemas Especialistas: Uma Proposta de Utilização da Lógica Paraconsistente Anotada Pτ em um Sistema Especialista para Auxílio à Decisão sobre Investimentos em Produtos. Dissertação apresentada para a obtenção do título de Mestre em Ciências em Engenharia de Produção na Universidade Federal do Rio de Janeiro (UFRJ). Rio de Janeiro, Brasil, 1997. 74 p.
______. Metodologia Fuzzy para a Construção de Sistemas Especialistas com Bases de
Conhecimento Inconsistentes. Tese apresentada para a obtenção do título de Doutor em
Ciências em Engenharia Civil na Universidade Federal do Rio de Janeiro (UFRJ). Rio de Janeiro, Brasil, 1999. 137 p.
BASTOS, R.; OLIVEIRA, F. M.; OLIVEIRA, J. P. M. Modelagem do processo de tomada de decisão para alocação de recursos. Revista de Administração, v. 33, n. 3, 1998. p. 73-82.
BERNROIDER, E. W. N.; STIX, V. Profile distance method – a multi-attribute decision making approach for information system investments. Decision Support Systems, In Press, 2005.
BETHLEM, Agrícola de Souza. Modelos do processo decisório. Revista de Administração, v. 22, n. 3, São Paulo, Brasil, 1987. p. 27-39.
BONABEAU, Eric. Não confie na sua intuição. Harvard Business Review, may, 2003. p. 90-96.
BRASIL. Ministério da Educação e do Desporto (MEC). Portaria nº 181, de 23 de fevereiro de 1996. Estabelece novos procedimentos de autorização para funcionamento de cursos superiores de graduação. Diário Oficial da União (DOU), Brasília, Brasil, edição de 27 fev. 1996(a).
______. Lei nº 9.394/96. Nova Lei de Diretrizes e Bases da Educação Nacional (LDB), de 20 de dezembro de 1996. Estabelece as diretrizes e bases da Educação Nacional. Diário Oficial
da União (DOU), Brasília, Brasil, edição de 21 dez. 1996(b).
institutos superiores ou escolas superiores em funcionamento. Diário Oficial da União
(DOU), Brasília, edição de 15 mai. 1997.
BRUNSTEIN, Israel. Economia de Empresas: Gestão Econômica de Negócios. São Paulo, Brasil: Editora Atlas S.A., 2005. 182 p.
CASSARRO, Antonio Carlos. Sistemas de Informações para Tomada de Decisões. 3ª ed. São Paulo, Brasil: Editora Pioneira Thomson Learning Ltda., 2003. 129 p.
CHALOS, Peter. Managing Cost in Today's Manufacturing Environment. Englewood Cliffs, USA: Prentice Hall Inc., 1992. 283 p.
CLARK, J.; HARMAN, M. On crisis management and rehearsing a plan. Risk Management, v. 51(5), ABI/INFORM Global, May 2004. p. 40-43.
COMPONATION, P. J.; SADOWSKI, W. F.; YOUNGBLOOD, A. D. Aligning strategy and capital allocation decisions: A case study. Engineering Management Journal, v. 18(1), ABI/INFORM Global, Mar 2006. p. 24-31.
CORNER, J.; BUCHANAN, J.; HENIG, M. Dynamic decision problem structuring. Journal
of Multi-Criteria Decision Analysis, v. 10, 2001. p. 129-141.
CORREA, Hamilton L. Administração Geral e Estruturas Organizacionais. São Paulo, Brasil: Fundação Instituto de Pesquisa Contábeis, Atuariais e Financeiras (FIPECAFI), 2005. 72p.
DA COSTA, N. C. A. Ensaio Sobre os Fundamentos da Lógica. São Paulo, Brasil. Hucitec-Edusp, 1980.
______. Sistemas Formais inconsistentes. Curitiba, Brasil: Editora da Universidade Federal do Paraná (UFPR), 1993. 66 p.
______. O Conhecimento Científico. 2.ed. São Paulo, Brasil:Discurso Editorial, 1999. 300p.
DA COSTA, Newton C. A.; ALVES, E. H. A semantical analysis of the Calculi Cn. In: Notre
Dame Journal of Formal Logic, v. XVIII, n. 4, October 1977, of University of Notre Dame,
Notre Dame, Indiana, USA, 1977. p. 621-630.
DA COSTA, Newton C. A.; MARCONI, Diego. An Overview of Paraconsistent Logic in the 80’s. In: The Journal of Non-Classic Logic, v. 6, n. 1, 1989. p. 5-32.
DA COSTA, Newton C. A.; ABE, Jair M.; SUBRAHMANIAN, V. S. Remarks on Annotated Logic. In: Zeitschrift für Math. Logik und Grundlagen der Math, Bd. 37, 1991. p. 561-570.
DA COSTA, Newton C. A.; ABE, Jair M.; MUROLO, Afrânio C.; DA SILVA FILHO, João I.; LEITE, Casemiro F. S. Lógica Paraconsistente Aplicada. São Paulo, Brasil: Editora Atlas S.A., 1999. 214 p.
DA COSTA, Newton C. A.; ABE, Jair M. Algumas Aplicações Recentes dos Sistemas
Paraconsistentes em Inteligência Artificial e Robótica. São Paulo, Brasil: Instituto de
Estudos Avançados (IEA) da Universidade de São Paulo (USP), 1999. 12 p.
DA COSTA, Newton C.A.; SOUZA, Edélcio G.; MARANHÃO, Juliano S. A. Introdução à
Lógica Paraconsistente: a Hierarquia Cn. Série Lógica e Teoria da Ciência. São Paulo, SP,
Brasil: Instituto de Estudos Avançados (IEA) da Universidade de São Paulo (USP), 2001. 166p.
DA SILVA FILHO, João I. Métodos de Aplicações da Lógica Paraconsistente Anotada de
Anotação com dois Valores – LPA2v com Construção de Algoritmo e Implementação de Circuitos Eletrônicos. Tese apresentada para a obtenção do título de Doutor em Engenharia,
no Departamento de Engenharia de Computação e Sistemas Digitais da Escola Politécnica da Universidade de São Paulo (EPUSP). São Paulo, Brasil, 1998. 185 p.
DA SILVA FILHO, João I.; ABE, Jair M. Emmy: a paraconsistent autonomous mobile robot. In: CONGRESS OF LOGIC APPLIED TO TECHNOLOGY (LAPTEC 2001), 2nd., São Paulo, SP, Brasil, 2001. Logic, Artificial Intelligence, and Robotics: Frontiers in Artificial Intelligence and Its Applications. Editors: J. M. Abe; J. I. Da Silva Filho. Amsterdam, Netherlands: IOS Press, 2001. p.53-61.
______. Paraconsistent analyzer module. International Journal of Computing Anticipatory
Systems, v. 9, 2001. p. 346-352.
DE CARVALHO, Fábio R. Lógica Paraconsistente Anotada no Auxílio às Tomadas de
Decisão na Administração de uma Universidade. Dissertação apresentada para a obtenção
do título de Mestre em Filosofia na Faculdade de Filosofia, Letras de Ciências Humanas (FFLCH) da Universidade de São Paulo (USP). São Paulo, Brasil, 2000. 111 p.
______. Lógica Paraconsistente Aplicada em Tomadas de Decisão: uma Abordagem para a Administração de Universidades. São Paulo, Brasil: Editora Aleph, 2002. 110 p.
DE CARVALHO, Fábio R.; BRUNSTEIN, Israel; ABE, Jair M. Paraconsistent Annotated Logic in Viability Analysis: an Approach to Product Launching. In: INTERNATIONAL CONFERENCE ON COMPUTING ANTICIPATORY SYSTEMS (CASYS'03), 6th. Liège, Belgium, August, 11-16, 2003. AIP (American Institute of Physics) Conference
Proceedings, 718. Editor: Daniel M. Dubois. 2003(a). p. 282-291.
______. Tomadas de Decisão com Ferramentas da Lógica Paraconsistente Anotada. In: ENCONTRO NACIONAL DE ENGENHARIA DE PRODUÇÃO, 23º. Ouro Preto, MG, Brasil, 21 a 24 de outubro de 2003. Proceedings. Editores: José Luís D. Ribeiro; Nivalda L. Coppini; Luiz Gonzaga M. de Souza; Gustavo P. Silva. 2003(b). p. 1-8.
______. Um Estudo de Tomada de Decisão Baseado em Lógica Paraconsistente Anotada: Avaliação do Projeto de uma Fábrica. In: Revista Pesquisa & Desenvolvimento Engenharia
de Produção, da Universidade Federal de Itajubá, Edição nº 1, dez. 2003(c). p. 47-62.
______. Decision Making based on Paraconsistent Annotated Logic. In: CONGRESS OF LOGIC APPLIED TO TECHNOLOGY (LAPTEC 2005), 5th. Himeji, Japan, April, 2-4, 2005.
Advances in Logic Based Intelligent Systems: Frontiers in Artificial Intelligence and
Applications (Selected papers). Editors: K. Nakamatsu; J. M. Abe. Amsterdam, Netherlands: IOS Press, 2005(a). p. 55-62.
______. Prevision of Medical Diagnostic Based on Paraconsistent Annotated Logic. In: INTERNATIONAL CONFERENCE ON COMPUTING ANTICIPATORY SYSTEMS (CASYS'05), 7th. Liège, Belgium, August, 8-13, 2005. Abstract Book. Editor: Daniel M. Dubois. Synposium 7. 2005(b). p. 13-14.
DIAS JUNIOR, O. P. Decidindo com base em informações imprecisas. Caderno de
Pesquisas em Administração, v. 8, n. 4, out/dez. 2001. p. 69-75.
EHRLICH, Píer Jacques. Modelos quantitativos de apoio às decisões I. RAE – Revista de
Administração de Empresas, v. 36, n. 1, 1996(a). p. 33-41.
______. Modelos quantitativos de apoio às decisões II. RAE – Revista de Administração de
Empresas, v. 36, n. 2, 1996(b). p. 44-52.
ENEMBRECK, Fabrício. Um Sistema Paraconsistente para Verificação Automática de
Assinaturas Manuscritas. Dissertação apresentada para a obtenção do título de Mestre em
Ciências na Pontifícia Universidade Católica do Paraná. Curitiba, Brasil, 1999. 154 p.
FUNARO, Vânia M. B. de O.; AYELLO, Maria Aparecida B.; CARVALHO, Cristiane de A. C.; GARCIA, Eliana M.; FERRAZ, Kátia M. de A.; PESTANA, Maria C.; CARVALHO, Maria José de J.; DO COUTO, Mariza L. de M.; PASCHOALINO, Rosana A.; CARDOSO, Suely C.; Carvalho, Telma de; LOMBARDE, Valéria de V. Diretrizes para apresentação de
dissertações e teses da USP: documento eletrônico e impresso. São Paulo, Brasil:
GAITHER, Norman; FRAZIER, Greg. Administração da Produção e Operações (Production and Operations Management). 8. ed. São Paulo, Brasil: Editora Pioneira Thomson Learning Ltda, 2001. 598 p.
GOMES, L. F. A. M.; MOREIRA, A. M. M. Da informação à tomada de decisão: Agregando valor através dos métodos multicritério. COMDEX SUCESU – RIO’98. Rio Centro, Rio de Janeiro, Brasil, em 01/04/1998.
GONTIJO, A. C.; MAIA, C. S. C. Tomada de decisão, do modelo racional ao comportamental: uma síntese teórica. Caderno de Pesquisas em Administração, São Paulo, v. 11, n. 4, 2004. p. 13-30.
GOTTINGER, H.W.; WEIMANN, P. Intelligent decision support systems. Decision Support
Systems, v. 8, p. 317-332, 1992.
GRAVIN, David A.; ROBERTO, Michael A. What you don’t know about making decisions.
Harvard Business Review, September 2001. p. 108-116.
GURGEL, Floriano do A. Administração do Produto. 2. ed. São Paulo, Brasil: Editora Atlas S.A., 2001. 537 p.
HEMSLEY-BROWN, J. Using research to support management decision making within the field education. Management Decision, v. 43(5/6), ABI/INFORM Global, 2005. p. 691-705.
HILBERT, D.; ACKERMANN, W. Principles of Mathematical Logic. 2nd ed. New York, USA: Chelsea Publishing Co., 1950. 172 p.
IBGE: PESQUISA DE ORÇAMENTOS FAMILIARES. Diretoria de Pesquisas. Disponível em: <http://www.ibge.gov.br/home/estatistica/indicadores/trabalhoerendimento>. Acesso em: 19 ago. 2006.
INEP / EDUCAÇÃO SUPERIOR / CENSO DA EDUCAÇÃO SUPERIOR. Disponível em: <http://www.inep.gov.br/superior/censosuperior/sinopse>. Acesso em: 17 ago. 2006.
INEP / EDUCAÇÃO SUPERIOR / CURSOS E INSTITUIÇÕES. Disponível em: <http://www.educacaosuperior.inep.gov.br/funcional/info>. Acesso em: 17 ago. 2006.
INEP: EXAME NACIONAL DE CURSOS (PROVÃO). Disponível em: <http://www. .resultadosenc.inep.gov.br/instituicao>. Acesso em: 18 ago. 2006.
JARKE, M.; RADERMACHER, F.J. The AI potencial of model management and its central role in decision support. Decision Support Systems, v. 4, 1988. p. 387-404.
KLEENE, Stephen Cole. Introduction to Metamathematics. Amsterdam, Netherlands: North-Holland Publishing Co., 1952. 550 p.
LEITE, Casemiro F. S. Aplicação da Lógica Paraconsistente em Processos de Tomada de
Decisão. Dissertação apresentada para obtenção do título de Mestre em Engenharia de
Produção na Universidade Paulista (UNIP). São Paulo, Brasil, 1999. 101 p.
MEDEIROS, Henrique Rocha de. Avaliação de modelos matemáticos desenvolvidos para
auxiliar a tomada de decisão em sistemas de produção de animais ruminantes no Brasil.
2003. 98 f. Tese apresentada à Escola Superior de Agricultura Luiz de Queiroz (ESALQ), Universidade de São Paulo (USP), para a obtenção do título de Doutor em Engenharia Agrícola. Piracicaba, Brasil, 2003.
MEGGINSON, Leon C.; MOSLEY, Donald C.; PIETRI JR., Paul H. Administração:
Conceitos e Aplicações (Management: Concepts and Applications). Tradução de Maria
Isabel Hopp. 4. ed. São Paulo, Brasil: Editora Harbra Ltda., 1998. 614 p.
MENDELSON, Elliott. Introduction to Mathematical Logic. 4th ed. New York, NY, USA: Chapman & Hall, 1997. 440 p.
MORTARI, Cezar A. Introdução à Lógica. São Paulo, Brasil: Editora UNESP: Imprensa Oficial do Estado, 2001. 393 p.
MUROLO, Afrânio C. Um modelo de previsão de demanda de mercado baseado na
Lógica Paraconsistente Anotada de anotação com dois valores – LPA2v. Dissertação
apresentada para obtenção do título de Mestre em Engenharia de Produção na Universidade Paulista (UNIP). São Paulo, Brasil, 2000. 217 p.
NAKAMATSU, K.; SUITO, H.; ABE, Jair M.; SUZUKI, A. A Theoretical Framework for the Safety Verification of Air Traffic Control by Air Traffic. In: INTERNATIONAL ASSOCIATION OF PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT (IAPSAM), Puerto Rico, USA, July, 23-28, 2002. Controllers Based on Extended Vector
Annotated Logic Program, PSAM 6. Elsevier Science Publishers, Elsevier Science Ltd.
2002.
NAKAMATSU, K.; ABE, J. M. Railway Signal and Paraconsistency, Advances in Logic Based Intelligent Systems. In: CONGRESS OF LOGIC APPLIED TO TECHNOLOGY (LAPTEC 2005), 5th. Himeji, Japan, April, 2-4, 2005. Advances in Logic Based Intelligent
Systems: Frontiers in Artificial Intelligence and Applications (Selected papers). Editors: K.
Nakamatsu e J. M. Abe. Amsterdam, Netherlands: IOS Press, 2005. p. 220-224.
OLIVEIRA, M.; FREITAS, H. Seleção de indicadores para a tomada de decisão: A percepção dos principais intervenientes na construção civil. Revista Eletrônica de Administração
(READ), v. 7(1). Porto Alegre, Brasil, mar 2001. p. 1-19.
PAL, K.; PALMER, O. A decision-support system for business acquisitions. Decision
PALMA-DOS-REIS, A.; ZAHEDI, F. M. Designing personalized intelligent financial decision support systems. Decision Support Systems, v. 26, 1999. p. 31-47.
PORTAL DO GOVERNO DO ESTADO DE SÃO PAULO: PERFIL MUNICIPAL. Disponível em: <http://www.seade.gov.br/produtos/perfil>. Acesso em: 6 jun. 2006.
ROQUE, V. F.; CASTRO, J. E. E. Avaliação de risco como ferramenta para auxiliar o sistema de apoio a decisão em indústrias de alimentos. ENCONTRO NACIONAL DE ENGENHARIA DE PRODUÇÃO, ENEGEP, 19º. Profundão da UFRJ, Rio de Janeiro, Brasil, 1999.
SANTOS, E.M.; PAMPLONA, E.O. Captando o valor da flexibilidade gerencial através
da teoria das opções reais. XXI Encontro Nacional de Engenharia de Produção, 2001,
Salvador. Anais. Disponível em: <http://www.iem.efei.br/edson/download/Art1elieber enegep01.pdf>. Acesso em: 09 ago. 2005.
SHIMIZU, Tamio. Decisão nas Organizações. São Paulo, Brasil: Editora Atlas S.A., 2001. 317 p.
SINPRO / FEPESP / SEMESP. Sindicato dos Professores de São Paulo / Federação dos Professores do Estado de São Paulo / Sindicado das Entidades Mantenedoras de Estabelecimentos de Ensino Superior do Estado de São Paulo. Convenção Coletiva de
Trabalho 2001: Ensino Superior. São Paulo, mai. 2001. 15 p.
SYCARA, K.P. Machine learning for intelligent support of conflict resolution. Decision
Support Systems, v. 10, p. 121-136, 1993.
TEODÓSIO, A. S. S.; SILVA, E. E.; RODRIGUES, J. R. G. Discutindo o processo decisório: A contribuição dos principais modelos de análise. CONGRESSO DE CIÊNCIAS, LETRAS E ARTES / MOSTRA DE CIÊNCIAS HUMANAS, LETRAS E ARTES DAS UNIVERSIDADES FEDERAIS DE MINAS GERAIS, 4º. Viçosa, MG, Brasil, de 02 a 06 de agosto de 1999. Anais.
VETSCHERA, R. MCView: An integrated graphical system to support multi-attribute decision. Decision Support System, v. 11, 1994. p. 363-371.
WOILER, Samsão; MATHIAS, Washington F. Projetos: Planejamento, Elaboração e
Análise (Projects: Planning, Ellaboration and Analysis). São Paulo, Brasil: Editora Atlas
S.A., 1996. 294 p.
WU, J-H.; DOONG, H-S.; LEE, C-C.; HSIA, T-C.; LIANG, T-P. A methodology for designing form-based decision support systems. Decision Support System, v. 36, 2004. p. 313-335.
