generating explanations?

25 views

Skip to first unread message

unread,

May 20, 2011, 5:23:37 PM5/20/11

to PyKE

Anyone tried to generate explanations with PyKE? I'd love to have a
way of obtaining a chain of all deductions involved in proving a goal.

Reply all

Reply to author

Forward

0 new messages