tiwoli apps and the tiwoli online exploration tool can be found here and here . AIDA AMIE ANGIE BriQ ClausIE DEANNA diaNED Equity Espresso Fiction and Fantasy TIFI ENTYFI KnowFi EVIN HIGGINS HYENA IBEX Javatools
demo can be checked from CORPUS . Screencast Normal Extraction Administration AIDA AMIE ANGIE BriQ ClausIE DEANNA diaNED Equity Espresso Fiction and Fantasy TIFI ENTYFI KnowFi EVIN HIGGINS HYENA IBEX Javatools
Reasoning", pages 371-443. Elsevier, 2001. Andreas Nonnengart and Christoph Weidenbach Computing small clause normal forms, in "Handbook of Automated Reasoning", pages 335-367. Elsevier, 2001. Christoph Weidenbach
explanations for candidate facts. ExFaKT uses background knowledge encoded in the form of Horn clauses to rewrite the fact in question into a set of other easier-to-spot facts. The final output of our
International Conference on Information and Knowledge Management (CIKM 2011). AIDA AMIE ANGIE BriQ ClausIE DEANNA diaNED Equity Espresso Fiction and Fantasy TIFI ENTYFI KnowFi EVIN HIGGINS HYENA IBEX Javatools
