References
Bressan, A., A GENERAL INTERPRETED MODAL CALCULUS, Yale Univ. Press,1972.
Brown86, F.M., “A Commonsense Theory of NonMonotonic Reasoning” CADE 8, Oxford,1986. LECTURE NOTES IN COMPUTER SCIENCE 230. Springer-Verlag.
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.
Carnap, R., "Modalities and Quantification" JOURNAL OF SYMBOLIC LOGIC, volume 11, number 2, 1946.
Henkin, L., D. Monk, A. Tarski, CYLINDRIC ALGEBRAS, Studies in Logic and the Foundations of Mathematics, North Holland, 1985.
Missiaen, L., "Situation Calculus and Event Calculus in Modal Logic Z" Report CW85 Department of Computer Science, KU Leuven,1989.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brown, F.M., Araya, C. (1990). Cylindric algebra equation solver. In: Stickel, M.E. (eds) 10th International Conference on Automated Deduction. CADE 1990. Lecture Notes in Computer Science, vol 449. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52885-7_122
Download citation
DOI: https://doi.org/10.1007/3-540-52885-7_122
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52885-2
Online ISBN: 978-3-540-47171-4
eBook Packages: Springer Book Archive