Cylindric algebra equation solver

  • Frank M. Brown
  • Carlos Araya
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 449)


  1. Bressan, A., A GENERAL INTERPRETED MODAL CALCULUS, Yale Univ. Press,1972.Google Scholar
  2. Brown86, F.M., “A Commonsense Theory of NonMonotonic Reasoning” CADE 8, Oxford,1986. LECTURE NOTES IN COMPUTER SCIENCE 230. Springer-Verlag.Google Scholar
  3. Brown87, F.M., "The Modal Logic Z" (AIRIT TR-87-1), THE FRAME PROBLEM IN AI, PROCEEDINGS OF THE 1987 AAAI WORKSHOP, Morgan Kaufmann, Los Altos, CA 1987.Google Scholar
  4. Carnap, R., "Modalities and Quantification" JOURNAL OF SYMBOLIC LOGIC, volume 11, number 2, 1946.Google Scholar
  5. Henkin, L., D. Monk, A. Tarski, CYLINDRIC ALGEBRAS, Studies in Logic and the Foundations of Mathematics, North Holland, 1985.Google Scholar
  6. Missiaen, L., "Situation Calculus and Event Calculus in Modal Logic Z" Report CW85 Department of Computer Science, KU Leuven,1989.Google Scholar
  7. Park, S., S. Hundal, C. Araya and F. Brown, "Automated Nonmonotonic Reasoning and its Application in Manufacturing", 4th Int. Conf. on CAD/CAM Robotics & Factories of the Future, New Delhi, December 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Frank M. Brown
    • 1
  • Carlos Araya
    • 1
  1. 1.University of KansasLawrence

Personalised recommendations