This is a preview of subscription content, log in via an institution.
References
Brown78, F.M., "Towards the Automation of Set Theory and its Logic", ARTIFICIAL INTELLIGENCE, Vol. 10, 1978.
Brown86, F.M., "An Experimental Logic based on the Fundamental Deduction Principal", (AIRIT TR-86-5), ARTIFICIAL INTELLIGENCE vol. 30 no. 2, 146 pages from page 117 to page 263, November 1986, North Holland.
Brown F.M.,Liu P., "A Logic Programming and Verification System for Recursive Quantificational Logic" INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE 85. August 1985.
Brown, F.M. & Park, S. "Action, Reflective Possibility and the Frame Problem" (AIRIT TR-87-2), THE GRAME PROBLEM IN AI, PROCEEDINGS OF THE 1987 AAAI WORKSHOP, Morgan Kaufmann, Los Altos, CA, 1987.
Colmerauer, A.,Kanoui, van Caneghem, M., "Last steps toward an ultimate PROLOG", Proceedings, 5th International Joint Conference on Artificial Intelligence, 1981.
Hayes, "Computation as Deduction", Proceedings 2nd MFCS Symposium Czechoslovakia Academy of Sciences, 1973.
Kowalski74 R., "Predicate Logic as Programming Language", Proc IFIP 74 North Holland Publishing Co., Amsterdam, 1974.
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). Schemata. 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_121
Download citation
DOI: https://doi.org/10.1007/3-540-52885-7_121
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