An Autoepistemic Analysis of Metalevel Reasoning in Logic Programming

  • Authors:
  • Kurt Konolige

  • Affiliations:
  • -

  • Venue:
  • META-92 Proceedings of the 3rd International Workshop on Meta-Programming in Logic
  • Year:
  • 1992
  • 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