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


  1. Brown78, F.M., "Towards the Automation of Set Theory and its Logic", ARTIFICIAL INTELLIGENCE, Vol. 10, 1978.Google Scholar
  2. 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.Google Scholar
  3. Brown F.M.,Liu P., "A Logic Programming and Verification System for Recursive Quantificational Logic" INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE 85. August 1985.Google Scholar
  4. 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.Google Scholar
  5. Colmerauer, A.,Kanoui, van Caneghem, M., "Last steps toward an ultimate PROLOG", Proceedings, 5th International Joint Conference on Artificial Intelligence, 1981.Google Scholar
  6. Hayes, "Computation as Deduction", Proceedings 2nd MFCS Symposium Czechoslovakia Academy of Sciences, 1973.Google Scholar
  7. Kowalski74 R., "Predicate Logic as Programming Language", Proc IFIP 74 North Holland Publishing Co., Amsterdam, 1974.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Frank M. Brown
    • 1
  • Carlos Araya
    • 1
  1. 1.Artificial Intelligence LaboratoryUniversity of KansasLawrence

Personalised recommendations