Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic

Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:

An NLP solution for Chinese. Demonstrates with a full functional chatbot.

Navigate the dungeon, avoid the pits, find the gold, beware of the wumpus. Artificial intelligence based AI game.

Masters degree's project that aims to extend the logic to incorporate lies