Skip to main content
Springer Nature Link
Log in

Project Summaries

  • Conference paper
  • First Online:
Parallelization in Inference Systems

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 590))

  • 156 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Reference

  1. Sibai, Fadi N.,ℍ A Parallel Machine for the Unification Algorithm: Design, Simulation, and Performance Evaluation,ℍ Ph.D. Dissertation, Dept. of Electrical Engineering, Texas A&M University, College Station, Texas 77843, U.S.A., December 1989.

    Google Scholar 

  2. Sibai, F.N., Watson, K. L., and Lu, Mi, ℍ A Parallel Unification Machine,ℍ IEEE MICRO, Vol. 10, No. 4, August 1990, pp. 21–33.

    Google Scholar 

Reference

  1. Amir Rahat, Nissim Francez, Oded Shmueli: ℍSDP: Sequential, Distributed Logic Programmingℍ, in: Declarative systems (G. David, R.T. Boute, and B.D. Shriver, eds.), North-Holland, 1990 (An IFIP conference).

    Google Scholar 

Reference

  1. Lange, T. & Dyer, M. G. (1989). High-Level Inferencing in a Connectionist Network. Connection Science, 1 (2): 181–217, 1989.

    Google Scholar 

  2. Lange, T. (in press). Lexical and Pragmatic Disambiguation and Reinterpretation in Connectionist Networks. To appear in the International Journal of Man-Machine Studies.

    Google Scholar 

Reference

  1. Handong Wu (1990): ℍExtension of Dataflow Principles for Multiprocessingℍ, TRITA-TCS-9004, The Royal Institute of Technology, S-100 44 Stockholm, Sweden, April 1990. (Ph.D thesis)

    Google Scholar 

References

  1. M.P.Bonacina and J.Hsiang, Towards a Foundation of Completion procedures as Semidecision procedures, Technical Report, Dept. of Computer Science, SUNY at Stony Brook, available through ftp.

    Google Scholar 

Download references

Editor information

B. Fronhöfer G. Wrightson

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

(1992). Project Summaries. In: Fronhöfer, B., Wrightson, G. (eds) Parallelization in Inference Systems. Lecture Notes in Computer Science, vol 590. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55425-4_18

Download citation

  • DOI: https://doi.org/10.1007/3-540-55425-4_18

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55425-7

  • Online ISBN: 978-3-540-47066-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics