A Formal Analysis of Smithsonian Computational Reflection

  • Authors:

  • Inge M. C. Lemmens;Peter J. Braspenning

  • Affiliations:

  • -;-

  • Venue:
  • Reflection '99 Proceedings of the Second International Conference on Meta-Level Architectures and Reflection
  • Year:
  • 1999

  • Meta-reasoning: A Survey

    Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II

Quantified Score

Hi-index 0.00

Visualization

Abstract