reasoning-smem-soar-20210511


  • This is a baseline implementation. General use cases could guide restrictions that still permit tractible inference. See the slides for more conclusions.