Viewing profile — MauiWarrior

Would you use different framework?

Another ugly face of war. Paralympic ban: https://www.cnn.com/europe/live-news/ukraine-russia-putin-ne... .

I used to read about cyc here https://www.cyc.com/cycl-translations . But it says now "coming soon". Since we have folks from Cyc here, any ideas how soon?

Ok, I read the article. I guess this is more educational exploration rather than practical advice. So conclusion is that deterministic grid or adaptive deterministic grid (not dire…

I only glanced through the article and wonder if it would be easier to use deterministic grid or adaptive grid?

What does blind submission mean?

I am afraid it is a bit over my head. Would you be able to point me to the source?

I think he meant monomial.

I only glanced through it, but there is no github link.

I searched the article, but could not find basis or uncountable. Could you point where exactly I should look?

How is it different from CV2?

There is already Problog with probability and logic. Could somebody help me understand benefits of Kanren?