A Tool for Satisfiability-Based Commonsense Reasoning in the Event Calculus.

Erik T. Mueller

Browse the full FlAIRS paper archive.