User Activity

  • Committed [r1242]

    some further improvements in class expression a...

  • Committed [r1241]

    improved the union/intersection class axioms to...

  • Committed [r8402]

    gcc 5 doesn't like inline extern functions. XSB...

  • Modified ticket #42 on Flora-2

    Different results for direct and latent query

  • Posted a comment on ticket #42 on Flora-2

    duplicate ticket

  • Modified ticket #41 on Flora-2

    Different results for direct and latent query

  • Posted a comment on ticket #41 on Flora-2

    I suggest you try what you gave me without module loading, debug, and understand...

  • Committed [r1240]

    printing, tests adjustments

View All

Personal Data

Username:
kifer
Joined:
2000-02-10 04:49:56

Projects

  • Project Logo Flora-2   Last Updated:
  • Project Logo PathLP   Last Updated:
  • Project Logo RDFRules   Last Updated:
  • Project Logo XSB   Last Updated:

Skills

  • No skills entered.

Personal Tools