Parsing Electronic Circuits in a Logic Grammar.

@article{DBLP:journals/tkde/Tanaka93,
  author    = {Takushi Tanaka},
  title     = {Parsing Electronic Circuits in a Logic Grammar},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {5},
  number    = {2},
  year      = {1993},
  pages     = {225-239},
  ee        = {db/journals/tkde/Tanaka93.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1993 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]

...

[3]

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

[4]

...

[5]

...

[6]

Sheila A. Greibach: A New Normal-Form Theorem for Context-Free Phrase Structure Grammars. J. ACM 12(1): 42-52(1965) BibTeX

[7]

Fernando C. N. Pereira, David H. D. Warren: Definite Clause Grammars for Language Analysis - A Survey of the Formalism and a Comparison with Augmented Transition Networks. Artif. Intell. 13(3): 231-278(1980) BibTeX

[8]

...

[9]

Gerald J. Sussman, Guy L. Steele Jr.: CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions. Artif. Intell. 14(1): 1-39(1980) BibTeX

[10]

Takushi Tanaka: Representation and Analysis of Electrical Circuits in a Deductive System. IJCAI 1983: 263-267 BibTeX

[11]

Takushi Tanaka: Parsing Circuit Topology in a Deductive System. IJCAI 1985: 407-410 BibTeX

[12]

...

[13]

Takushi Tanaka: Definite-Clause Set Grammars: A Formalism for Problem Solving. J. Log. Program. 10(1/2/3&4): 1-17(1991) BibTeX

[14]

...

[15]

...