User Activity

  • Created ticket #29 on XSB

    WFSX

  • Posted a comment on ticket #253 on XSB

    Many Thanks David. I understand my mistake now. I also apologize because I now realize the explanation is given in the manual at section 5.4.1. And for adding "as incremental", it is written at section 5.8. However, your answer made me understand. So thank you again. Best regards Christophe

  • Created ticket #253 on XSB

    partial order asnwer subsumption question

  • Created ticket #250 on XSB

    unexpected answer with well founded semantics

View All

Personal Data

Username:
christopherey
Joined:
2021-07-14 21:33:43

Projects

  • No projects to display.

Personal Tools