Bibliografia
utilizada pelo
GLPA
[Abe 92] ABE,
J.M., Fundamentos da Lógica Anotada, Tese de
Doutorado, FFLCH - USP, 135 pp, 1992.
[Abe
94] ABE, J.M., On Annotated Modal Logic,
Mathematica Japonica, 40, n. 3, pp. 553-560,
1994.
[Abe 97a] ABE,
J.M., A logical system for reasoning with
inconsistency, Anais da 5a Reunião
Anual da SBPN’97, Ciência e Cultura na
Globalização - Novos Paradigmas, 08 - 10 de
agosto de 1997, Águas de Lindóia, SP, 196-201,
1997.
[Abe
97c] ABE, J.M., Some Aspects of Paraconsistent
Systems and Applications, Logique et Analyse,
157(1997), 83-96.
[Abe
& Akama 99a] ABE, J.M. & S. AKAMA, A Logical
System for Reasoning with Fuzziness and
Inconsistencies, Proceedings of the IASTED
International Conference on Artitficial
Intelligence and Soft Computing (ASC’99),
August 9-12, Honolulu, Hawaii, USA, 221-225, 1999.
[Abe & Papavero
91] ABE, J. M. & N. PAPAVERO, Teoria Intuitiva dos
Conjuntos, McGraw-Hill, Makron Books, São Paulo,
266 pp, 1991.
[Akama & Abe 00b] AKAMA, S. & J.M. ABE, Annotated
Rules with Uncertainty in Expert Systems,
Proceedings of the IASTED International Applied
Informatics, Sponsor: The International
Association of Science and Technology for
Development (IASTED), February 14-17, 2000,
Innsbruck, Austria, 817-820, 2000.
[Ávila 96] Á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 de
Doutoramento, Universidade de São Paulo, São
Paulo, 1996.
[Ávila, Abe & Prado 97a] ÁVILA, B.C., J.M. ABE &
J.P.A. PRADO, Reasoning in Paraconsistent Frame
Systems, The Second International Workshop on
CSCW in Design, P. Siriruchatapong Z. Lin & J.
P. Barthes (Eds), International Academic
Publishers, ISBN: 7-80003-412-7/TP.19, Bangkok,
Thailand, pp. 239-244, 1997.
[Ávila, Abe & Prado 97b] ÁVILA, B.C., J.M. ABE &
J.P.A. PRADO, ParaLog-e: A Paraconsistent
Evidential Logic Programming Language, XVII
International Conference of the Chilean Computer
Science Society, IEEE Computer Society
Press, pp 2-8, Valparaíso, Chile, Novembro,
1997.
[Ávila, Abe & Prado 98a] ÁVILA, B.C., J.M. ABE &
J.P.A. PRADO, ParaLog-e: A Paraconsistent Logic
Programming Language, International Conference
on Computational Intelligence and Multimedia
Applications 1998, ISBN 981-023352-3, H.
Selvaraj & B. Verma Editors, World Scientific, (ICCIMA’
98, Proceedings of the 2nd
International Conference), 143-148, 1998.
[Ávila, Abe & Prado 98b] ÁVILA, B.C., J.M. ABE &
J.P.A. PRADO, A Paraconsistent Logic Programming
Language, Proceedings of The International ICSC
Symposium on Engineering of Intelligent Systems
(EIS’98), Volume 3, Artificial Intelligence,
Editor: E. Alpaydin, ICSC Academic Press
International Computer Science Conventions
Canada/Switzerland, ISBN 3-906454-12-6, 281-287,
1998.
[Da Costa, Abe,
Da Silva Filho, Murolo & Leite 99] DA COSTA,
N.C.A., J.M. ABE, J.I. DA SILVA FILHO, A.C. MUROLO
& C.F.S. LEITE, Lógica Paraconsistente Aplicada,
ISBN 85-224-2218-4, Editôra Atlas, 214 págs.,
1999.
[Da Silva Filho
97] DA SILVA FILHO, J.I., Implementação de
circuitos lógicos fundamentados em uma classe de
Lógicas Paraconsistentes Anotadas, Dissertação
de Mestrado-EPUSP, São Paulo, 1997.
[Da Silva Filho
99] DA SILVA FILHO, J.I., Métodos de interpretação
da Lógica Paraconsistente Anotada com anotação com
dois valores LPA2v com construção de Algoritmo e
implementação de Circuitos Eletrônicos, EPUSP,
Tese de Doutoramento, São Paulo, 1999.
[Da
Silva Filho & Abe 99a] DA SILVA FILHO, J.I. & J.M.
ABE, Para-Analyser and Inconsistencies in Control
Systems, Proceedings of the IASTED
International Conference on Artitficial
Intelligence and Soft Computing (ASC’99),
August 9-12, Honolulu, Hawaii, USA, 78-85, 1999.
[Da
Silva Filho & Abe 99b] DA SILVA FILHO, J.I. & J.M.
ABE, Para-Fuzzy Logic Controller – Part I: A New
Method of Hybrid Control Indicated for Treatment
of Inconsistencies Designed with the Junction of
the Paraconsistent Logic and Fuzzy Logic,
Proceedings of the International ICSC Congress on
Computational Intelligence Methods and
Applications CIMA’99, Rochester Institute of
Technology, RIT, Rochester, N.Y., USA, ISBN
3-906454-18-5, Editors: H. Bothe, E. Oja, E.
Massad & C. Haefke, ICSC Academic Press,
International Computer Science Conventions,
Canada/Switzerland, 113-120, 1999.
[Da
Silva Filho & Abe 99c] DA SILVA FILHO, J.I. & J.M.
ABE, Para-Fuzzy Logic Controller – Part II: A
Hybrid Logical Controlller Indicated for Treatment
of Fuzziness and Inconsistencies, Proceedings of
the International ICSC Congress on Computational
Intelligence Methods and Applications CIMA’99,
Rochester Institute of Technology, RIT, Rochester,
N.Y., USA, ISBN 3-906454-18-5, Editors: H. Bothe,
E. Oja, E. Massad & C. Haefke, ICSC Academic
Press, International Computer Science Conventions,
Canada/Switzerland, 106-112, 1999.
[Da
Silva Filho & Abe 00a] DA SILVA FILHO, J.I. & J.M.
ABE, Paraconsistent electronic circuits,
International Journal of Computing Anticipatory
Systems, vol. 9, ISSN 1373-5411, ISBN
2-9600262-1-7, 337-345, 2001.
Também publicado
no RT-02/00, Faculdade SENAC de Ciências Exatas
e Tecnologia, 11p., 2000.
[Da
Silva Filho & Abe 01 DA SILVA FILHO, J.I. & J.M.
ABE, Fundamentos das Redes Neurais Artificiais
Paraconsistentes - Destacando Aplicações em
Neurocomputação,297
páginas,Ed
Arte&Ciência, São Paulo, 2001.
[Hopfield & Tank 86] HOPFIELD, J.J.; TANK, T.W.
Computing with Neural Circuits: A Model s.ed.
Science, 1986.
[Kohonen 84] KOHONEN, T. Self-Organization and
Associative Memory. Springer-Verlag, e.ed.
1984.
[Kosko 92]KOSKO, B. Neural Networks for signal
processing. USA, New Jersey. s.ed.
Prentice-Hall, 1992
[Kovacs 96]
KOVACS, Z.L. Redes Neurais Artificiais,
1.ed. São Paulo, EDUSP, 1996.
[Mario 03] Mario, C. M , “Proposta de Aplicação
das Redes Neurais Artificiais Paraconsistentes
como Classificador de Sinais utilizando
aproximação Funcional”,UFU,
Dissertação de Mestrado, Uberlândia, MG, 2003.
[McCulloch 43] McCULLOCH, W & W. PITTS, “A Logical
Calculus of the Ideas Immanent in Nervous
Activity”, Bulletin of Mathematical Biophysics,
1943.
[Minsky & Papert 88] MINSKY, M.; PAPERT, S.
Perceptrons: An Introduction to Computational
Geometry, 2.ed. Mit Press, 1988.
[Nakamatsu, Abe & Suzuki 98] NAKAMATSU, K., J.M.
ABE & A. SUZUKI, An approximate reasoning in a
framework of vector annotated logic programming,
The Vietnam-Japan Bilateral Symposium on Fuzzy
Systems And Applications, VJFUZZY’ 98, Nguyen
H. Phuong & Ario Ohsato (Eds), HaLong Bay,
Vietnam, 521-528, 1998.
[Nakamatsu, Abe & Suzuki 00] NAKAMATSU, K., J.M.
ABE & A. SUZUKI, Annotated Semantics for
Defeasible Deontic Reasoning, Rough Sets and
Current Trends in Computing, The Second
International Conference on Rough Sets and Current
Trends in Computing - RSCTC'2000, Banff, Canada,
Lecture Notes in Artificial Intelligence
series, LNAI 2005, Springer-Verlag, 470-478, 2000.
Also
published in Coleção Documentos, Série
Lógica e Teoria da Ciência, IEA-USP, no
40, 10p, 2002
[Prado 96] PRADO,
J.P.A., Uma Arquitetura em IA Baseada em Lógica
Paraconsistente, tese de Doutoramento,
Universidade de São Paulo, 1996.
[Prado
02]
Prado, J A. Redes neurais artificiais
paraconsistentes e sua utilização para
reconhecimento de padrões, Dissertação de
Mestrado, POLIUSP, São Paulo, 2002
[Rosenblatt 62] ROSEMBLATT, “Principles of
Neurodynamics”, Spartan Books, NY, 1962.
[Sylvan & Abe 96] SYLVAN, R. & J.M. ABE, On
general annotated logics, with an introduction to
full accounting logics, Bulletin of Symbolic
Logic, 2, 118-119, 1996.
[Zadeh 73] ZADEH, L., Outline of a New Approach to
the Analysis of Complex Systems and Decision
Processes” – IEEE Transaction on Systems,
Mam and Cybernectics, vol.
SMC-3, No 1, p.p.
28-44, January, 1973.
|