Representing Knowledge by Neural Networks for Qualitative Analysis and Reasoning.

@article{DBLP:journals/tkde/VaiX95,
  author    = {Mankuan Michael Vai and
               Zhimin Xu},
  title     = {Representing Knowledge by Neural Networks for Qualitative Analysis
               and Reasoning},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {7},
  number    = {5},
  year      = {1995},
  pages     = {683-690},
  ee        = {db/journals/tkde/VaiX95.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1995 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

Joint ACM SIGMOD / IEEE Computer Society Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An3-3 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

References

[1]

...

[2]

Daniel G. Bobrow: Qualitative Reasoning about Physical Systems: An Introduction. Artif. Intell. 24(1-3): 1-5(1984) BibTeX

[3]

...

[4]

...

[5]

...

[6]

Brian C. Williams: Qualitative Analysis of MOS Circuits. Artif. Intell. 24(1-3): 281-346(1984) BibTeX

[7]

Johan de Kleer: How Circuits Work. Artif. Intell. 24(1-3): 205-280(1984) BibTeX

[8]

Richard M. Stallman, Gerald J. Sussman: Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis. Artif. Intell. 9(2): 135-196(1977) BibTeX

[9]

...

[10]

...

[11]

...

[12]

...

[13]

...

[14]

...

[15]

...

[16]

...

[17]

...

[18]

...

[19]

Scott Kirkpatrick, D. Gelatt Jr., Mario P. Vecchi: Optimization by Simmulated Annealing. Science 220(4598): 671-680(1983) BibTeX

[20]

...

[21]

...

[22]

Wei-Ming Lin, Viktor K. Prasanna, K. Wojtek Przytula: Algorithmic Mapping of Neural Network Models onto Parallel SIMD Machines. IEEE Trans. Computers 40(12): 1390-1401(1991) BibTeX