Advertisement

ZPLAN: An automatic reasoning system for situations

  • Frank M. Brown
  • Seung S. Park
  • Jim Phelps
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 310)

References

  1. Brown1,F.M. "A Commonsense Theory of Nonmonotonic Reasoning" 8th International Conference on Automated Deduction, Oxford, 1986 LECTURE NOTES IN COMPUTER SCIENCE 230, Springer-VerlagGoogle Scholar
  2. Browm2,F.M. "A Comparison of the Commonsense and Fixed Point Theories of Nonmonotonicity" Proceedings of AAAI-86, 1986Google Scholar
  3. Brown3,F.M. "A Modal Logic for the Representation of Knowledge" Proceedings of Workshop on Logical Solutions of the Frame Problem 1987Google Scholar
  4. Brown,F.M. and S.Park "Action, Reflective Possibility, and the Frame Problem" Proceedings of Workshop on Logical Solutions of the Frame Problem, 1987Google Scholar
  5. Ginsberg,M. and D. Smith "Reasoning about Action I: A Possible Worlds Approach", Proceedings of Workshop on Logical Solutions of the Frame Problem, 1987Google Scholar
  6. Park1,S. "Doubting Thomas: Action and Belief Revision", Proceedings of Workshop on Logical Solutions of the Frame Problem, 1987Google Scholar
  7. Park2,S. On Formalizing Commonsense Reasoning using the Modal Situation Logic and Reflective Reasoning, Ph.D. Thesis, Under Preparation.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Frank M. Brown
    • 1
  • Seung S. Park
    • 2
  • Jim Phelps
    • 3
  1. 1.Artificial Intelligence Research Institute, Inc.University of KansasUSA
  2. 2.Artificial Intelligence Research Institute, Inc.University of TexasAustin
  3. 3.University of KansasUSA

Personalised recommendations