Michael R. Genesereth and Nils J. Nilsson, Logical Foundations of Artificial Intelligence

@article{Smoliar1989MichaelRG,
  title={Michael R. Genesereth and Nils J. Nilsson, Logical Foundations of Artificial Intelligence},
  author={Stephen W. Smoliar},
  journal={Artif. Intell.},
  year={1989},
  volume={38},
  pages={119-124}
}

Topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-8 OF 8 REFERENCES

Principles of Artificial Intelligence

  • Symbolic computation
  • 1980
VIEW 1 EXCERPT

Logic for problem solving

  • The computer science library : Artificial intelligence series
  • 1979
VIEW 1 EXCERPT

Normal modal propositional calculi, Z

Kripke, S.A, 1 Semanticalanalysisofmodallogic
  • Math. Logik Grundl. Math. 9
  • 1963
VIEW 1 EXCERPT