On Feb 4, 5:22 pm, John Fries <john.a.fr...@gmail.com> wrote: > Guaranteed-termination is very desirable. However, you can have guaranteed > termination with an open-world assumption just as well. And I think an > open-world assumption does a better job of mimicking human reasoning. >
Do you have a specific reasoner/algorithm in mind? Rich --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en -~----------~----~----~----~------~----~------~--~---
