User Activity

  • Committed [r8412]

    added MD5 to sha1

  • Committed [r8406]

    added a cast to silence a warning

  • Committed [r8405]

    added sha1 hash

  • 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

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